Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PositionalAttribute
PositionalAttribute(positional attribute)aback, abaxial, abaxially, abeam, aborad, above-mentioned, above-named, abroad, accumbent, acentric, adaxially, admit, adrenal, adrift, afield, afloat, aground, aim, alee, aloft, ambient, amidship, amidships, anaclinal, anteriorly, anticlinal, anticlockwise, antipodal, antipodal_opposition, ascendant, ascendent, ascensive, asea, ashore, aslant, aslope, atilt, attitude, aweigh, axial, axially, backswept, based, basilar, basilary, beard, bearing, beetle, beetling, bellied...

appearance as argument number 1
-------------------------


(subclass PositionalAttribute RelationalAttribute) Merge.kif 17349-17349 Positional attribute is a subclass of relational attribute
(documentation PositionalAttribute EnglishLanguage "Attributes characterizing the orientation of an Object, e.g. Vertical versus Horizontal, Left versus Right etc.") Merge.kif 17350-17352 Positional attribute is a subclass of relational attribute

appearance as argument number 2
-------------------------


(subclass DirectionalAttribute PositionalAttribute) Merge.kif 17354-17354 Directional attribute is a subclass of positional attribute
(instance Vertical PositionalAttribute) Merge.kif 17386-17386 Vertical to is an instance of positional attribute
(instance Horizontal PositionalAttribute) Merge.kif 17394-17394 Horizontal to is an instance of positional attribute
(subclass SymmetricPositionalAttribute PositionalAttribute) Merge.kif 17403-17403 Symmetric positional attribute is a subclass of positional attribute
(subclass AntiSymmetricPositionalAttribute PositionalAttribute) Merge.kif 17414-17414 Anti_symmetric positional attribute is a subclass of positional attribute
(instance Above PositionalAttribute) Merge.kif 17425-17425 Above is an instance of positional attribute
(instance Below PositionalAttribute) Merge.kif 17438-17438 Below is an instance of positional attribute
(instance Left PositionalAttribute) Merge.kif 17463-17463 Left of is an instance of positional attribute
(instance Right PositionalAttribute) Merge.kif 17470-17470 Right of is an instance of positional attribute
(instance RightAngle PositionalAttribute) Mid-level-ontology.kif 5624-5624 At a right angle to is an instance of positional attribute
(instance Inside PositionalAttribute) Mid-level-ontology.kif 10456-10456 Inside the is an instance of positional attribute
(instance Outside PositionalAttribute) Mid-level-ontology.kif 10478-10478 Outside of is an instance of positional attribute
(instance Upstairs PositionalAttribute) Mid-level-ontology.kif 21153-21153 Upstairs from is an instance of positional attribute
(instance Downstairs PositionalAttribute) Mid-level-ontology.kif 21170-21170 Downstairs from is an instance of positional attribute
(instance Surrounded PositionalAttribute) Mid-level-ontology.kif 28575-28575 Surrounded by is an instance of positional attribute
(instance Upstream PositionalAttribute) Mid-level-ontology.kif 32371-32371 Upstream from is an instance of positional attribute
(instance Downstream PositionalAttribute) Mid-level-ontology.kif 32372-32372 Downstream from is an instance of positional attribute
(instance Upwind PositionalAttribute) Mid-level-ontology.kif 32398-32398 Upwind from is an instance of positional attribute
(instance Downwind PositionalAttribute) Mid-level-ontology.kif 32416-32416 Downwind from is an instance of positional attribute
(subclass RotationalAttribute PositionalAttribute) Cars.kif 4836-4836 Rotational attribute is a subclass of positional attribute
(instance Uphill PositionalAttribute) Geography.kif 3148-3148 Uphill from is an instance of positional attribute
(instance Downhill PositionalAttribute) Geography.kif 3154-3154 Downhill from is an instance of positional attribute
(termFormat EnglishLanguage PositionalAttribute "positional attribute") english_format.kif 1697-1697 Downhill from is an instance of positional attribute

appearance as argument number 3
-------------------------


(domain orientation 3 PositionalAttribute) Merge.kif 17268-17268 The number 3 argument of orientation is an instance of positional attribute
(domain direction 2 PositionalAttribute) Merge.kif 17293-17293 The number 2 argument of direction is an instance of positional attribute
(domain oppositeDirection 1 PositionalAttribute) Mid-level-ontology.kif 20060-20060 The number 1 argument of opposite direction is an instance of positional attribute
(domain oppositeDirection 2 PositionalAttribute) Mid-level-ontology.kif 20061-20061 The number 2 argument of opposite direction is an instance of positional attribute

antecedent
-------------------------


(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?DIR)
        (instance ?DIR PositionalAttribute)
        (oppositeDirection ?DIR ?OPPDIR))
    (orientation ?OBJ2 ?OBJ1 ?OPPDIR))		 Mid-level-ontology.kif 20070-20075 If X is Y to Z, Y is an instance of positional attribute, and W is an opposite direction of Y, then Z is W to X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners