Unpaved more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6950-6950 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8183-8183 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8184-8184 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8185-8185 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8186-8186 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8188-8188 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15087-15087 | Unpaved e' uma instancia de Atributo |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15088-15088 | Paved e' &o oposto de Unpaved |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60520-60520 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60519-60519 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60518-60518 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1496-1498 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 639-641 |