Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PresbyterianChurch

 Sigma KEE - PresbyterianChurch
PresbyterianChurch

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 1170-1170 PresbyterianChurch est une sous-classe de Church

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 1177-1177 AssociatedPresbyterianChurch est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1178-1178 CongregationalFederation est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1181-1181 CongregationalUnionOfIreland est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1182-1182 CongregationalUnionOfScotland est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1183-1183 DutchReformedChurch est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1174-1174 FreePresbyterianChurchOfScotland est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1173-1173 PresbyterianChurchOfIreland est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1171-1171 PresbyterianChurchOfScotland est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1172-1172 PresbyterianChurchOfWales est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1175-1175 ReformedPrebyterianChurchOfScotland est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1176-1176 UnitedFreeChurchOfScotland est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1180-1180 UnitedReformedChurch est une sous-classe de PresbyterianChurch
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65350-65350


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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