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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BaptistChurch
BaptistChurch

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


No TPTP formula. May not be expressible in strict first order. People.kif 852-852
No TPTP formula. May not be expressible in strict first order. People.kif 851-851 BaptistChurch e' uma sub-classe de Church

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


No TPTP formula. May not be expressible in strict first order. People.kif 879-879 BaptistUnionOfGB e' uma sub-classe de BaptistChurch
No TPTP formula. May not be expressible in strict first order. People.kif 854-854 BaptistUnionOfIreland e' uma sub-classe de BaptistChurch
No TPTP formula. May not be expressible in strict first order. People.kif 858-858 BaptistUnionOfScotland e' uma sub-classe de BaptistChurch
No TPTP formula. May not be expressible in strict first order. People.kif 862-862 BaptistUnionOfWales e' uma sub-classe de BaptistChurch
No TPTP formula. May not be expressible in strict first order. People.kif 883-883 Baptistsamfundet e' uma sub-classe de BaptistChurch
No TPTP formula. May not be expressible in strict first order. People.kif 887-887 DetNorskeBaptistsamfunn e' uma sub-classe de BaptistChurch
No TPTP formula. May not be expressible in strict first order. People.kif 866-866 GospelStandardStrictBaptistChurch e' uma sub-classe de BaptistChurch
No TPTP formula. May not be expressible in strict first order. People.kif 871-871 GraceBaptistAssembly e' uma sub-classe de BaptistChurch
No TPTP formula. May not be expressible in strict first order. People.kif 875-875 OldBaptistUnionChurch e' uma sub-classe de BaptistChurch
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64513-64513


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