meetsSpatially |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9574-9574 | meetsSpatially et overlapsSpatially sont 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 | Le nombre 1 argument de meetsSpatially est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9569-9569 | Le nombre 2 argument de meetsSpatially est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9573-9573 | meetsSpatially est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9571-9571 | meetsSpatially est une instance de relation irr�flexive |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9572-9572 | meetsSpatially est une instance de relation sym�trique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9570-9570 | meetsSpatially est reli� � l'int�rieur de SUMO � connected |
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 | grasps est une sous-relation de meetsSpatially |
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 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 866-866 | Alabama rencontre Mississippi |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 882-882 | Alaska rencontre ArcticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 880-880 | Alaska rencontre Canada |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 881-881 | Alaska rencontre PacificOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 885-885 | Arizona rencontre California |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 886-886 | Arizona rencontre Mexico |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 884-884 | Arizona rencontre Nevada |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 892-892 | Arkansas rencontre Louisiana |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 890-890 | Arkansas rencontre Oklahoma |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 891-891 | Arkansas rencontre Texas |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 136-136 | BassasDaIndia rencontre IndianOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 138-138 | BouvetIsland rencontre SouthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 904-904 | California rencontre Mexico |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 905-905 | California rencontre NewMexico |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 906-906 | California rencontre Oregon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 903-903 | California rencontre PacificOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 907-907 | California rencontre Washington |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 410-410 | Canada rencontre UnitedStates |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 910-910 | Colorado rencontre Arizona |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 911-911 | Colorado rencontre NewMexico |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 912-912 | Colorado rencontre Texas |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 909-909 | Colorado rencontre Utah |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 920-920 | Delaware rencontre Maryland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 919-919 | Delaware rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 921-921 | Delaware rencontre Pennsylvania |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |