meetsSpatially |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9574-9574 | 不相交的關係 空間的符合 and 在空間上重疊 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2828-2829 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9576-9578 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1570-1572 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9568-9568 | 域 空間的符合, 1 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9569-9569 | 域 空間的符合, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9573-9573 | 例 空間的符合 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9571-9571 | 例 空間的符合 and IrreflexiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9572-9572 | 例 空間的符合 and SymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9570-9570 | 相關的內部概念 空間的符合 and 連接的 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 365-365 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 368-368 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 211-211 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 179-179 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2018-2018 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 163-163 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 218-218 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 486-486 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 217-217 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 231-231 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 228-228 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 354-354 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11494-11494 | 子關係 掌握 and 空間的符合 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 366-366 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36917-36917 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36916-36916 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36915-36915 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 355-355 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6231-6244 | |
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. | MilitaryDevices.kif 1619-1630 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1632-1644 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5016-5025 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 753-763 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5246-5251 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5239-5244 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14208-14214 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1075-1082 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1758-1780 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1708-1729 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17906-17931 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 724-726 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 864-866 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6163-6165 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4078-4095 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29752-29756 | |
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. | Mid-level-ontology.kif 22018-22025 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1741-1761 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7142-7162 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9939-9947 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4287-4299 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5823-5837 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 902-915 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7497-7509 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4819-4833 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4016-4024 | |
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. | Geography.kif 6152-6161 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1651-1672 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 787-794 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1289-1293 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1280-1287 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5072-5080 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5120-5128 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5135-5143 | |
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. | CountriesAndRegions.kif 866-866 | 空間的符合 阿拉巴馬 and 密西西比州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 882-882 | 空間的符合 阿拉斯加州 and 北冰洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 880-880 | 空間的符合 阿拉斯加州 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 881-881 | 空間的符合 阿拉斯加州 and 太平洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 885-885 | 空間的符合 Arizona and 加州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 886-886 | 空間的符合 Arizona and 墨西哥 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 884-884 | 空間的符合 Arizona and Nevada |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 892-892 | 空間的符合 阿肯色州 and 路易斯安那州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 890-890 | 空間的符合 阿肯色州 and Oklahoma |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 891-891 | 空間的符合 阿肯色州 and 德州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 136-136 | 空間的符合 bassas da 印度 and 印度洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 138-138 | 空間的符合 布維島 and 南大西洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 904-904 | 空間的符合 加州 and 墨西哥 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 905-905 | 空間的符合 加州 and 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 906-906 | 空間的符合 加州 and Oregon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 903-903 | 空間的符合 加州 and 太平洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 907-907 | 空間的符合 加州 and 華盛頓 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 410-410 | 空間的符合 加拿大 and 美國 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 910-910 | 空間的符合 科羅拉多州 and Arizona |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 911-911 | 空間的符合 科羅拉多州 and 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 912-912 | 空間的符合 科羅拉多州 and 德州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 909-909 | 空間的符合 科羅拉多州 and 猶他州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 920-920 | 空間的符合 Delaware and 馬里蘭 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 919-919 | 空間的符合 Delaware and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 921-921 | 空間的符合 Delaware and 賓夕法尼亞 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |