No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15200-15200 |
Rear window is a subclass of vehicle window |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3453-3453 |
Windshield is a subclass of vehicle window |
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 |
|