meetsSpatially |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9574-9574 | 接触 和 重叠 是 disjoint 关系 |
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 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9569-9569 | 接触 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9573-9573 | 接触 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9571-9571 | 接触 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9572-9572 | 接触 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9570-9570 | 接触 和 相连 是 内部相关 |
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 | 抓住 是 接触 的 subrelation |
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 | 阿拉巴马 接上 密西西比州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 882-882 | 阿拉斯加州 接上 北冰洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 880-880 | 阿拉斯加州 接上 加拿大 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 881-881 | 阿拉斯加州 接上 太平洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 885-885 | Arizona 接上 加州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 886-886 | Arizona 接上 墨西哥 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 884-884 | Arizona 接上 Nevada |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 892-892 | 阿肯色州 接上 路易斯安那州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 890-890 | 阿肯色州 接上 Oklahoma |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 891-891 | 阿肯色州 接上 德州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 136-136 | Bassas da 印度 接上 印度洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 138-138 | 布维岛 接上 南大西洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 904-904 | 加州 接上 墨西哥 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 905-905 | 加州 接上 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 906-906 | 加州 接上 Oregon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 903-903 | 加州 接上 太平洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 907-907 | 加州 接上 华盛顿 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 410-410 | 加拿大 接上 美国 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 910-910 | 科罗拉多州 接上 Arizona |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 911-911 | 科罗拉多州 接上 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 912-912 | 科罗拉多州 接上 德州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 909-909 | 科罗拉多州 接上 犹他州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 920-920 | Delaware 接上 马里兰 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 919-919 | Delaware 接上 北大西洋 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 921-921 | Delaware 接上 宾夕法尼亚 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |