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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DirectionalAttribute
DirectionalAttribute(directional attribute)
ENE, ESE, EbN, EbS, NE, NEbE, NEbN, NNE, NNW, NW, NWbN, NWbW, NbE, NbW, SE, SEbE, SEbS, SSE, SSW, SW, SWbS, SWbW, SbE, SbW, WNW, WSW, WbN, WbS, cardinal_compass_point, compass_point, direction, directional_attribute, east_by_north, east_by_south, east_northeast, east_southeast, frontage, geographic, geographical, leaning, magnetic, nor'-east, nor'-nor'-east, nor'-nor'-west, nor'-west, north-east, north-northeast, north-northwest, north-west, north_by_east...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3802-3803
No TPTP formula. May not be expressible in strict first order. Merge.kif 15663-15664
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10885-10885 "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Compass_%28PSF%29.png" is a URL depicting directional attribute
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10002-10002 "http://upload.wikimedia.org/wikipedia/commons/9/99/ Kompas_Sofia.JPG" is a URL depicting directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 15662-15662 Directional attribute is a subclass of positional attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15684-15684 East is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 15673-15673 North is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3486-3486 Northeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3520-3520 Northwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 15677-15677 South is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3497-3497 Southeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3508-3508 Southwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 15687-15687 West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1237-1237 "方向属性" is the printable form of directional attribute in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1700-1700 "directional attribute" is the printable form of directional attribute in english language

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1277-1277 The number 4 argument of AccelerationFn is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 477-477 The number 1 argument of directional subregion is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 406-406 The number 1 argument of latitude is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 444-444 The number 1 argument of longitude is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 6222-6222 The number 4 argument of velocity is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 15617-15617 The number 2 argument of faces is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 240-240 The number 3 argument of high altitude wind velocity is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 191-191 The number 3 argument of low altitude wind velocity is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3608-3608 The number 3 argument of magnetic variation is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 217-217 The number 3 argument of medium altitude wind velocity is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 1641-1641 The number 2 argument of slope gradient towards orientation is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 156-156 The number 2 argument of surface wind direction is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 96-96 The number 3 argument of surface wind velocity is an instance of directional attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15666-15671
No TPTP formula. May not be expressible in strict first order. Geography.kif 493-498
No TPTP formula. May not be expressible in strict first order. Geography.kif 500-505

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15835-15869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2721-2726
No TPTP formula. May not be expressible in strict first order. Merge.kif 10378-10389


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners