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

Formal Language: 



Term 1: Term 2:

(subclass IberoRomanceLanguage GalloIberianLanguage) Languages.kif 10016-10016 IberoRomanceLanguage は GalloIberianLanguage の subclass では %n
(subclass EastIberianLanguage IberoRomanceLanguage) Languages.kif 10022-10022 EastIberianLanguage は IberoRomanceLanguage の subclass では %n
(subclass OcLanguage IberoRomanceLanguage) Languages.kif 10073-10073 OcLanguage は IberoRomanceLanguage の subclass では %n
(subclass WestIberianLanguage IberoRomanceLanguage) Languages.kif 10198-10198 WestIberianLanguage は IberoRomanceLanguage の subclass では %n


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