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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PositionalAttribute

Sigma KEE - PositionalAttribute
PositionalAttribute(positional attribute)aback, abaxial, abaxially, abeam, aborad, above-mentioned, above-named, abroad, accumbent, acentric, adaxial, 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...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3800-3801
No TPTP formula. May not be expressible in strict first order. Merge.kif 16996-16998
No TPTP formula. May not be expressible in strict first order. Merge.kif 16995-16995 Positional attribute is a subclass of relational attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17071-17071 Above is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17084-17084 Below is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 1703-1703 Downhill is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19233-19233 Downstairs is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 5459-5459 Downstream is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 281-281 Downwind is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17040-17040 Horizontal is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9089-9089 Inside is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17109-17109 Left is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9105-9105 Outside is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17116-17116 Right is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Cars.kif 2249-2249 Right angle is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26004-26004 Surrounded is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 1697-1697 Uphill is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19216-19216 Upstairs is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 5457-5457 Upstream is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 273-273 Upwind is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17032-17032 Vertical is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17060-17060 Anti-symmetric positional attribute is a subclass of positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17000-17000 Directional attribute is a subclass of positional attribute
No TPTP formula. May not be expressible in strict first order. Cars.kif 4944-4944 Rotational attribute is a subclass of positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17049-17049 Symmetric positional attribute is a subclass of positional attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1236-1236
No TPTP formula. May not be expressible in strict first order. english_format.kif 1693-1693

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16939-16939 The number 2 argument of direction is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18126-18126 The number 1 argument of opposite direction is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18127-18127 The number 2 argument of opposite direction is an instance of positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16914-16914 The number 3 argument of orientation is an instance of positional attribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18136-18141


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

Show without tree


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