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 | 又长又瘦 是 形状属性 的 instance |
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 4287-4299 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4301-4314 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17882-17892 | |
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 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 |