Index - N
| N | GUI.HTkUtils |
| NA | Isabelle.IsaSign |
| NAME | |
| 1 (Type/Class) | CommonLogic.AS_CommonLogic |
| 2 (Type/Class) | Framework.AS |
| 3 (Type/Class) | LF.Sign |
| 4 (Type/Class) | DFOL.AS_DFOL |
| Name | |
| 1 (Type/Class) | Common.AS_Annotation |
| 2 (Data Constructor) | Common.AS_Annotation |
| 3 (Data Constructor) | CommonLogic.AS_CommonLogic |
| 4 (Type/Class) | THF.As |
| 5 (Type/Class) | SoftFOL.Sign |
| 6 (Data Constructor) | SoftFOL.Sign |
| name | |
| 1 (Function) | FreeCAD.As |
| 2 (Function) | OMDoc.DataTypes |
| 3 (Function) | OWL2.MS |
| 4 (Function) | DFOL.Symbol |
| 5 (Function) | QVTR.As |
| 6 (Function) | CSMOF.Sign |
| 7 (Function) | QVTR.Sign |
| 8 (Function) | SoftFOL.Sign |
| 9 (Function) | Common.AutoProofUtils |
| 10 (Function) | PGIP.XMLstate |
| 11 (Function) | GUI.GtkConsistencyChecker |
| nameAF | THF.As |
| nameAndDisambiguate | Common.ProofUtils |
| Named | Common.AS_Annotation |
| nameDecode | OMDoc.DataTypes |
| NamedElement | |
| 1 (Type/Class) | CSMOF.As |
| 2 (Data Constructor) | CSMOF.As |
| namedElementName | CSMOF.As |
| namedElementOwner | CSMOF.As |
| namedElementSubClasses | CSMOF.As |
| nameDGLink | Static.DevGraph |
| NamedIndividual | OWL2.AS |
| namedIndividualK | OWL2.XMLKeywords |
| NamedObject | |
| 1 (Type/Class) | FreeCAD.As |
| 2 (Data Constructor) | FreeCAD.As |
| NamedProcess | CspCASL.AS_CspCASL_Process |
| namedSenToSExpr | VSE.ToSExpr |
| namedSenTransl | DFOL.Comorphism |
| NamedSpec | Maude.Language |
| namedtext | CommonLogic.Parse_CLIF |
| Named_Approx | Syntax.AS_Structured |
| Named_text | CommonLogic.AS_CommonLogic |
| nameEncode | OMDoc.DataTypes |
| NameList | THF.As |
| NameMap | OMDoc.DataTypes |
| nameMap | Static.DevGraph |
| nameOf | HolLight.Helper |
| nameP | VSE.Prove |
| namePrefix | OWL2.AS |
| nameQN | LF.Twelf2GR |
| nameS | |
| 1 (Function) | OWL2.Keywords |
| 2 (Function) | OWL2.ProfilesAndSublogics |
| names | HolLight.Helper |
| nameSens | Common.ProofUtils |
| NameSL | CASL.Logic_CASL |
| nameSL | CASL.Logic_CASL |
| namesMap | Interfaces.GenericATPState |
| namesMatchCtx | Static.DevGraph |
| Namespace | |
| 1 (Data Constructor) | Common.XPath |
| 2 (Type/Class) | LF.Twelf2GR |
| namespace | Haskell.HatParser |
| namespaceC | OWL2.ColonKeywords |
| nameStringIs | Static.XSimplePath |
| NameSymbolMap | OMDoc.Import |
| NameTest | Common.XPath |
| nameToId | OMDoc.DataTypes |
| nameToLogicDescr | Syntax.AS_Structured |
| nameToString | OMDoc.DataTypes |
| nameToToken | OMDoc.DataTypes |
| NAME_OR_SEQMARK | CommonLogic.AS_CommonLogic |
| Name_term | CommonLogic.AS_CommonLogic |
| NAND | THF.As |
| Narrow | GUI.HTkUtils |
| nAryCompositionOperationS | CASL.CompositionTable.Keywords |
| natImported | Maude.PreComorphism |
| natS | CSL.Keywords |
| NcCmd | PGIP.Query |
| ncName | Common.XPath |
| ncname | Common.IRI |
| ncNameChar | |
| 1 (Function) | Common.XPath |
| 2 (Function) | OWL2.Parse |
| ncNameS | OWL2.Keywords |
| ncNameStart | |
| 1 (Function) | Common.XPath |
| 2 (Function) | OWL2.Parse |
| NcProvers | PGIP.Query |
| NcTranslations | PGIP.Query |
| nd_cons | Static.XGraph |
| NE | GUI.HTkUtils |
| needsConst | THF.Poly |
| need_fol | CASL.Sublogic |
| need_hol | HasCASL.Sublogic |
| need_horn | CASL.Sublogic |
| need_pred | CASL.Sublogic |
| need_sub | CASL.Sublogic |
| Neg | |
| 1 (Data Constructor) | CASL.CompositionTable.ModelFormula |
| 2 (Data Constructor) | TopHybrid.AS_TopHybrid |
| negateChange | Static.History |
| Negated_Conjecture | THF.As |
| Negated_conjecture | SoftFOL.Sign |
| negateFloat | CASL_DL.PredefinedCASLAxioms |
| negateForm | CASL.AS_Basic_CASL |
| negateFormula | |
| 1 (Function) | CASL.Simplify |
| 2 (Function) | CSL.Tools |
| 3 (Function) | QBF.Tools |
| negateInt | CASL_DL.PredefinedCASLAxioms |
| negateSentence | SoftFOL.Sign |
| Negation | |
| 1 (Data Constructor) | CommonLogic.AS_CommonLogic |
| 2 (Data Constructor) | DFOL.AS_DFOL |
| 3 (Data Constructor) | CASL.AS_Basic_CASL |
| 4 (Data Constructor) | Propositional.AS_BASIC_Propositional |
| 5 (Data Constructor) | THF.As |
| 6 (Data Constructor) | QBF.AS_BASIC_QBF |
| negation | Logic.Logic |
| Negative | OWL2.AS |
| negativeDataPropertyAssertionK | OWL2.XMLKeywords |
| negativeIntegerS | OWL2.Keywords |
| negativeObjectPropertyAssertionK | OWL2.XMLKeywords |
| negDec | OWL2.AS |
| negForm | |
| 1 (Function) | CommonLogic.Analysis |
| 2 (Function) | Propositional.Fold |
| 3 (Function) | QBF.Tools |
| negFormula | CSL.Parse_AS_Basic |
| negId | HasCASL.Builtin |
| NegInf | CSL.TreePO |
| negInt | OWL2.AS |
| negIntS | CASL_DL.PredefinedCASLAxioms |
| negNNInt | OWL2.AS |
| negPrec | DFOL.Utils |
| negS | Common.Keywords |
| neighbours | Common.GraphAlgo |
| neq | Isabelle.IsaConsts |
| neqPT | Isabelle.IsaConsts |
| neqS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | CommonLogic.Parse_KIF |
| neqTPT | Isabelle.IsaConsts |
| neqV | Isabelle.IsaConsts |
| neroS | CSL.Keywords |
| nest | Common.Lib.Pretty |
| nestComment | Haskell.Wrapper |
| nestCommentOut | Common.Lexer |
| nestedComment | Common.Parsec |
| nestedList | CASL.Kif |
| never | GUI.HTkUtils |
| NEW | GUI.HTkUtils |
| New | Comorphisms.PPolyTyConsHOL2IsaUtils |
| new | Isabelle.IsaSign |
| NewArc | GUI.UDGUtils |
| newArc | GUI.UDGUtils |
| newArcListDrawer | GUI.UDGUtils |
| newArcListDrawerPrim | GUI.UDGUtils |
| newArcPrim | GUI.UDGUtils |
| NewArcType | GUI.UDGUtils |
| newArcType | GUI.UDGUtils |
| newArcTypePrim | GUI.UDGUtils |
| newArgs | Comorphisms.HasCASL2IsabelleHOL |
| newBitMap | GUI.HTkUtils |
| newBox | GUI.HTkUtils |
| newBroadcaster | GUI.UDGUtils |
| newButton | GUI.HTkUtils |
| newCanvas | GUI.HTkUtils |
| newChannel | GUI.HTkUtils |
| newCheckButton | GUI.HTkUtils |
| newComboBox | GUI.HTkUtils |
| newcomorphismName | Framework.AS |
| newcomorphismS | Common.Keywords |
| Newcomorphism_defn | Syntax.AS_Library |
| newConsNodeInfo | Static.DevGraph |
| newConstTab | Comorphisms.Hs2HOLCFaux |
| newContext | GUI.UDGUtils |
| NewDGQuery | PGIP.Query |
| newEdgeId | GUI.UDGUtils |
| newEditor | GUI.HTkUtils |
| newEntry | GUI.HTkUtils |
| newFileDialogStr | GUI.HTkUtils |
| newFormEntry | GUI.HTkUtils |
| newFormMenu | GUI.HTkUtils |
| newFormOptionMenu | GUI.HTkUtils |
| newFormOptionMenu2 | GUI.HTkUtils |
| newFrame | GUI.HTkUtils |
| newGeneralBroadcaster | GUI.UDGUtils |
| NewGraph | GUI.UDGUtils |
| newGraph | GUI.UDGUtils |
| newGraphPrim | GUI.UDGUtils |
| newHBox | GUI.HTkUtils |
| newHFBox | GUI.HTkUtils |
| newImage | GUI.HTkUtils |
| newInfoNodeLab | Static.DevGraph |
| newKind | HasCASL.ClassAna |
| newLabel | GUI.HTkUtils |
| newLabelFrame | GUI.HTkUtils |
| newLinec | CommonLogic.Lexer_CLIF |
| newlineOrEof | Common.AnnoParser |
| newListBox | GUI.HTkUtils |
| newlogicName | Framework.AS |
| newlogicS | Common.Keywords |
| Newlogic_defn | Syntax.AS_Library |
| newMenuButton | GUI.HTkUtils |
| newMenuId | GUI.UDGUtils |
| NewMenuOption | GUI.UDGUtils |
| newMessage | GUI.HTkUtils |
| newName | Comorphisms.HasCASL2Haskell |
| NewNode | GUI.UDGUtils |
| newNode | GUI.UDGUtils |
| newNodeId | GUI.UDGUtils |
| newNodeInfo | Static.DevGraph |
| newNodeLab | Static.DevGraph |
| newNodePrim | GUI.UDGUtils |
| newNodesDG | Static.DevGraph |
| NewNodeType | GUI.UDGUtils |
| newNodeType | GUI.UDGUtils |
| newNodeTypePrim | GUI.UDGUtils |
| newNoteBook | GUI.HTkUtils |
| newODoc | OWL2.StaticAnalysis |
| newOid | OWL2.Rename |
| newOptionMenu | GUI.HTkUtils |
| newPanedWindow | GUI.HTkUtils |
| newPos | Common.Id |
| newRadioButton | GUI.HTkUtils |
| newRefInfo | Static.DevGraph |
| newScale | GUI.HTkUtils |
| newScrollBar | GUI.HTkUtils |
| newScrollBox | GUI.HTkUtils |
| newSimpleBroadcaster | GUI.UDGUtils |
| newSort | CASL.AS_Basic_CASL |
| newType | |
| 1 (Function) | GUI.UDGUtils |
| 2 (Function) | Isabelle.IsaSign |
| newVar | Maude.PreComorphism |
| newVarIndex | Maude.PreComorphism |
| newVBox | GUI.HTkUtils |
| newVFBox | GUI.HTkUtils |
| nextA | CSL.TreePO |
| nextChart | Common.Earley |
| nextLinkId | Static.XGraph |
| nextprimeS | CSL.Keywords |
| nextS | ExtModal.Keywords |
| nextWeight | Common.Prec |
| NextY | ExtModal.AS_ExtModal |
| nil | CommonLogic.PredefinedCASLAxioms |
| nilOp | CommonLogic.PredefinedCASLAxioms |
| nilPT | Isabelle.IsaConsts |
| nilS | CSL.Keywords |
| nilType | CommonLogic.PredefinedCASLAxioms |
| nilTypeS | CommonLogic.PredefinedCASLAxioms |
| nitpickProver | THF.ProveIsabelle |
| nmap | OWL2.ShipSyntax |
| nmTokenS | OWL2.Keywords |
| NNInt | |
| 1 (Type/Class) | OWL2.AS |
| 2 (Data Constructor) | OWL2.AS |
| No | OMDoc.DataTypes |
| noAbs | HasCASL.Unify |
| NoAmalgamation | Common.Amalgamate |
| NoAnalysis | Common.Amalgamate |
| NoBorder | GUI.UDGUtils |
| NoBrackets | HasCASL.As |
| Noc | THF.As |
| noC | HasCASL.Constrain |
| Nocase | GUI.HTkUtils |
| NoClasses | HasCASL.Sublogic |
| noClasses | HasCASL.Sublogic |
| noCondsEM | Comorphisms.ExtModal2ExtModalTotal |
| noCondsEMFormula | Comorphisms.ExtModal2ExtModalTotal |
| NoConsequence | SoftFOL.MathServParsing |
| noContent | Common.XUpdate |
| NODE | LF.Twelf2GR |
| Node | |
| 1 (Type/Class) | Common.GraphAlgo |
| 2 (Data Constructor) | Common.GraphAlgo |
| 3 (Data Constructor) | Common.XPath |
| 4 (Data Constructor) | Interfaces.Command |
| 5 (Data Constructor) | PGIP.Query |
| node | |
| 1 (Function) | Common.AutoProofUtils |
| 2 (Function) | GUI.GtkConsistencyChecker |
| NodeArcsHidden | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Type/Class) | GUI.UDGUtils |
| noDecl | OWL2.StaticAnalysis |
| NodeClass | GUI.UDGUtils |
| NodeCmd | PGIP.Query |
| nodeCmds | PGIP.Query |
| NodeCommand | PGIP.Query |
| nodeCommands | PGIP.Query |
| NodeDragAndDrop | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Type/Class) | GUI.UDGUtils |
| NodeGesture | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Type/Class) | GUI.UDGUtils |
| NodeID | OWL2.AS |
| NodeId | GUI.GraphAbstraction |
| nodeID | OWL2.XMLKeywords |
| NodeIdOrName | PGIP.Query |
| NodeInfo | Interfaces.Command |
| nodeInfo | Static.DevGraph |
| nodeLabel | Common.Lib.Graph |
| nodeMap | Taxonomy.AbstractGraphView |
| NodeMapping | Taxonomy.AbstractGraphView |
| NodeMod | |
| 1 (Type/Class) | Static.DgUtils |
| 2 (Data Constructor) | Static.DgUtils |
| nodeMod | Static.DevGraph |
| NodeName | |
| 1 (Type/Class) | Static.DgUtils |
| 2 (Data Constructor) | Static.DgUtils |
| nodeName | Static.XGraph |
| nodeNames | CMDL.Shell |
| NodeOrEdgeFilter | CMDL.DataTypes |
| nodependS | CSL.Keywords |
| nodePreds | Common.Lib.Graph |
| NodeQuery | PGIP.Query |
| Nodes | Interfaces.Command |
| nodes | |
| 1 (Function) | Common.Lib.Rel |
| 2 (Function) | Taxonomy.AbstractGraphView |
| NodesChange | Interfaces.DataTypes |
| nodesDG | Static.DevGraph |
| NodeSet | Common.XPath |
| NodeSig | |
| 1 (Type/Class) | Static.DevGraph |
| 2 (Data Constructor) | Static.DevGraph |
| nodesToContent | Common.XmlExpat |
| nodesToContent' | Common.XmlExpat |
| nodeSuccs | Common.Lib.Graph |
| NodeTest | Common.XPath |
| nodeTest | Common.XPath |
| NodeTypeClass | GUI.UDGUtils |
| NodeTypeConfig | GUI.UDGUtils |
| NodeTypeParms | GUI.UDGUtils |
| nodeTypes | Common.XPath |
| NodeValue | GUI.GraphAbstraction |
| node_cons_status | Static.DevGraph |
| node_origin | Static.DevGraph |
| NoDirection | Common.AS_Annotation |
| NoGui | Driver.Options |
| NoHead | GUI.HTkUtils |
| NoIn | HasCASL.ParseTerm |
| NoLabel | GUI.HTkUtils |
| NoLine | Common.Lib.Tabular |
| NoLiteral | Common.GlobalAnnotations |
| noLoopSimpleSource | GUI.UDGUtils |
| NoMembershipOrCast | Comorphisms.CASL2SubCFOL |
| nomies | |
| 1 (Function) | Hybrid.HybridSign |
| 2 (Function) | TopHybrid.TopHybridSign |
| NOMINAL | |
| 1 (Type/Class) | Hybrid.AS_Hybrid |
| 2 (Type/Class) | TopHybrid.AS_TopHybrid |
| nominal | |
| 1 (Function) | OWL2.ShipSyntax |
| 2 (Function) | Hybrid.Parse_AS |
| NominalC | OWL2.ShipSyntax |
| NominalR | OWL2.ShipSyntax |
| nominalS | |
| 1 (Function) | Hybrid.Keywords |
| 2 (Function) | ExtModal.Keywords |
| nominals | |
| 1 (Function) | OWL2.Sublogic |
| 2 (Function) | ExtModal.ExtModalSign |
| nominalsS | Hybrid.Keywords |
| Nominal_decl | ExtModal.AS_ExtModal |
| noModule | Haskell.HatParser |
| nomPair | OWL2.ShipSyntax |
| nomPId | ExtModal.ExtModalSign |
| nomPType | ExtModal.ExtModalSign |
| nom_map | ExtModal.MorphismExtension |
| noncomS | CSL.Keywords |
| nonConsts | CASL.StaticAna |
| nondiscourseNames | |
| 1 (Function) | CommonLogic.Sign |
| 2 (Function) | CommonLogic.AS_CommonLogic |
| NONE | GUI.HTkUtils |
| None | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Data Constructor) | Common.Consistency |
| 3 (Data Constructor) | OWL2.Sublogic |
| 4 (Data Constructor) | ExtModal.Sublogic |
| NoneAssoc | OMDoc.DataTypes |
| nonEmpty | CASL.Kif2CASL |
| nonEmptyPr | Isabelle.IsaSign |
| NonEmptySorts | CASL.AS_Basic_CASL |
| nonEmptySortSet | CASL.Sign |
| nonEqualitySens | Maude.PreComorphism |
| Nonexec | Maude.AS_Maude |
| nonImportedSymbols | Common.ExtSign |
| nonNegativeIntegerS | OWL2.Keywords |
| nonNegInt | CASL_DL.PredefinedCASLAxioms |
| nonPosInt | CASL_DL.PredefinedCASLAxioms |
| nonPositiveIntegerS | OWL2.Keywords |
| nonSkippingSimpleId | Common.Token |
| nonTopRelations | QVTR.Sign |
| noNullPrint | HasCASL.PrintAs |
| nonUniqueKind | HasCASL.VarDecl |
| NonVar | HasCASL.As |
| nonVarRawKind | HasCASL.AsUtils |
| nonVarTypeArg | HasCASL.AsUtils |
| nonXSDKeys | OWL2.Keywords |
| nonzeroS | CSL.Keywords |
| NoOpDefn | HasCASL.Le |
| noOwiseEq2Formula | Maude.PreComorphism |
| noOwiseSen2Formula | Maude.PreComorphism |
| noPairs | Common.Lib.Rel |
| noPath | Proofs.EdgeUtils |
| noPrint | HasCASL.PrintAs |
| NoProof | HolLight.Term |
| noQuantification | Maude.PreComorphism |
| NOR | THF.As |
| NoRadio | GUI.HTkUtils |
| NoRestriction | Static.DevGraph |
| norm3 | FreeCAD.VecTools |
| Normal | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Data Constructor) | HolLight.Term |
| NormalC | THF.Poly |
| NormalFontStyle | GUI.UDGUtils |
| NormalForm | Interfaces.Command |
| normalForm | Proofs.NormalForm |
| normalFormLibEnv | Proofs.NormalForm |
| normalFormRule | Proofs.NormalForm |
| normalizedStringS | OWL2.Keywords |
| NormalWeight | GUI.HTkUtils |
| NormalWidth | GUI.HTkUtils |
| normal_map | Common.LaTeX_maps |
| North | GUI.HTkUtils |
| NorthEast | GUI.HTkUtils |
| NorthWest | GUI.HTkUtils |
| NoSelector | HasCASL.As |
| noSens | Logic.Prover |
| noSensGTheory | Static.GTheory |
| noShow | Common.Id |
| NoSimpLift | Comorphisms.PPolyTyConsHOL2IsaUtils |
| NoSortGen | CASL.Sublogic |
| nosplitS | CSL.Keywords |
| nospurS | CSL.Keywords |
| noSrcLoc | Haskell.HatParser |
| NoStatus | SoftFOL.MathServParsing |
| NoSub | CASL.Sublogic |
| noSubtypes | HasCASL.Sublogic |
| nosuccess | Common.SZSOntology |
| NotationComponent | OMDoc.DataTypes |
| notationComponentToXml | OMDoc.XmlInterface |
| notationQN | LF.Twelf2GR |
| notations | OMDoc.Import |
| NotB | QVTR.As |
| NotC | OWL2.ShipSyntax |
| NotCont | Isabelle.IsaSign |
| notDoc | Common.Doc |
| NoteBook | GUI.HTkUtils |
| NoteBookPage | GUI.HTkUtils |
| notExp | QVTR.As |
| notFollowedWith | Common.Lexer |
| notFoundError | Static.AnalysisStructured |
| notFS | THF.HasCASL2THF0Buildins |
| nothing | CASL_DL.PredefinedCASLAxioms |
| nothingFiOut | Comorphisms.Hs2HOLCFaux |
| nothingPT | Isabelle.IsaConsts |
| nothingS | OWL2.Keywords |
| notId | HasCASL.Builtin |
| notIgnore | Comorphisms.HolLight2Isabelle |
| notImplied | Common.AS_Annotation |
| notKey | CommonLogic.Lexer_CLIF |
| notOp | Isabelle.IsaConsts |
| notOrInv | OWL2.ShipSyntax |
| NotOrInverse | OWL2.ShipSyntax |
| notPT | Isabelle.IsaConsts |
| notQ | QBF.Tools |
| NotR | OWL2.ShipSyntax |
| notS | Common.Keywords |
| notType | HasCASL.Builtin |
| notV | Isabelle.IsaConsts |
| noType | Isabelle.IsaConsts |
| noTypeC | Isabelle.IsaConsts |
| NoTypeDefn | HasCASL.Le |
| noTypeT | Isabelle.IsaConsts |
| not_supported | THF.Poly |
| noUniPkg | Main |
| noWait | GUI.HTkUtils |
| NoWrap | GUI.HTkUtils |
| No_asm | Isabelle.IsaSign |
| No_asm_simp | Isabelle.IsaSign |
| No_asm_use | Isabelle.IsaSign |
| NPBranch | Static.DgUtils |
| NPComp | Static.DgUtils |
| NPFree | Static.DgUtils |
| NPRef | Static.DgUtils |
| NPUnit | Static.DgUtils |
| nr | |
| 1 (Function) | DFOL.Comorphism |
| 2 (Function) | HasCASL.TypeRel |
| NS | GUI.HTkUtils |
| NSE | GUI.HTkUtils |
| nsEntry | OWL2.Parse |
| NSEW | GUI.HTkUtils |
| nSigMapToOrderedList | OMDoc.Export |
| nSigMapToSigMap | OMDoc.Export |
| NSPClause | SoftFOL.Sign |
| NSPClauseBody | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| NSW | GUI.HTkUtils |
| nsymbMap | OMDoc.Import |
| nubOrd | Common.Utils |
| nubOrdOn | Common.Utils |
| Null | THF.As |
| null | |
| 1 (Function) | Common.Lib.SizedList |
| 2 (Function) | Common.OrderedMap |
| 3 (Function) | Common.Lib.MapSet |
| nullElem | OWL2.XMLConversion |
| nullForm | GUI.HTkUtils |
| nullId | CASL.CCC.TermFormula |
| nullIRI | Common.IRI |
| nullKeys | Common.Lib.Rel |
| nullProofBasis | Static.DgUtils |
| nullQN | OWL2.XMLConversion |
| nullQName | OWL2.AS |
| nullRange | Common.Id |
| nullSoI | CSL.TreePO |
| nullSoID | CSL.TreePO |
| nullspaceS | CSL.Keywords |
| nullTok | Common.Id |
| Number | |
| 1 (Data Constructor) | Common.XPath |
| 2 (Data Constructor) | Common.GlobalAnnotations |
| 3 (Type/Class) | THF.As |
| number | |
| 1 (Function) | Common.XPath |
| 2 (Function) | Common.Utils |
| 3 (Function) | CommonLogic.Lexer_KIF |
| numbered | THF.Utils |
| NumberedSigMap | OMDoc.Export |
| numberedTok | THF.Utils |
| NumberLit | OWL2.AS |
| numberName | OWL2.AS |
| numberOfEdges | Static.DevGraph |
| numberpS | CSL.Keywords |
| NumberRestrictions | OWL2.Sublogic |
| numberRestrictions | OWL2.Sublogic |
| numberS | Common.Keywords |
| numberSuffix | Common.Utils |
| Number_anno | Common.AS_Annotation |
| number_lit | Common.GlobalAnnotations |
| Numeral | Common.XPath |
| numericalKeywords | CSL.Keywords |
| numS | CSL.Keywords |
| numSuf | LF.Analysis |
| Num_Integer | THF.As |
| Num_Rational | THF.As |
| Num_Real | THF.As |
| nuS | ExtModal.Keywords |
| NW | GUI.HTkUtils |
| N_Atomic_Word | THF.As |
| N_Integer | THF.As |