ReligiousFigure
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22554-22554 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22553-22553 | Religious figure is a subattribute of 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 |