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

Formal Language: 



Term 1: Term 2:

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


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