LongAndThin more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2790-2792 | |
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 2794-2794 | LongAndThin e' uma instancia de Atributo de Forma |
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 2856-2858 | |
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 4111-4113 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9608-9612 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4260-4270 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1255-1257 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1259-1262 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18022-18024 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17973-17982 |