surface |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2838-2840 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9702-9705 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1582-1584 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9699-9699 | Le nombre 1 argument de surface est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9700-9700 | Le nombre 2 argument de surface est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9696-9696 | surface est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9697-9697 | surface est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9698-9698 | surface est une sous-relation de superficialPart |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 373-373 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 374-374 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 215-215 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 290-290 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2021-2021 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 167-167 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 222-222 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 498-498 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 61-61 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 235-235 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 232-232 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 482-482 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 374-374 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56286-56286 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56285-56285 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2781-2786 | earthAltitude objet and mesure de longueur objet en une partie le altitude de objet est objet en une partie objet en une partie est une surface de PlanetEarth |
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. | MilitaryDevices.kif 1441-1451 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3188-3196 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21146-21176 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5002-5007 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8847-8856 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9395-9401 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1204-1209 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2302-2308 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3262-3273 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10990-10997 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 472-479 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3472-3481 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 328-333 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3991-3997 |
|