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