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

Formal Language: 



Term 1: Term 2:

(subclass GovernmentOrganization Organization) Merge.kif 15539-15539
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8051-8051
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 8195-8195
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 14287-14287
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 15528-15528
(subclass Government GovernmentOrganization) Merge.kif 15558-15558
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 15575-15575
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1461-1461
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4627-4627


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