![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7986-7988 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7985-7985 | Religious service is a subclass of demonstrating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7984-7984 | Religious service is a subclass of religious process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | People.kif 779-779 | Christian service is a subclass of religious service |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49436-49436 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49435-49435 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49434-49434 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 87-92 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 117-122 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16027-16032 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15941-15946 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 56-61 |
|
![]() |
![]() |