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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - orientation
orientation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3786-3788
No TPTP formula. May not be expressible in strict first order. Merge.kif 16915-16919
No TPTP formula. May not be expressible in strict first order. Merge.kif 16912-16912 The number 1 argument of orientation is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 16913-16913 The number 2 argument of orientation is an instance of object
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
No TPTP formula. May not be expressible in strict first order. Merge.kif 16910-16910 orientation is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16911-16911 orientation is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 586-586
No TPTP formula. May not be expressible in strict first order. english_format.kif 590-590
No TPTP formula. May not be expressible in strict first order. french_format.kif 351-351
No TPTP formula. May not be expressible in strict first order. relations-it.txt 204-204
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2098-2098
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 303-303
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 359-359
No TPTP formula. May not be expressible in strict first order. relations-de.txt 767-767
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 242-242
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 373-373
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 389-389
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 390-390
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 587-587
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42582-42582
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42581-42581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42580-42580
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 391-391

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9119-9122 An object is outside to another object if and only if the object is not partly located in the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17103-17107 An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17091-17095 An object is below to another object if and only if the other object is on to the object or the other object is above to the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17028-17030 An object is east to another object if and only if the other object is west to the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17045-17047 An object is horizontal to another object if and only if the other object is horizontal to the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17018-17020 An object is north to another object if and only if the other object is south to the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3653-3657 An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3688-3692 An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17124-17126 An object is right to another object if and only if the other object is left to the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3664-3668 An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3676-3680 An object is southwest to another object if and only if the object is south to the other object and the object is west to the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17036-17038 An object is vertical to another object if and only if the other object is vertical to the object
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1838-1860
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1862-1884
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1799-1807
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1814-1821
No TPTP formula. May not be expressible in strict first order. Medicine.kif 44-59
No TPTP formula. May not be expressible in strict first order. Geography.kif 6126-6131
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. Weather.kif 2537-2550
No TPTP formula. May not be expressible in strict first order. Weather.kif 2566-2580
No TPTP formula. May not be expressible in strict first order. Merge.kif 17065-17069
No TPTP formula. May not be expressible in strict first order. Merge.kif 17054-17058
No TPTP formula. May not be expressible in strict first order. Geography.kif 6152-6161
No TPTP formula. May not be expressible in strict first order. Merge.kif 11352-11357

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3731-3733 An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3755-3757 An object courseWRT true north another object for 135.0 angular degree(s) if and only if the object is southeast to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3739-3741 An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3759-3761 An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3743-3745 An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3763-3765 An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3747-3749 An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3751-3753 An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3735-3737 An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17103-17107 An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17091-17095 An object is below to another object if and only if the other object is on to the object or the other object is above to the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17028-17030 An object is east to another object if and only if the other object is west to the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17045-17047 An object is horizontal to another object if and only if the other object is horizontal to the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17018-17020 An object is north to another object if and only if the other object is south to the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3653-3657 An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3688-3692 An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17124-17126 An object is right to another object if and only if the other object is left to the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3664-3668 An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3676-3680 An object is southwest to another object if and only if the object is south to the other object and the object is west to the other object
No TPTP formula. May not be expressible in strict first order. Merge.kif 17036-17038 An object is vertical to another object if and only if the other object is vertical to the object
No TPTP formula. May not be expressible in strict first order. Hotel.kif 939-944
No TPTP formula. May not be expressible in strict first order. Merge.kif 7714-7716
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2693-2704
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2665-2676
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4078-4095

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 282-282 Africa is southeast to north america
No TPTP formula. May not be expressible in strict first order. Geography.kif 280-280 Africa is northeast to south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 281-281 Asia is northwest to oceania
No TPTP formula. May not be expressible in strict first order. Geography.kif 290-290 Caribbean region is south to north america
No TPTP formula. May not be expressible in strict first order. Geography.kif 289-289 Caribbean region is north to south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 275-275 Europe is north to africa
No TPTP formula. May not be expressible in strict first order. Geography.kif 276-276 Europe is west to asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 277-277 Europe is east to north america
No TPTP formula. May not be expressible in strict first order. Geography.kif 283-283 Europe is northeast to south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 6966-6966 Ireland is west to Wales
No TPTP formula. May not be expressible in strict first order. Geography.kif 6965-6965 Isle of man is east to northern ireland
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 Middle america is south to north america
No TPTP formula. May not be expressible in strict first order. Geography.kif 287-287 Middle america is north to south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 286-286 Middle east region is northeast to africa
No TPTP formula. May not be expressible in strict first order. Geography.kif 285-285 Middle east region is southwest to asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 279-279 North america is east to asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 278-278 North america is north to south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 6954-6954 Northern ireland is northwest to England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6953-6953 Northern ireland is southwest to scotland
No TPTP formula. May not be expressible in strict first order. Geography.kif 6963-6963 Northern ireland is northwest to Wales
No TPTP formula. May not be expressible in strict first order. Geography.kif 284-284 Oceania is southwest to north america
No TPTP formula. May not be expressible in strict first order. Geography.kif 6951-6951 Scotland is north to England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6964-6964 Scotland is north to Wales
No TPTP formula. May not be expressible in strict first order. Geography.kif 6961-6961 Wales is west to England


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