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, 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, north_by_west...

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 17001-17002
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10864-10864
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9984-9984
No TPTP formula. May not be expressible in strict first order. Merge.kif 17000-17000 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 17022-17022 East is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17011-17011 North is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3648-3648 Northeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3682-3682 Northwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17015-17015 South is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3659-3659 Southeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3670-3670 Southwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17025-17025 West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1237-1237
No TPTP formula. May not be expressible in strict first order. english_format.kif 1695-1695
No TPTP formula. May not be expressible in strict first order. french_format.kif 915-915
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 448-448
No TPTP formula. May not be expressible in strict first order. terms-it.txt 451-451
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2599-2599
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 867-867
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 453-453
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 487-487
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 936-936
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 452-452

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 Acceleration fn 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 6671-6671 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 16955-16955 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 253-253 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 204-204 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 3770-3770 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 230-230 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 1688-1688 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 169-169 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 106-106 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 17004-17009
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. Geography.kif 3595-3615
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18150-18184
No TPTP formula. May not be expressible in strict first order. Weather.kif 627-646
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2264-2269
No TPTP formula. May not be expressible in strict first order. Merge.kif 11279-11290


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 is open source software produced by Articulate Software and its partners