LongAndThin
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2797-2799 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11375-11375 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11374-11374 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11372-11372 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11381-11381 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11377-11377 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11373-11373 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10103-10103 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11380-11380 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11378-11378 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11376-11376 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11371-11371 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2801-2801 | LongAndThin est une instance de attribut de forme |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34979-34979 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34978-34978 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34977-34977 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2622-2630 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3464-3472 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2863-2865 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 898-900 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4126-4128 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9581-9585 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4275-4285 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1262-1264 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1266-1269 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17943-17945 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17894-17903 |