No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15228-15228 |
Rear window is a subclass of vehicle window |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3446-3446 |
Windshield is a subclass of vehicle window |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61414-61414 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61413-61413 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61412-61412 |
|