No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7984-7984 | ReligiousService est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7985-7985 | ReligiousService est une sous-classe de Demonstrating |
No TPTP formula. May not be expressible in strict first order. | People.kif 779-779 | ChristianService est une sous-classe de ReligiousService |
![]() |