Unpaved
|
|
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 15060-15060 | 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 15061-15061 | Paved e' &o oposto de Unpaved |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60518-60518 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60517-60517 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60516-60516 |
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 |