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 |