| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1044-1045 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1043-1043 | Charismatic church is a subclass of church |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1099-1099 | Apostolic church is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1116-1116 | Apostolisk church is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1047-1047 | Assemblies of God is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1063-1063 | Church of god of prophecy is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1055-1055 | Church of the nazarene is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1091-1091 | Community church is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1104-1104 | Elim pentecostal church is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1108-1108 | FGBMFI is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1067-1067 | Fellowship of churches of Christ is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1085-1085 | House church is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1075-1075 | Jesus fellowship is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1071-1071 | New apostolic church is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1079-1079 | New frontiers international church is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1059-1059 | New testament church of god is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1095-1095 | Pentecostal church is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1120-1120 | Pinsebevegelsen is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1121-1121 | Pinsemenighet is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1112-1112 | Redeemed Christian church of god is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1051-1051 | Vineyard church is a subclass of charismatic church |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64617-64617 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners