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 | 例 又長又瘦 and ShapeAttribute |
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 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4295-4307 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4309-4322 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17904-17914 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2803-2816 |
|
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 4134-4136 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9580-9584 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4283-4293 | |
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 17965-17967 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17916-17925 |