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 16733-16734
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10874-10874
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9992-9992
No TPTP formula. May not be expressible in strict first order. Merge.kif 16732-16732 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 16754-16754 East is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16743-16743 North is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3570-3570 Northeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3604-3604 Northwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16747-16747 South is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3581-3581 Southeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 3592-3592 Southwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16757-16757 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

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 6581-6581 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 16687-16687 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 3692-3692 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 1691-1691 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 16736-16741
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 3517-3537
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17559-17593
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 2223-2228
No TPTP formula. May not be expressible in strict first order. Merge.kif 11140-11151


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