Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass BaptistChurch Church) People.kif 851-851 子類 BaptistChurch and Church
(subclass BaptistUnionOfIreland BaptistChurch) People.kif 854-854 子類 BaptistUnionOfIreland and BaptistChurch
(subclass BaptistUnionOfScotland BaptistChurch) People.kif 858-858 子類 BaptistUnionOfScotland and BaptistChurch
(subclass BaptistUnionOfWales BaptistChurch) People.kif 862-862 子類 BaptistUnionOfWales and BaptistChurch
(subclass GospelStandardStrictBaptistChurch BaptistChurch) People.kif 866-866 子類 GospelStandardStrictBaptistChurch and BaptistChurch
(subclass GraceBaptistAssembly BaptistChurch) People.kif 871-871 子類 GraceBaptistAssembly and BaptistChurch
(subclass OldBaptistUnionChurch BaptistChurch) People.kif 875-875 子類 OldBaptistUnionChurch and BaptistChurch
(subclass BaptistUnionOfGB BaptistChurch) People.kif 879-879 子類 BaptistUnionOfGB and BaptistChurch
(subclass Baptistsamfundet BaptistChurch) People.kif 883-883 子類 Baptistsamfundet and BaptistChurch
(subclass DetNorskeBaptistsamfunn BaptistChurch) People.kif 887-887 子類 DetNorskeBaptistsamfunn and BaptistChurch


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