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

Formal Language: 



Term 1: Term 2:

(subclass JudicialOrganization Organization) Merge.kif 16724-16724 JudicialOrganization ist eine teilkategorie von Organization
(subclass IslamicLawCourt JudicialOrganization) Government.kif 2161-2161 IslamicLawCourt ist eine teilkategorie von JudicialOrganization
(subclass SupremeCourt JudicialOrganization) Government.kif 2171-2171 SupremeCourt ist eine teilkategorie von JudicialOrganization
(subclass AppealsCourt JudicialOrganization) Government.kif 2198-2198 AppealsCourt ist eine teilkategorie von JudicialOrganization
(subclass ConstitutionalCourt JudicialOrganization) Government.kif 2203-2203 ConstitutionalCourt ist eine teilkategorie von JudicialOrganization


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