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

Formal Language: 


Term 1: Term 2:

(subclass GovernmentOrganization Organization) Merge.kif 16853-16853
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 9548-9548
(subclass PublicLibrary GovernmentOrganization) Mid-level-ontology.kif 9695-9695
(subclass PublicSchool GovernmentOrganization) Mid-level-ontology.kif 18046-18046
(subclass MilitaryOrganization GovernmentOrganization) Merge.kif 16842-16842
(subclass Government GovernmentOrganization) Merge.kif 16878-16878
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16895-16895
(subclass JudicialOrganization GovernmentOrganization) Merge.kif 16899-16899
(subclass HealthDepartment GovernmentOrganization) Medicine.kif 3117-3117
(subclass GovernmentCabinet GovernmentOrganization) Government.kif 1469-1469
(subclass DiplomaticOrganization GovernmentOrganization) Government.kif 4657-4657


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