No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7513-7513 |
动物团队 是 一群动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7488-7488 |
窝 是 一群动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26808-26808 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26807-26807 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26806-26806 |
|