No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22530-22530 |
PoliticalFigure est un sous-attribut de Celebrity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22553-22553 |
ReligiousFigure est un sous-attribut de Celebrity |
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 |
|