No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15201-15201 |
后窗 是 车窗 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3453-3453 |
挡风玻璃 是 车窗 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61412-61412 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61411-61411 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61410-61410 |
|