KB Graph : Welcome guest : log in
Home |  ]  KB:  Language:   

Formal Language: 

Relation: subclass

TransitiveRelation109A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ...^
SymmetricRelation41A BinaryRelation ?REL is symmetric just iff (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for...^
ReflexiveRelation71Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.^
    EquivalenceRelation7A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation...^
        equal.(equal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2.^
        relatedInternalConcept.Means that the two arguments are related concepts within the SUMO, i.e. there is a significant simi...^
        identicalListItems.(identicalListItems ?LIST1 ?LIST2) means that ?LIST1 and ?LIST2 have exactly the same items in th...^
        copy.relates an Object to an exact copy of the Object, where an exact copy is indistinguishable from...^
        equivalentContentClass.A BinaryPredicate that relates two subclasses of ContentBearingPhysical. (equivalentContentCl...^
        equivalentContentInstance.A BinaryPredicate relating two instances of ContentBearingPhysical. (equivalentContentInstanc...^
        cooccur.(cooccur ?THING1 ?THING2) means that the Object or Process ?THING1 occurs at the same time as...^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners