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

Formal Language: 



Term 1: Term 2:

(subclass Government GovernmentOrganization) Merge.kif 16434-16434 Government is a subclass of government organization
(subclass Government LegalAgent) Merge.kif 16437-16437 Government is a subclass of LegalAgent
(subclass StateGovernment Government) Mid-level-ontology.kif 7929-7929 State government is a subclass of government
(subclass CityGovernment Government) Mid-level-ontology.kif 7937-7937 City government is a subclass of government
(subclass NationalGovernment Government) Government.kif 103-103 National government is a subclass of government
(subclass FederalHousingAdministration Government) FinancialOntology.kif 1549-1549 Federal housing administration is a subclass of government


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