Celebrity
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22170-22171 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4590-4590 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22169-22169 | 例 名人 and SocialRole |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22530-22530 | 子屬性 政治人物 and 名人 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22553-22553 | 子屬性 宗教人物 and 名人 |
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 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22173-22182 |