No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25348-25348 |
Kennel is a subclass of trap or cage |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4654-4654 |
Pen is a subclass of trap or cage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59042-59042 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59041-59041 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59040-59040 |
|