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 16937-16941 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16934-16934 | O argumento numero 1 de orientation e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16935-16935 | O argumento numero 2 de orientation e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16936-16936 | O argumento numero 3 de orientation e' uma instancia de Atributo Posicional |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16932-16932 | orientation e' uma instancia de Relacao Espacial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16933-16933 | orientation e' uma instancia de Predicado Ternario |
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 9118-9121 | Objeto e' Outside em relacao a Objeto Objeto e' parcialmente localizado em Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17125-17129 | Objeto e' Adjacent em relacao a Objeto Objeto e' Near em relacao a Objeto Objeto e' conectado com Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17113-17117 | Objeto e' Below em relacao a Objeto Objeto e' On em relacao a Objeto Objeto e' Above em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17050-17052 | Objeto e' East em relacao a Objeto Objeto e' West em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17067-17069 | Objeto e' Horizontal em relacao a Objeto Objeto e' Horizontal em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17040-17042 | Objeto e' North em relacao a Objeto Objeto e' South em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3653-3657 | Objeto e' Northeast em relacao a Objeto Objeto e' North em relacao a Objeto Objeto e' East em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3688-3692 | Objeto e' Northwest em relacao a Objeto Objeto e' North em relacao a Objeto Objeto e' West em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17146-17148 | Objeto e' Right em relacao a Objeto Objeto e' Left em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3664-3668 | Objeto e' Southeast em relacao a Objeto Objeto e' South em relacao a Objeto Objeto e' East em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3676-3680 | Objeto e' Southwest em relacao a Objeto Objeto e' South em relacao a Objeto Objeto e' West em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17058-17060 | Objeto e' Vertical em relacao a Objeto Objeto e' Vertical em relacao a Objeto |
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 17026-17031 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2533-2546 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2562-2576 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17087-17091 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17076-17080 |
|
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 11374-11379 |
|
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 | courseWRTTrueNorth Objeto, Objeto and 0.0 AngularDegree(s) Objeto e' North em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3755-3757 | courseWRTTrueNorth Objeto, Objeto and 135.0 AngularDegree(s) Objeto e' Southeast em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3739-3741 | courseWRTTrueNorth Objeto, Objeto and 180.0 AngularDegree(s) Objeto e' South em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3759-3761 | courseWRTTrueNorth Objeto, Objeto and 225.0 AngularDegree(s) Objeto e' Southwest em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3743-3745 | courseWRTTrueNorth Objeto, Objeto and 270.0 AngularDegree(s) Objeto e' West em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3763-3765 | courseWRTTrueNorth Objeto, Objeto and 315.0 AngularDegree(s) Objeto e' Northwest em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3747-3749 | courseWRTTrueNorth Objeto, Objeto and 360.0 AngularDegree(s) Objeto e' North em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3751-3753 | courseWRTTrueNorth Objeto, Objeto and 45.0 AngularDegree(s) Objeto e' Northeast em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3735-3737 | courseWRTTrueNorth Objeto, Objeto and 90.0 AngularDegree(s) Objeto e' East em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17125-17129 | Objeto e' Adjacent em relacao a Objeto Objeto e' Near em relacao a Objeto Objeto e' conectado com Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17113-17117 | Objeto e' Below em relacao a Objeto Objeto e' On em relacao a Objeto Objeto e' Above em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17050-17052 | Objeto e' East em relacao a Objeto Objeto e' West em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17067-17069 | Objeto e' Horizontal em relacao a Objeto Objeto e' Horizontal em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17040-17042 | Objeto e' North em relacao a Objeto Objeto e' South em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3653-3657 | Objeto e' Northeast em relacao a Objeto Objeto e' North em relacao a Objeto Objeto e' East em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3688-3692 | Objeto e' Northwest em relacao a Objeto Objeto e' North em relacao a Objeto Objeto e' West em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17146-17148 | Objeto e' Right em relacao a Objeto Objeto e' Left em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3664-3668 | Objeto e' Southeast em relacao a Objeto Objeto e' South em relacao a Objeto Objeto e' East em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3676-3680 | Objeto e' Southwest em relacao a Objeto Objeto e' South em relacao a Objeto Objeto e' West em relacao a Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17058-17060 | Objeto e' Vertical em relacao a Objeto Objeto e' Vertical em relacao a Objeto |
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 7736-7738 | |
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 e' Southeast em relacao a NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 280-280 | Africa e' Northeast em relacao a SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 281-281 | Asia e' Northwest em relacao a Oceania |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 290-290 | CaribbeanRegion e' South em relacao a NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 289-289 | CaribbeanRegion e' North em relacao a SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 275-275 | Europe e' North em relacao a Africa |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 276-276 | Europe e' West em relacao a Asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 277-277 | Europe e' East em relacao a NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 283-283 | Europe e' Northeast em relacao a SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6966-6966 | Ireland e' West em relacao a Wales |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6965-6965 | IsleOfMan e' East em relacao a NorthernIreland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 288-288 | MiddleAmerica e' South em relacao a NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 287-287 | MiddleAmerica e' North em relacao a SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 286-286 | MiddleEastRegion e' Northeast em relacao a Africa |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 285-285 | MiddleEastRegion e' Southwest em relacao a Asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 279-279 | NorthAmerica e' East em relacao a Asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 278-278 | NorthAmerica e' North em relacao a SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6954-6954 | NorthernIreland e' Northwest em relacao a England |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6953-6953 | NorthernIreland e' Southwest em relacao a Scotland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6963-6963 | NorthernIreland e' Northwest em relacao a Wales |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 284-284 | Oceania e' Southwest em relacao a NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6951-6951 | Scotland e' North em relacao a England |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6964-6964 | Scotland e' North em relacao a Wales |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6961-6961 | Wales e' West em relacao a England |