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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation16The Class of relations. There are two kinds of Relation: Predicate and Function. Predicat...^
InheritableRelation24The class of Relations whose properties can be inherited downward in the class hierarchy via the ...^
    SpatialRelation30The Class of Relations that are spatial in a wide sense. This Class includes mereological rel...^
        absoluteHeight.The height of an aircraft directly above the surface or terrain over which it is flying.^
        typicalPart1An instance of the first argument is typically found as part of an instance of the second argument....^
        typicallyContainsPart.An instance of the second argument typically contains an instance of the first argument. This is a ...^
        initialPart.Every instance of the first argument is initially found as part of an instance of the second argume...^
        initiallyContainsPart.Every instance of the second argument initially contains an instance of the first argument, even th...^
        havePartTypes.(havePartTypes ?PART_TYPE ?WHOLE_TYPE) means that every instance of ?WHOLE_TYPE has as parts an i...^
        covers.A relationship of partial or complete physical covering, which may be the result of a Covering. T...^
        beforeOnPath.(beforeOnPath ?OBJ1 ?OBJ2 ?PATH ?PROC) means that ?OBJ1 is spatially before ?OBJ2 on the path ?PATH...^
        FrontFn.A Function that maps an Object to the side that generally receives the most attention or that t...^
        BackFn.A Function that maps an Object to the side that is opposite the FrontFn of the Object. Note...^
        part13The basic mereological relation. All other mereological relations are defined in terms of this one....^
        contains.The relation of spatial containment for two separable objects. When the two objects are not separab...^
        partlyLocated2(partlyLocated ?OBJ1 ?OBJ2) means that the instance of Physical ?OBJ1 is at least partially loc...^
        between.(between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3. Note tha...^
        betweenOnPath.(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) means that ?OBJ2 is spatially located between ?OBJ1 and ?OB...^
        traverses2(traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that crosses and...^
        WhereFn.Maps an Object and a TimePoint at which the Object exists to the Region where the Object ...^
        distance1(distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ...^
        larger.(larger ?OBJ1 ?OBJ2) means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2...^
        smaller.(smaller ?OBJ1 ?OBJ2) means that ?OBJ1 is smaller, with respect to all LengthMeasures, than ?OB...^
        connected3(connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?...^
        connects1The relationship between three things, when one of the three things connects the other two. More fo...^
        MereologicalSumFn.(MereologicalSumFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to eith...^
        MereologicalProductFn.(MereologicalProductFn ?OBJ1 ?OBJ2)denotes the Object consisting of the parts which belong to b...^
        MereologicalDifferenceFn.(MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong ...^
        hole.(hole ?HOLE ?OBJ) means that ?HOLE is a Hole in ?OBJ. A Hole is a fillable body located at th...^
        partiallyFills2(partiallyFills ?OBJ ?HOLE) means that ?OBJ completelyFills some part of ?HOLE. Note that if (&...^
        orientation.A general Predicate for indicating how two Objects are oriented with respect to one another. Fo...^
        physicalAmplitude.A relation between a periodic motion and the distance between the physical extremes of the period.^
        cylinderBore.The diameter of a cylindrical Hole.^

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