|
|
  ReligiousFigure
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22553-22553 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22552-22552 | ReligiousFigure est un sous-attribut de Celebrity |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49406-49406 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49405-49405 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49404-49404 |
|
|
|