LongAndThin(long and thin) more pictures... |
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 | Long and thin is an instance of shape attribute |
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 |
|