more pictures...
| 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 | 未铺砌 是 属性 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15088-15088 | 铺砌 是 未铺砌 的相反 |
| 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 |
|
|
|