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

Formal Language: 



Term 1: Term 2:

(subclass BaptistChurch Church) People.kif 851-851 BaptistChurch est une sous-classe de Church
(subclass BaptistUnionOfIreland BaptistChurch) People.kif 854-854 BaptistUnionOfIreland est une sous-classe de BaptistChurch
(subclass BaptistUnionOfScotland BaptistChurch) People.kif 858-858 BaptistUnionOfScotland est une sous-classe de BaptistChurch
(subclass BaptistUnionOfWales BaptistChurch) People.kif 862-862 BaptistUnionOfWales est une sous-classe de BaptistChurch
(subclass GospelStandardStrictBaptistChurch BaptistChurch) People.kif 866-866 GospelStandardStrictBaptistChurch est une sous-classe de BaptistChurch
(subclass GraceBaptistAssembly BaptistChurch) People.kif 871-871 GraceBaptistAssembly est une sous-classe de BaptistChurch
(subclass OldBaptistUnionChurch BaptistChurch) People.kif 875-875 OldBaptistUnionChurch est une sous-classe de BaptistChurch
(subclass BaptistUnionOfGB BaptistChurch) People.kif 879-879 BaptistUnionOfGB est une sous-classe de BaptistChurch
(subclass Baptistsamfundet BaptistChurch) People.kif 883-883 Baptistsamfundet est une sous-classe de BaptistChurch
(subclass DetNorskeBaptistsamfunn BaptistChurch) People.kif 887-887 DetNorskeBaptistsamfunn est une sous-classe de 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