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

Formal Language: 



Term 1: Term 2:

(subclass AppleMacOS OperatingSystem) ComputingBrands.kif 209-209 Mac OS 是 操作系统 的 subclass
(subclass AppleMacOSSystem1 AppleMacOS) ComputingBrands.kif 210-210 AppleMacOSSystem1 是 Mac OS 的 subclass
(subclass AppleMacOSSystem2 AppleMacOS) ComputingBrands.kif 211-211 AppleMacOSSystem2 是 Mac OS 的 subclass
(subclass AppleMacOSSystem3 AppleMacOS) ComputingBrands.kif 212-212 AppleMacOSSystem3 是 Mac OS 的 subclass
(subclass AppleMacOSSystem4 AppleMacOS) ComputingBrands.kif 213-213 AppleMacOSSystem4 是 Mac OS 的 subclass
(subclass AppleMacOSSystem5 AppleMacOS) ComputingBrands.kif 215-215 AppleMacOSSystem5 是 Mac OS 的 subclass
(subclass AppleMacOSSystem6 AppleMacOS) ComputingBrands.kif 222-222 AppleMacOSSystem6 是 Mac OS 的 subclass
(subclass AppleMacOSSystem7 AppleMacOS) ComputingBrands.kif 228-228 AppleMacOSSystem7 是 Mac OS 的 subclass
(subclass AppleMacOSSystem8 AppleMacOS) ComputingBrands.kif 238-238 AppleMacOSSystem8 是 Mac OS 的 subclass
(subclass AppleMacOSSystem9 AppleMacOS) ComputingBrands.kif 239-239 AppleMacOSSystem9 是 Mac OS 的 subclass
(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 253-253 AppleMacOSX 是 Mac OS 的 subclass


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