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

Formal Language: 



Term 1: Term 2:

(subclass GeneralElection Election) Government.kif 1706-1706 GeneralElection ist eine teilkategorie von Election
(subclass PopularElection GeneralElection) Government.kif 1712-1712 PopularElection ist eine teilkategorie von GeneralElection
(subclass ElectoralCollegeElection GeneralElection) Government.kif 1720-1720 ElectoralCollegeElection ist eine teilkategorie von GeneralElection


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