No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7985-7985 | ReligiousService e' uma sub-classe de Processo Religioso |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7986-7986 | ReligiousService e' uma sub-classe de Demonstrating |
No TPTP formula. May not be expressible in strict first order. | People.kif 779-779 | ChristianService e' uma sub-classe de ReligiousService |