User: Anonymous Login

Main Menu > Browse Axioms

Name
cardToCardQ
cardToHasClassQ
complementOf-subClassOf
complementOf1
complementOf2
diffIndContr
disjContr
disjInh
disjUnion
domain
equivalentTo
equvToEqual
first
getItemFromRest
hasClassIdentification
hasClassToHasClassQ
hasClassToMinCardQ
hasValue1
hasValue2
hasValueComplement
intersectionOf
inverseOf
Located is a transitive property of SUMO
maxCardinalityQ1
maxCardinalityQ2
maxCardinalityQ3
maxCardToHasClassQ
maxCardToMaxCardQ
minCardinalityQ1
minCardinalityQ2
minCardToHasClassQ
minCardToMinCardQ
noItemsInNil
noPropValPairForObj
noRestInNil
Nothing
oneOf1
oneOf2
oneOf3
Partial Ordering Relation is subclass of TransitiveRelation
Property
range
sameClassAs1
sameClassAs2
samePropertyAs1
samePropertyAs2
Subclass Instantiation
subPropertyOf
Thing
toClass1
toClass2
TransitiveProperty
unambigToEquiv
unionOf1
unionOf2
uniqToEquiv

Copyright 2009 Inference Web group.
All Rights Reserved.