A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
#
$
&
+
/
<
>
\
^
|
_
All

Index - N

N	GUI.HTkUtils
NA	Isabelle.IsaSign
NAME
1 (Type/Class)	CommonLogic.AS_CommonLogic
2 (Type/Class)	DFOL.AS_DFOL
3 (Type/Class)	Framework.AS
4 (Type/Class)	LF.Sign
Name
1 (Type/Class)	Common.AS_Annotation
2 (Data Constructor)	Common.AS_Annotation
3 (Data Constructor)	CommonLogic.AS_CommonLogic
4 (Type/Class)	SoftFOL.Sign
5 (Data Constructor)	SoftFOL.Sign
6 (Type/Class)	THF.As
7 (Type/Class)	TPTP.AS
name
1 (Function)	CSMOF.Sign
2 (Function)	DFOL.Symbol
3 (Function)	FreeCAD.As
4 (Function)	OMDoc.DataTypes
5 (Function)	OWL2.MS
6 (Function)	PGIP.GraphQL.Result.Language
7 (Function)	PGIP.GraphQL.Result.Logic
8 (Function)	PGIP.GraphQL.Result.Mapping
9 (Function)	PGIP.GraphQL.Result.OMSSimple
10 (Function)	PGIP.GraphQL.Result.NativeDocument
11 (Function)	PGIP.GraphQL.Result.Library
12 (Function)	PGIP.GraphQL.Result.Serialization
13 (Function)	PGIP.GraphQL.Result.Symbol
14 (Function)	PGIP.GraphQL.Result.Conjecture
15 (Function)	PGIP.GraphQL.Result.Axiom
16 (Function)	PGIP.GraphQL.Result.OMS
17 (Function)	PGIP.XMLstate
18 (Function)	QVTR.As
19 (Function)	QVTR.Sign
20 (Function)	SoftFOL.Sign
21 (Function)	TPTP.AS
22 (Function)	Common.AutoProofUtils
23 (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
1 (Data Constructor)	OWL2.AS
2 (Type/Class)	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_text	CommonLogic.AS_CommonLogic
nameEncode	OMDoc.DataTypes
nameExtension
1 (Function)	PGIP.GraphQL.Result.OMSSimple
2 (Function)	PGIP.GraphQL.Result.OMS
nameExtensionIndex
1 (Function)	PGIP.GraphQL.Result.OMSSimple
2 (Function)	PGIP.GraphQL.Result.OMS
nameFileRange	PGIP.GraphQL.Result.OMS
NameInteger	TPTP.AS
NameList	THF.As
NameMap	OMDoc.DataTypes
nameMap	Static.DevGraph
nameOf	HolLight.Helper
nameP	VSE.Prove
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
namespaceC	OWL2.ColonKeywords
NameString	TPTP.AS
nameStringIs	Static.XSimplePath
NameSymbolMap	OMDoc.Import
NameTest	Common.XPath
nameToId	OMDoc.DataTypes
nameToLogicDescr	Syntax.AS_Structured
nameToString	OMDoc.DataTypes
nameToToken	OMDoc.DataTypes
Name_list	TPTP.AS
NAME_OR_SEQMARK	CommonLogic.AS_CommonLogic
Name_term	CommonLogic.AS_CommonLogic
NAND
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
Narrow	GUI.HTkUtils
nAryCompositionOperationS	CASL.CompositionTable.Keywords
natImported	Maude.PreComorphism
NativeDocument
1 (Type/Class)	PGIP.GraphQL.Result.NativeDocument
2 (Data Constructor)	PGIP.GraphQL.Result.NativeDocument
3 (Data Constructor)	Persistence.Schema.Enums
nativeDocumentToResult	PGIP.GraphQL.Resolver.ToResult
natS	CSL.Keywords
NcCmd	PGIP.Query
ncName	Common.XPath
ncname	Common.IRI
ncNameChar
1 (Function)	Common.XPath
2 (Function)	OWL2.ParseAS
3 (Function)	OWL2.ParseMS
4 (Function)	OWL2.Parse
ncNameS	OWL2.Keywords
ncNameStart
1 (Function)	Common.XPath
2 (Function)	OWL2.ParseAS
3 (Function)	OWL2.ParseMS
4 (Function)	OWL2.Parse
NcProvers	PGIP.Query
NcTranslations	PGIP.Query
nd_cons	Static.XGraph
NE	GUI.HTkUtils
needMigration	Persistence.DBConfig
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
1 (Data Constructor)	SoftFOL.Sign
2 (Data Constructor)	TPTP.AS
negateFloat	CASL_DL.PredefinedCASLAxioms
negateForm	CASL.AS_Basic_CASL
negateFormula
1 (Function)	CSL.Tools
2 (Function)	CASL.Simplify
3 (Function)	QBF.Tools
negateInt	CASL_DL.PredefinedCASLAxioms
negateSentence
1 (Function)	SoftFOL.Sign
2 (Function)	TPTP.Sign
Negation
1 (Data Constructor)	CASL.AS_Basic_CASL
2 (Data Constructor)	CommonLogic.AS_CommonLogic
3 (Data Constructor)	DFOL.AS_DFOL
4 (Data Constructor)	Propositional.AS_BASIC_Propositional
5 (Data Constructor)	QBF.AS_BASIC_QBF
6 (Data Constructor)	THF.As
negation	Logic.Logic
NegationNormalForm	Propositional.Sublogic
negationNormalForm	Comorphisms.CASL2NNF
Negative	OWL2.AS
NegativeDataPropertyAssertion	OWL2.AS
negativeDataPropertyAssertionK	OWL2.XMLKeywords
negativeDataPropertyAssertionS	OWL2.ASKeywords
negativeIntegerS	OWL2.Keywords
NegativeObjectPropertyAssertion	OWL2.AS
negativeObjectPropertyAssertionK	OWL2.XMLKeywords
negativeObjectPropertyAssertionS	OWL2.ASKeywords
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
nestCommentOut	Common.Lexer
nestedComment	Common.Parsec
nestedList	CASL.Kif
nesy2Tax	NeSyPatterns.Taxonomy
nesyId	NeSyPatterns.AS
nesyIdMap	NeSyPatterns.Sign
nesyIds	NeSyPatterns.Sign
NeSyPatterns
1 (Type/Class)	NeSyPatterns.Logic_NeSyPatterns
2 (Data Constructor)	NeSyPatterns.Logic_NeSyPatterns
Network
1 (Type/Class)	Syntax.AS_Structured
2 (Data Constructor)	Syntax.AS_Structured
networkDiagram	Static.AnalysisStructured
NetworkEntry	Static.DevGraph
networkS	Common.Keywords
Network_defn	Syntax.AS_Library
never
1 (Function)	OWL2.ParseAS
2 (Function)	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
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
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
New_symbol_list	TPTP.AS
New_symbol_record
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
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
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
noAnnotations	TIP.Prover.Common
NoAs	TIP.AbsTIP
NoBorder	GUI.UDGUtils
NoBrackets	HasCASL.As
NOC	TPTP.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 (Type/Class)	NeSyPatterns.AS
6 (Data Constructor)	NeSyPatterns.AS
7 (Data Constructor)	PGIP.Query
node
1 (Function)	NeSyPatterns.Symbol
2 (Function)	Common.AutoProofUtils
3 (Function)	PGIP.ReasoningParameters
4 (Function)	GUI.GtkConsistencyChecker
NodeArcsHidden
1 (Type/Class)	GUI.UDGUtils
2 (Data Constructor)	GUI.UDGUtils
nodeAssertionS	OWL2.ASKeywords
noDecl	OWL2.StaticAnalysis
NodeClass	GUI.UDGUtils
NodeCmd	PGIP.Query
nodeCmds	PGIP.Query
NodeCommand	PGIP.Query
nodeCommands	PGIP.Query
NodeDragAndDrop
1 (Type/Class)	GUI.UDGUtils
2 (Data Constructor)	GUI.UDGUtils
NodeGesture
1 (Type/Class)	GUI.UDGUtils
2 (Data Constructor)	GUI.UDGUtils
NodeId	GUI.GraphAbstraction
nodeID	OWL2.XMLKeywords
NodeIdOrName	PGIP.Query
NodeInfo	Interfaces.Command
nodeInfo	Static.DevGraph
nodeLabel	Common.Lib.Graph
nodeMap
1 (Function)	NeSyPatterns.Morphism
2 (Function)	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
nodeRange	NeSyPatterns.AS
Nodes	Interfaces.Command
nodes
1 (Function)	Common.Lib.Rel
2 (Function)	NeSyPatterns.Sign
3 (Function)	Taxonomy.AbstractGraphView
NodesChange	Interfaces.DataTypes
nodesDG	Static.DevGraph
NodeSet	Common.XPath
NodeSig
1 (Type/Class)	Static.DevGraph
2 (Data Constructor)	Static.DevGraph
nodesS	OWL2.ASKeywords
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	Hybrid.Parse_AS
nominalS
1 (Function)	ExtModal.Keywords
2 (Function)	Hybrid.Keywords
nominals
1 (Function)	ExtModal.ExtModalSign
2 (Function)	OWL2.Sublogic
nominalsS	Hybrid.Keywords
Nominal_decl	ExtModal.AS_ExtModal
nomPId	ExtModal.ExtModalSign
nomPType	ExtModal.ExtModalSign
nom_map	ExtModal.MorphismExtension
noncomS	CSL.Keywords
nonConsts	CASL.StaticAna
nondiscourseNames
1 (Function)	CommonLogic.AS_CommonLogic
2 (Function)	CommonLogic.Sign
NONE	GUI.HTkUtils
None
1 (Data Constructor)	Common.Consistency
2 (Data Constructor)	ExtModal.Sublogic
3 (Data Constructor)	OWL2.Sublogic
4 (Data Constructor)	GUI.HTkUtils
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
noPluralDatatype	TIP.Prover.Common
noPrint	HasCASL.PrintAs
NoProof	HolLight.Term
noQuantification	Maude.PreComorphism
NOR
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
NoRadio	GUI.HTkUtils
NoRestriction	Static.DevGraph
norm3	FreeCAD.VecTools
Normal
1 (Data Constructor)	HolLight.Term
2 (Data Constructor)	GUI.HTkUtils
NormalC	THF.Poly
NormalFontStyle	GUI.UDGUtils
NormalForm	Interfaces.Command
normalForm
1 (Function)	PGIP.GraphQL.Result.OMS
2 (Function)	Proofs.NormalForm
3 (Function)	HetsAPI.Commands, HetsAPI
normalFormLibEnv	Proofs.NormalForm
normalFormRule	Proofs.NormalForm
normalFormSignatureMorphism	PGIP.GraphQL.Result.OMS
normalizedStringS	OWL2.Keywords
normalizeMyDataForSerialization	Common.Data
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
NoStatus	SoftFOL.MathServParsing
NoSub	CASL.Sublogic
noSubtypes	HasCASL.Sublogic
nosuccess	Common.SZSOntology
NOT	TPTP.AS
Not	TIP.AbsTIP
NotationComponent	OMDoc.DataTypes
notationComponentToXml	OMDoc.XmlInterface
notationQN	LF.Twelf2GR
notations	OMDoc.Import
NotB	QVTR.As
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
nothingPT	Isabelle.IsaConsts
nothingS	OWL2.Keywords
notId	HasCASL.Builtin
notIgnore	Comorphisms.HolLight2Isabelle
notImplied	Common.AS_Annotation
noTIPQuirks	TIP.Prover.Common
notKey	CommonLogic.Lexer_CLIF
notOp	Isabelle.IsaConsts
notPT	Isabelle.IsaConsts
notQ	QBF.Tools
notS	Common.Keywords
notType	HasCASL.Builtin
notV	Isabelle.IsaConsts
NotYetEnqueued	Persistence.Schema.EvaluationStateType
noType	Isabelle.IsaConsts
noTypeC	Isabelle.IsaConsts
NoTypeDefn	HasCASL.Le
noTypeT	Isabelle.IsaConsts
not_supported	THF.Poly
noUniPkg	Main
NoValue	TIP.AbsTIP
noVerifyTlsManagerSettings	Common.Http
noVerifyTlsSettings	Common.Http
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
1 (Data Constructor)	Persistence.Schema.OMSOrigin
2 (Data Constructor)	Static.DgUtils
NPFreeDef	Persistence.Schema.MappingType
NPFreeOpen	Persistence.Schema.MappingType
NPFreeProved	Persistence.Schema.MappingType
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.MapSet
2 (Function)	Common.Lib.SizedList
3 (Function)	Common.OrderedMap
nullElem	OWL2.XMLConversion
nullForm	GUI.HTkUtils
nullId	CASL.CCC.TermFormula
nullIRI	Common.IRI
nullKeys	Common.Lib.Rel
nullProofBasis	Static.DgUtils
nullQN	OWL2.XMLConversion
nullRange	Common.Id
nullSoI	CSL.TreePO
nullSoID	CSL.TreePO
nullspaceS	CSL.Keywords
nullTok	Common.Id
NumAdd	TIP.AbsTIP
Number
1 (Data Constructor)	Common.GlobalAnnotations
2 (Data Constructor)	Common.XPath
3 (Type/Class)	THF.As
4 (Type/Class)	TPTP.AS
5 (Data Constructor)	TPTP.Sign
number
1 (Function)	Common.Utils
2 (Function)	Common.XPath
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
NumberSet	TPTP.Sign
numberSet	TPTP.Sign
numberSuffix	Common.Utils
Number_anno	Common.AS_Annotation
number_lit	Common.GlobalAnnotations
NumDiv	TIP.AbsTIP
Numeral	Common.XPath
numericalKeywords	CSL.Keywords
NumGe	TIP.AbsTIP
NumGt	TIP.AbsTIP
NumInteger	TPTP.AS
NumLe	TIP.AbsTIP
NumLt	TIP.AbsTIP
NumMul	TIP.AbsTIP
NumRational	TPTP.AS
NumReal	TPTP.AS
numS	CSL.Keywords
NumSub	TIP.AbsTIP
numSuf	LF.Analysis
NumWiden	TIP.AbsTIP
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