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

Formal Language: 



Term 1: Term 2:

(subclass ReligiousBuilding Building) Mid-level-ontology.kif 7904-7904 ReligiousBuilding建物subclass では %n
(subclass ReligiousBuilding PlaceOfWorship) Mid-level-ontology.kif 7905-7905 ReligiousBuildingPlaceOfWorshipsubclass では %n
(subclass ChurchBuilding ReligiousBuilding) People.kif 822-822 ChurchBuildingReligiousBuildingsubclass では %n
(subclass Chapel ReligiousBuilding) People.kif 1129-1129 ChapelReligiousBuildingsubclass では %n
(subclass Mosque ReligiousBuilding) People.kif 1334-1334 MosqueReligiousBuildingsubclass では %n
(subclass Synagogue ReligiousBuilding) People.kif 1435-1435 SynagogueReligiousBuildingsubclass では %n


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