No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25347-25347 |
Kennel e' uma sub-classe de TrapOrCage |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4654-4654 |
LivestockPen e' uma sub-classe de TrapOrCage |
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 |
|