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 - O

O	TPTP.AS
o
1 (Function)	FreeCAD.As
2 (Function)	LF.Framework
o1ci	THF.HasCASL2THF0Buildins
o2ci	THF.HasCASL2THF0Buildins
o3ci	THF.HasCASL2THF0Buildins
oB	ExtModal.Keywords
Obj	OMDoc.DataTypes
Object
1 (Type/Class)	CSMOF.As
2 (Data Constructor)	CSMOF.As
3 (Type/Class)	Adl.As
4 (Data Constructor)	Adl.As
5 (Data Constructor)	Common.XPath
6 (Type/Class)	FreeCAD.As
7 (Data Constructor)	Maude.AS_Maude
8 (Type/Class)	RDF.AS
9 (Data Constructor)	RDF.AS
object
1 (Function)	CSMOF.As
2 (Function)	FreeCAD.As
objectAllValuesFromK	OWL2.XMLKeywords
objectAllValuesFromS	OWL2.ASKeywords
ObjectBit	OWL2.MS
ObjectCardinality	OWL2.AS
ObjectCharacteristics	OWL2.MS
ObjectComplementOf	OWL2.AS
objectComplementOfK	OWL2.XMLKeywords
objectComplementOfS	OWL2.ASKeywords
ObjectEntity
1 (Data Constructor)	OWL2.MS
2 (Data Constructor)	RDF.AS
objectExactCardinalityK	OWL2.XMLKeywords
objectExactCardinalityS	OWL2.ASKeywords
ObjectHasSelf	OWL2.AS
objectHasSelfK	OWL2.XMLKeywords
objectHasSelfS	OWL2.ASKeywords
ObjectHasValue	OWL2.AS
objectHasValueK	OWL2.XMLKeywords
objectHasValueS	OWL2.ASKeywords
objectIntersectionOfK	OWL2.XMLKeywords
objectIntersectionOfS	OWL2.ASKeywords
ObjectInverseOf	OWL2.AS
objectInverseOfK	OWL2.XMLKeywords
objectInverseOfS	OWL2.ASKeywords
ObjectJunction	OWL2.AS
objectK	CSMOF.XMLKeywords
ObjectLiteral	RDF.AS
objectMaxCardinalityK	OWL2.XMLKeywords
objectMaxCardinalityS	OWL2.ASKeywords
objectMinCardinalityK	OWL2.XMLKeywords
objectMinCardinalityS	OWL2.ASKeywords
ObjectName	Taxonomy.MMiSSOntology
objectName	CSMOF.As
objectNameK	CSMOF.XMLKeywords
ObjectOneOf	OWL2.AS
objectOneOfK	OWL2.XMLKeywords
objectOneOfS	OWL2.ASKeywords
objectOwner	CSMOF.As
ObjectProp	OWL2.AS
objectProperties	OWL2.Sign
ObjectProperty
1 (Data Constructor)	OWL2.AS
2 (Type/Class)	OWL2.AS
ObjectPropertyAssertion	OWL2.AS
objectPropertyAssertionK	OWL2.XMLKeywords
objectPropertyAssertionS	OWL2.ASKeywords
ObjectPropertyAtom	OWL2.AS
objectPropertyAtomK	OWL2.XMLKeywords
objectPropertyAtomS	OWL2.ASKeywords
ObjectPropertyAxiom
1 (Type/Class)	OWL2.AS
2 (Data Constructor)	OWL2.AS
objectPropertyC	OWL2.ColonKeywords
objectPropertyChainK	OWL2.XMLKeywords
objectPropertyChainS	OWL2.ASKeywords
objectPropertyCharacter
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
ObjectPropertyDomain	OWL2.AS
objectPropertyDomainK	OWL2.XMLKeywords
objectPropertyDomainS	OWL2.ASKeywords
objectPropertyExpr
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
ObjectPropertyExpression	OWL2.AS
ObjectPropertyFact	OWL2.MS
ObjectPropertyFrame	OWL2.PrintMS
objectPropertyFrame	OWL2.ParseMS
objectPropertyFrameSection	OWL2.ParseMS
objectPropertyHierachy	OWL2.Sublogic
objectPropertyK	OWL2.XMLKeywords
objectPropertyOrder	OWL2.Sublogic
ObjectPropertyRange	OWL2.AS
objectPropertyRangeK	OWL2.XMLKeywords
objectPropertyRangeS	OWL2.ASKeywords
objectPropList	OWL2.XMLKeywords
objects
1 (Function)	FreeCAD.As
2 (Function)	RDF.Sign
objectSomeValuesFromK	OWL2.XMLKeywords
objectSomeValuesFromS	OWL2.ASKeywords
ObjectSubPropertyChain	OWL2.MS
ObjectTemplate
1 (Type/Class)	QVTR.As
2 (Data Constructor)	QVTR.As
ObjectTerm	RDF.AS
objectType	CSMOF.As
objectTypeK	CSMOF.XMLKeywords
objectUnionOfK	OWL2.XMLKeywords
objectUnionOfS	OWL2.ASKeywords
ObjectValuesFrom	OWL2.AS
ObjInvOfId	OWL2.PrintMS
objList	FreeCAD.Translator
objListEl	FreeCAD.Translator
objListQName	FreeCAD.Translator
objPropExprAList	OWL2.ParseMS
objPropToIRI	OWL2.AS
objQName	FreeCAD.Translator
objTemp	QVTR.As
Oblique	GUI.HTkUtils
OBO	Driver.Options
obPropExprToIdVal	OWL2.PrintMS
obPropExprToIRI	OWL2.PrintMS
oBraceT	Common.Lexer
oBracketT	Common.Lexer
observe	Common.SFKT
observerItem	COL.Parse_AS
observerS	COL.AS_COL
observers	COL.COLSign
observersS	COL.AS_COL
Observer_items	COL.AS_COL
obtainEdgeList	CMDL.Utils
obtainGoalEdgeList	CMDL.Utils
obtainNodeList	CMDL.Utils
Obv	SoftFOL.Sign
occursType	THF.Poly
OCL	QVTR.As
oclExpre	QVTR.As
oclExpreWhen	QVTR.As
octEscape	Common.Lexer
oddS	CSL.Keywords
Off	GUI.HTkUtils
offS	CSL.Keywords
offset	GUI.HTkUtils
ofS	Common.Keywords
OfType	HasCASL.As
oftypeOMS	LF.Twelf2GR
OHy	SoftFOL.Sign
Old	Comorphisms.PPolyTyConsHOL2IsaUtils
OldSimpKind	Comorphisms.PPolyTyConsHOL2IsaUtils
OMA
1 (Data Constructor)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.OMDocInterface
oma2exp	LF.Twelf2GR
oma2mor	LF.Twelf2GR
omaElements	OMDoc.OMDocInterface
OMap	Common.OrderedMap
OMApply	OMDoc.OMDocInterface
omaQN	LF.Twelf2GR
OMATP	OMDoc.OMDocInterface
omatp2exp	LF.Twelf2GR
omatpAttribs	OMDoc.OMDocInterface
omatpQN	LF.Twelf2GR
OMATTR	OMDoc.OMDocInterface
OMAttr	OMDoc.DataTypes
omattr2vardecl	LF.Twelf2GR
omattrATP	OMDoc.OMDocInterface
omattrElem	OMDoc.OMDocInterface
OMAttribute	OMDoc.DataTypes
OMAttribution	OMDoc.OMDocInterface
OMAttributionPart	OMDoc.OMDocInterface
omattrQN	LF.Twelf2GR
OMATTT	OMDoc.DataTypes
OMB	OMDoc.OMDocInterface
OMBase64	OMDoc.OMDocInterface
ombContent	OMDoc.OMDocInterface
OMBIND
1 (Data Constructor)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.OMDocInterface
OMBind	OMDoc.OMDocInterface
ombind2exp	LF.Twelf2GR
ombindBinder	OMDoc.OMDocInterface
ombindExpression	OMDoc.OMDocInterface
OMBindingVariables	OMDoc.OMDocInterface
ombindQN	LF.Twelf2GR
ombindVariables	OMDoc.OMDocInterface
OMBVAR	OMDoc.OMDocInterface
ombvar2decls	LF.Twelf2GR
ombvarQN	LF.Twelf2GR
ombvarVars	OMDoc.OMDocInterface
OMCD	OMDoc.DataTypes
OmdADT	OMDoc.DataTypes
OMDoc
1 (Type/Class)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.DataTypes
3 (Type/Class)	OMDoc.OMDocInterface
4 (Data Constructor)	OMDoc.OMDocInterface
omdocDefaultNamespace	OMDoc.OMDocInterface
omdocE	LF.Twelf2GR
omdocId	OMDoc.OMDocInterface
OmdocIn	Driver.Options
omdocInclusions	OMDoc.OMDocInterface
OMDocMathObject	OMDoc.OMDocInterface
omdocNS	LF.Twelf2GR
OmdocOut	Driver.Options
omdocQN	LF.Twelf2GR
OMDocRef	OMDoc.OMDocInterface
OMDocRefs	OMDoc.OMDocInterface
omdocTheories	OMDoc.OMDocInterface
omdocToSen
1 (Function)	CommonLogic.OMDocImport
2 (Function)	CASL.OMDocImport
3 (Function)	Logic.Logic
omdocToSym
1 (Function)	CommonLogic.OMDocImport
2 (Function)	CASL.OMDocImport
3 (Function)	Logic.Logic
omdoc_current_version	OMDoc.XmlInterface
omdoc_metatheory	Logic.Logic
OMDoc_Morphism	OMDoc.Logic_OMDoc
OMDoc_PUN
1 (Type/Class)	OMDoc.Logic_OMDoc
2 (Data Constructor)	OMDoc.Logic_OMDoc
OMDoc_Sign	OMDoc.Logic_OMDoc
OME	OMDoc.OMDocInterface
OMEA	OMDoc.OMDocInterface
OMEATTR	OMDoc.OMDocInterface
OMEB	OMDoc.OMDocInterface
OMEBIND	OMDoc.OMDocInterface
OMEC	OMDoc.OMDocInterface
OMEE	OMDoc.OMDocInterface
omeExtra	OMDoc.OMDocInterface
OMEF	OMDoc.OMDocInterface
OmegaNDCalculus	SoftFOL.MathServParsing
OMEI	OMDoc.OMDocInterface
omel2exp	LF.Twelf2GR
omel2mor	LF.Twelf2GR
OMElement
1 (Type/Class)	OMDoc.DataTypes
2 (Type/Class)	OMDoc.OMDocInterface
OMElementClass	OMDoc.OMDocInterface
omelementFrom	OMDoc.XmlInterface
omelementFromOmobj	OMDoc.XmlInterface
OMER	OMDoc.OMDocInterface
OMError	OMDoc.OMDocInterface
OMES	OMDoc.OMDocInterface
OMESTR	OMDoc.OMDocInterface
omeSymbol	OMDoc.OMDocInterface
OMEV	OMDoc.OMDocInterface
OMF	OMDoc.OMDocInterface
omfFloat	OMDoc.OMDocInterface
OMFloat	OMDoc.OMDocInterface
OMI	OMDoc.OMDocInterface
omiInt	OMDoc.OMDocInterface
OMImage	OMDoc.DataTypes
OMInteger	OMDoc.OMDocInterface
OMLegacy	OMDoc.OMDocInterface
OMMath	OMDoc.OMDocInterface
ommor2mor	LF.Twelf2GR
ommorQN	LF.Twelf2GR
OMName
1 (Type/Class)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.DataTypes
omName	OMDoc.DataTypes
omobj2exp	LF.Twelf2GR
OMObject
1 (Type/Class)	OMDoc.OMDocInterface
2 (Data Constructor)	OMDoc.OMDocInterface
omobjQN	LF.Twelf2GR
omobjToOMElement	OMDoc.XmlInterface
OMOMOBJ	OMDoc.OMDocInterface
OMQualName	OMDoc.DataTypes
OMR	OMDoc.OMDocInterface
OMReference	OMDoc.OMDocInterface
omrHRef	OMDoc.OMDocInterface
OMS
1 (Data Constructor)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.OMDocInterface
3 (Type/Class)	PGIP.GraphQL.Result.OMS
4 (Data Constructor)	PGIP.GraphQL.Result.OMS
5 (Data Constructor)	Persistence.Schema.Enums
6 (Type/Class)	Persistence.Schema
7 (Data Constructor)	Persistence.Schema
oms
1 (Function)	PGIP.GraphQL.Result.NativeDocument
2 (Function)	PGIP.GraphQL.Result.Signature
oms2exp	LF.Twelf2GR
oms2mor	LF.Twelf2GR
OMSActionId	Persistence.Schema
oMSActionId	Persistence.Schema
omsCD	OMDoc.OMDocInterface
omsCDBase	OMDoc.OMDocInterface
OMSConservativityStatusId	Persistence.Schema
oMSConservativityStatusId	Persistence.Schema
OMSConsistencyStatus	Persistence.Schema
oMSConsistencyStatus	Persistence.Schema
OMSDisplayName	Persistence.Schema
oMSDisplayName	Persistence.Schema
OMSDocumentId	Persistence.Schema
oMSDocumentId	Persistence.Schema
OMSFreeNormalFormId	Persistence.Schema
oMSFreeNormalFormId	Persistence.Schema
OMSFreeNormalFormSignatureMorphismId	Persistence.Schema
oMSFreeNormalFormSignatureMorphismId	Persistence.Schema
OMSId
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
OMSimpleVariable	OMDoc.OMDocInterface
OMSInNetwork	Syntax.AS_Library
OMSKey	Persistence.Schema
OMSLabelHasFree	Persistence.Schema
oMSLabelHasFree	Persistence.Schema
OMSLabelHasHiding	Persistence.Schema
oMSLabelHasHiding	Persistence.Schema
OMSLanguageId	Persistence.Schema
oMSLanguageId	Persistence.Schema
omsList	PGIP.GraphQL.Result.Library
OMSLogicId	Persistence.Schema
oMSLogicId	Persistence.Schema
OMSName	Persistence.Schema
oMSName	Persistence.Schema
omsName	OMDoc.OMDocInterface
OMSNameExtension	Persistence.Schema
oMSNameExtension	Persistence.Schema
OMSNameExtensionIndex	Persistence.Schema
oMSNameExtensionIndex	Persistence.Schema
OMSNameFileRangeId	Persistence.Schema
oMSNameFileRangeId	Persistence.Schema
OMSNormalFormId	Persistence.Schema
oMSNormalFormId	Persistence.Schema
OMSNormalFormSignatureMorphismId	Persistence.Schema
oMSNormalFormSignatureMorphismId	Persistence.Schema
OMSOrigin
1 (Type/Class)	Persistence.Schema.OMSOrigin
2 (Data Constructor)	Persistence.Schema
oMSOrigin	Persistence.Schema
OmsOrNetwork	Syntax.AS_Library
omsQN	LF.Twelf2GR
OMSResult	PGIP.GraphQL.Result
OMSSerializationId	Persistence.Schema
oMSSerializationId	Persistence.Schema
omsSignature	PGIP.GraphQL.Result.OMS
OMSSignatureId	Persistence.Schema
oMSSignatureId	Persistence.Schema
OMSSimple
1 (Type/Class)	PGIP.GraphQL.Result.OMSSimple
2 (Data Constructor)	PGIP.GraphQL.Result.OMSSimple
omsToResult	PGIP.GraphQL.Resolver.ToResult
omsToResultSimple	PGIP.GraphQL.Resolver.ToResult
OMSTR	OMDoc.OMDocInterface
OMString	OMDoc.OMDocInterface
omstrText	OMDoc.OMDocInterface
OMSymbol	OMDoc.OMDocInterface
OMV
1 (Data Constructor)	OMDoc.DataTypes
2 (Data Constructor)	OMDoc.OMDocInterface
omv2exp	LF.Twelf2GR
OMVA	OMDoc.OMDocInterface
OMVariable	OMDoc.OMDocInterface
OMVariableClass	OMDoc.OMDocInterface
omvName	OMDoc.OMDocInterface
omvQN	LF.Twelf2GR
OMVS	OMDoc.OMDocInterface
On	GUI.HTkUtils
once	Common.LogicT
onDatabase	Persistence.Database
One
1 (Data Constructor)	CASL.CompositionTable.ModelFormula
2 (Data Constructor)	ExtModal.Sublogic
oneExpTerm	CASL.Overload
OneLineMode	Common.Lib.Pretty
oneOfKeys	CSL.Parse_AS_Basic
oneOfMsg	OMDoc.XmlInterface
OnlyFree	CASL.Sublogic
onlyInjConstrs	CASL.Sublogic
onlyS	OWL2.Keywords
onlysomeS	OWL2.Keywords
OnlyTotal	CASL.Sublogic
onS	CSL.Keywords
ontFrames	OWL2.MS
onto2Tax	OWL2.Taxonomy
OntoClass	Common.Taxonomy, Taxonomy.MMiSSOntology
ontoGraph	Taxonomy.AbstractGraphView
Ontology
1 (Type/Class)	OWL2.AS
2 (Data Constructor)	OWL2.AS
3 (Type/Class)	OWL2.MS
4 (Data Constructor)	OWL2.MS
ontology
1 (Function)	OWL2.AS
2 (Function)	OWL2.MS
ontologyAnnotation	OWL2.AS
OntologyAnnotations	OWL2.AS
ontologyC	OWL2.ColonKeywords
OntologyDocument
1 (Type/Class)	OWL2.AS
2 (Data Constructor)	OWL2.AS
3 (Type/Class)	OWL2.MS
4 (Data Constructor)	OWL2.MS
OntologyIRI	OWL2.AS
ontologyIRIK	OWL2.XMLKeywords
OntologyMetadata
1 (Type/Class)	OWL2.AS
2 (Data Constructor)	OWL2.AS
ontologyMetadata	OWL2.AS
ontologyProfiles	OWL2.Profiles
ontologyS	Common.Keywords
ontologySign	OWL2.ProverState
OntologySyntaxType	OWL2.AS
ontologyTerm	NeSyPatterns.AS
OntoObject	Common.Taxonomy, Taxonomy.MMiSSOntology
OntoObjectType	Common.Taxonomy, Taxonomy.MMiSSOntology
OntoPredicate	Common.Taxonomy, Taxonomy.MMiSSOntology
OntoProperty	CASL_DL.Sign
Oops	Isabelle.IsaSign
oopsS	Isabelle.IsaConsts
Op
1 (Data Constructor)	CSL.AS_BASIC_CSL
2 (Type/Class)	CASL.CompositionTable.ModelFormula
3 (Data Constructor)	HasCASL.As
4 (Data Constructor)	Maude.AS_Maude
oParenT
1 (Function)	Common.Lexer
2 (Function)	CASL.CompositionTable.ParseSparQ
3 (Function)	CommonLogic.Lexer_CLIF
4 (Function)	CommonLogic.Lexer_KIF
opArgs	CASL.Sign
opArity	CSL.Sign
OpAsItemType
1 (Data Constructor)	CASL.Sign
2 (Data Constructor)	HasCASL.Le
OpAttr	HasCASL.As
opAttrs	HasCASL.Le
opAxiomsToDoc	OWL2.PrintMS
OpBrand	HasCASL.As
opBrand	HasCASL.ParseTerm
OpDecl
1 (Type/Class)	CSL.AS_BASIC_CSL
2 (Data Constructor)	CSL.AS_BASIC_CSL
3 (Data Constructor)	HasCASL.As
4 (Type/Class)	Maude.Sign
opdecl	CSL.Parse_AS_Basic
OpDeclSet	Maude.Sign
opDeclToOp	CSL.ASUtils
OpDefn
1 (Data Constructor)	HasCASL.As
2 (Type/Class)	HasCASL.Le
opDefn	HasCASL.Le
Open
1 (Data Constructor)	Logic.Prover
2 (Data Constructor)	Persistence.Schema.ConsistencyStatusType
openComment	CMDL.DataTypes
OpenConjecture	Persistence.Schema.Enums
OpenCons	CMDL.DataTypes
OpenGoals	CMDL.DataTypes
openGoalStatus	Logic.Prover
openGraphs	GUI.GraphTypes
openMathNS	LF.Twelf2GR
OpenMenuOption	GUI.UDGUtils
openProofStatus
1 (Function)	Logic.Prover
2 (Function)	GUI.GraphLogic
openReduceProofStatus	CSL.Reduce_Interface
Operator
1 (Type/Class)	Maude.AS_Maude
2 (Data Constructor)	Maude.Symbol
operatorBindInfoMap	CSL.AS_BASIC_CSL
operatorInfo	CSL.AS_BASIC_CSL
operatorInfoMap	CSL.AS_BASIC_CSL
operatorInfoNameMap	CSL.AS_BASIC_CSL
operatorMap	CSL.Morphism
operatorS	CSL.Keywords
OperatorState	CSL.AS_BASIC_CSL
opFunSort	CASL.Formula
opHead	CASL.OpItem
OpHook	Maude.AS_Maude
OPID	CSL.AS_BASIC_CSL
OpId
1 (Data Constructor)	CSL.AS_BASIC_CSL
2 (Type/Class)	Maude.AS_Maude
3 (Data Constructor)	Maude.AS_Maude
opId	HasCASL.HToken
opIds	CSL.Sign
opIdToSSymbol	CASL.ToSExpr
OpInfo
1 (Type/Class)	CSL.AS_BASIC_CSL
2 (Data Constructor)	CSL.AS_BASIC_CSL
3 (Type/Class)	HasCASL.Le
4 (Data Constructor)	HasCASL.Le
OpInfoMap	CSL.AS_BASIC_CSL
OpInfoNameMap	CSL.AS_BASIC_CSL
OpItem	HasCASL.As
opItem
1 (Function)	CSL.Parse_AS_Basic
2 (Function)	CASL.OpItem
OpItems	HasCASL.As
opItems	CASL.Parse_AS_Basic
OpK	Maude.Symbol
OpKind	CASL.AS_Basic_CASL
opKind	CASL.Sign
OPm	SoftFOL.Sign
OpMap
1 (Type/Class)	CASL.Sign
2 (Type/Class)	Maude.Sign
3 (Type/Class)	Maude.Morphism
opMap
1 (Function)	CASL.Sign
2 (Function)	Maude.Morphism
opMapConsts	CASL.StaticAna
opMapToSExprs	CASL.ToSExpr
OPN	Persistence.Schema.Enums
OPNAME	CSL.AS_BASIC_CSL
opname	CSL.AS_BASIC_CSL
opOrPredType	CASL.SymbolParser
opposite	CSMOF.As
OppositeProp	QVTR.As
oppPropName	QVTR.As
oppPropType	QVTR.As
OpRenaming1	Maude.AS_Maude
OpRenaming2	Maude.AS_Maude
opRes	CASL.Sign
opS	Common.Keywords
ops
1 (Function)	HolLight.Sign
2 (Function)	Maude.Sign
ops2predPremises	Maude.PreComorphism
ops2symbols	Maude.PreComorphism
opsInTerm	HasCASL.FoldTerm
opSort	CASL.Formula
opSorts	CASL.Sign
OpStmnt	Maude.AS_Maude
Opsym
1 (Type/Class)	CASL.Kif2CASL
2 (Data Constructor)	CASL.Kif2CASL
opSymbName	CASL.AS_Basic_CASL
opSymbs	CASL.AS_Basic_CASL
opSymOf	HasCASL.Symbol
Ops_kind	CASL.AS_Basic_CASL
optAnaddVarDecl	HasCASL.VarDecl
optAnnos	OWL2.ParseMS
optBraces	Common.DocUtils
OptimiseLayout
1 (Type/Class)	GUI.UDGUtils
2 (Data Constructor)	GUI.UDGUtils
optionalAnnos	OWL2.ParseMS
OptionalInfo	THF.As
Optional_info	TPTP.AS
optionArgs	Driver.Options
optionFlags	Driver.Options
optionL	Common.Parsec
OptionMenu	GUI.HTkUtils
options
1 (Function)	LF.Twelf2GR
2 (Function)	GUI.GraphTypes
optLibDefn	Static.DevGraph
optNot
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
opToSSymbol	CASL.ToSExpr
optParensP	OWL2.ParseMS
optQueryLibPath	PGIP.Query
optQueryOrFrag	OWL2.Parse
OpTransTuple	Maude.PreComorphism
optSemi	Common.AnnoState
optSign
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
optSortOfTerm	CASL.Sign
optTermSort	CASL.Sign
optVarDecls	Fpl.As
OpType
1 (Type/Class)	CSL.Sign
2 (Data Constructor)	CSL.Sign
3 (Type/Class)	CASL.Sign
4 (Data Constructor)	CASL.Sign
opType
1 (Function)	CASL.Formula
2 (Function)	HasCASL.Le
optypeFromArity	CSL.Sign
opt_pos	Common.AS_Annotation
OpUser	CSL.AS_BASIC_CSL
OpVarState
1 (Type/Class)	CSL.Parse_AS_Basic
2 (Data Constructor)	CSL.Parse_AS_Basic
OpWildcard	Maude.Symbol
OP_abs	CSL.AS_BASIC_CSL
OP_all	CSL.AS_BASIC_CSL
OP_and	CSL.AS_BASIC_CSL
OP_approx	CSL.AS_BASIC_CSL
OP_ATTR	CASL.AS_Basic_CASL
OP_convergence	CSL.AS_BASIC_CSL
OP_cos	CSL.AS_BASIC_CSL
OP_cot	CSL.AS_BASIC_CSL
Op_decl
1 (Data Constructor)	CSL.AS_BASIC_CSL
2 (Data Constructor)	CASL.AS_Basic_CASL
Op_defn	CASL.AS_Basic_CASL
OP_div	CSL.AS_BASIC_CSL
OP_divide	CSL.AS_BASIC_CSL
OP_eq	CSL.AS_BASIC_CSL
OP_ex	CSL.AS_BASIC_CSL
OP_factor	CSL.AS_BASIC_CSL
OP_factorize	CSL.AS_BASIC_CSL
OP_failure	CSL.AS_BASIC_CSL
OP_false	CSL.AS_BASIC_CSL
OP_fthrt	CSL.AS_BASIC_CSL
OP_geq	CSL.AS_BASIC_CSL
OP_gt	CSL.AS_BASIC_CSL
OP_hastype	CSL.AS_BASIC_CSL
OP_HEAD	CASL.AS_Basic_CASL
Op_head	CASL.AS_Basic_CASL
OP_impl	CSL.AS_BASIC_CSL
OP_in	CSL.AS_BASIC_CSL
OP_int	CSL.AS_BASIC_CSL
OP_ITEM
1 (Type/Class)	CSL.AS_BASIC_CSL
2 (Type/Class)	CASL.AS_Basic_CASL
Op_item	CSL.AS_BASIC_CSL
Op_items	CASL.AS_Basic_CASL
OP_leq	CSL.AS_BASIC_CSL
OP_lt	CSL.AS_BASIC_CSL
Op_map	CASL.Morphism
op_map	CASL.Morphism
OP_max	CSL.AS_BASIC_CSL
OP_maximize	CSL.AS_BASIC_CSL
OP_maxloc	CSL.AS_BASIC_CSL
OP_min	CSL.AS_BASIC_CSL
OP_minimize	CSL.AS_BASIC_CSL
OP_minloc	CSL.AS_BASIC_CSL
OP_minus	CSL.AS_BASIC_CSL
OP_mult	CSL.AS_BASIC_CSL
OP_NAME	CASL.AS_Basic_CASL
Op_name	CASL.AS_Basic_CASL
OP_neg	CSL.AS_BASIC_CSL
OP_neq	CSL.AS_BASIC_CSL
OP_not	CSL.AS_BASIC_CSL
OP_or	CSL.AS_BASIC_CSL
OP_Pi	CSL.AS_BASIC_CSL
OP_plus	CSL.AS_BASIC_CSL
OP_pow	CSL.AS_BASIC_CSL
OP_real	CSL.AS_BASIC_CSL
OP_reldist	CSL.AS_BASIC_CSL
OP_reldistLe	CSL.AS_BASIC_CSL
OP_rlqe	CSL.AS_BASIC_CSL
OP_sign	CSL.AS_BASIC_CSL
OP_simplify	CSL.AS_BASIC_CSL
OP_sin	CSL.AS_BASIC_CSL
OP_solve	CSL.AS_BASIC_CSL
OP_sqrt	CSL.AS_BASIC_CSL
OP_SYMB	CASL.AS_Basic_CASL
OP_tan	CSL.AS_BASIC_CSL
OP_true	CSL.AS_BASIC_CSL
OP_TYPE	CASL.AS_Basic_CASL
Op_type	CASL.AS_Basic_CASL
OP_undef	CSL.AS_BASIC_CSL
OR
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
Or	TIP.AbsTIP
OrB	QVTR.As
Ord1	GUI.UDGUtils
ordDoms	Isabelle.IsaConsts
order	Common.OrderedMap
orderingT	Isabelle.IsaConsts
orderS	CSL.Keywords
orDoc	Common.Doc
ordpS	CSL.Keywords
OrElse	ExtModal.AS_ExtModal
orElseS	ExtModal.Keywords
orFS	THF.HasCASL2THF0Buildins
OrganizationalUnit
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
OrganizationalUnitId
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
OrganizationalUnitKey	Persistence.Schema
OrganizationalUnitKind	Persistence.Schema
organizationalUnitKind	Persistence.Schema
OrganizationalUnitSlug	Persistence.Schema
organizationalUnitSlug	Persistence.Schema
orId	HasCASL.Builtin
orient	GUI.HTkUtils
Orientation
1 (Type/Class)	GUI.UDGUtils
2 (Type/Class)	GUI.HTkUtils
orientation	FreeCAD.As
orig	Isabelle.IsaSign
origin
1 (Function)	PGIP.GraphQL.Result.Mapping
2 (Function)	PGIP.GraphQL.Result.OMSSimple
3 (Function)	PGIP.GraphQL.Result.OMS
originNodeId	Common.AS_Annotation
originType	SoftFOL.Sign
origSort	CASL.AS_Basic_CASL
orKey	CommonLogic.Lexer_CLIF
orPT	Isabelle.IsaConsts
orS
1 (Function)	CSL.Keywords
2 (Function)	CommonLogic.AS_CommonLogic
3 (Function)	OWL2.Keywords
orSign	THF.PrintTHF
oS	OWL2.Keywords
osource
1 (Function)	OWL2.Morphism
2 (Function)	RDF.Morphism
otarget
1 (Function)	OWL2.Morphism
2 (Function)	RDF.Morphism
Other
1 (Data Constructor)	HasCASL.As
2 (Data Constructor)	Isabelle.IsaSign
3 (Data Constructor)	OWL2.AS
4 (Data Constructor)	GUI.HTkUtils
OtherGenData	SoftFOL.Sign, SoftFOL.ParseTPTP
otherKeywords	CSL.Keywords
otherStartKeywords	Common.Token
otherTypeKinds	HasCASL.Le
Other_formula_role	TPTP.AS
OTTER	SoftFOL.Sign
OtterCalc	SoftFOL.MathServParsing
OType
1 (Data Constructor)	THF.Cons
2 (Data Constructor)	TPTP.AS
OurGraph
1 (Type/Class)	Taxonomy.AbstractGraphView
2 (Type/Class)	GUI.GraphAbstraction
Out	VSE.As
outDG	Static.DevGraph
outdir	Driver.Options
outerRange	Common.Id
Outfix	HasCASL.PrintAs
outline	GUI.HTkUtils
outlinewidth	GUI.HTkUtils
outp	CSL.Reduce_Interface
output	CMDL.DataTypes
outputLogicGraph	Driver.Options
outputLogicList	Driver.Options
outputMsg	CMDL.DataTypes
outputS	CSL.Keywords
outputStr	SoftFOL.MathServParsing
outputToStdout	Driver.Options
outS	CSL.Keywords
outsideEL	OWL2.Profiles
outsideQL	OWL2.Profiles
outsideRL	OWL2.Profiles
OutType	Driver.Options
outtypes	Driver.Options
Oval	GUI.HTkUtils
Overlap	CSL.TreePO
overlapping	GUI.HTkUtils
overstrike	GUI.HTkUtils
Owise	Maude.AS_Maude
owise	Maude.AS_Maude
owiseEq2Formula	Maude.PreComorphism
owiseSen2Formula	Maude.PreComorphism
owl	PGIP.Server.Examples
OWL2
1 (Type/Class)	OWL2.Logic_OWL2
2 (Data Constructor)	OWL2.Logic_OWL2
OWL22CASL
1 (Type/Class)	OWL2.OWL22CASL
2 (Data Constructor)	OWL2.OWL22CASL
OWL22CommonLogic
1 (Type/Class)	OWL2.OWL22CommonLogic
2 (Data Constructor)	OWL2.OWL22CommonLogic
OWL22NeSyPatterns
1 (Type/Class)	OWL2.OWL22NeSyPatterns
2 (Data Constructor)	OWL2.OWL22NeSyPatterns
OWL2Bool	OWL2.AS
OWL2Number	OWL2.AS
OWL2String	OWL2.AS
owlClasses	NeSyPatterns.Sign
owlClassUri
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
owlDatatypes	OWL2.Sublogic
OWLFormat	Driver.Options
OWLIn	Driver.Options
owlKeywords
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
owlMap	NeSyPatterns.Morphism
OWLMorphism
1 (Type/Class)	OWL2.Morphism
2 (Data Constructor)	OWL2.Morphism
owlNumbers	OWL2.Keywords
owlNumbersMap	OWL2.AS
OWLOut	Driver.Options
owlProverState	OWL2.ProverState
OWLSub
1 (Type/Class)	OWL2.Sublogic
2 (Data Constructor)	OWL2.Sublogic
owlTaxonomy	NeSyPatterns.Sign
owlThing	OWL2.AS
OwlXml	Driver.Options
ownedAttribute	CSMOF.As
ownedAttributeK	CSMOF.XMLKeywords
ownedAttributeLowerK	CSMOF.XMLKeywords
ownedAttributeNameK	CSMOF.XMLKeywords
ownedAttributeOppositeK	CSMOF.XMLKeywords
ownedAttributeTypeK	CSMOF.XMLKeywords
ownedAttributeUpperK	CSMOF.XMLKeywords
O_type	CASL.AS_Basic_CASL