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

Formal Language: 



Term 1: Term 2:

(subclass NorthernNorthHalmaheraLanguage NorthHalmaheraLanguage) Languages.kif 13805-13805 NorthernNorthHalmaheraLanguage は NorthHalmaheraLanguage の subclass では %n
(subclass GalelaLolodaLanguage NorthernNorthHalmaheraLanguage) Languages.kif 13812-13812 GalelaLolodaLanguage は NorthernNorthHalmaheraLanguage の subclass では %n
(subclass KaoRiverLanguage NorthernNorthHalmaheraLanguage) Languages.kif 13855-13855 KaoRiverLanguage は NorthernNorthHalmaheraLanguage の subclass では %n
(subclass SahuGroupLanguage NorthernNorthHalmaheraLanguage) Languages.kif 13893-13893 SahuGroupLanguage は NorthernNorthHalmaheraLanguage の subclass では %n
(subclass TobaruLanguage NorthernNorthHalmaheraLanguage) Languages.kif 13939-13939 TobaruLanguage は NorthernNorthHalmaheraLanguage の subclass では %n
(subclass TobeloGroupLanguage NorthernNorthHalmaheraLanguage) Languages.kif 13955-13955 TobeloGroupLanguage は NorthernNorthHalmaheraLanguage の subclass では %n
(subclass WestMakianGroupLanguage NorthernNorthHalmaheraLanguage) Languages.kif 13993-13993 WestMakianGroupLanguage は NorthernNorthHalmaheraLanguage の 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