No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22530-22530 |
政治人物 是 名人 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22553-22553 |
宗教人物 是 名人 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13638-13638 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13637-13637 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13636-13636 |
|