No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25348-25348 |
子類 Kennel and 陷阱或籠子 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4654-4654 |
子類 LivestockPen and 陷阱或籠子 |
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 |
|