Unpaved(unpaved) more pictures... | 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 15059-15059 | Unpaved is an instance of attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15060-15060 | Paved is the opposite of 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 |
|