No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22529-22529 |
政治人物 是 名人 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22552-22552 |
宗教人物 是 名人 的 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 |
|