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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
BinaryRelation1311BinaryRelations are relations that are true only of pairs of things. BinaryRelations are repres...^
    IntransitiveRelation13A BinaryRelation ?REL is intransitive only if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply...^
        immediateInstance.An object is an immediateInstance of a Class if it is an instance of the Class and it is no...^
        inverse.The inverse of a BinaryRelation is a Relation in which all the tuples of the original Relatio...^
        immediateSubclass.A Class ?CLASS1 is an immediateSubclass of another Class ?CLASS2 just in case ?CLASS1 is a su...^
        member4A specialized common sense notion of part for uniform parts of Collections. For example, each she...^
        penetrates.(penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimensio...^
        meetsTemporally.(meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTE...^
        parent2The general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biologica...^

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