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

Formal Language: 



Term 1: Term 2:

(subclass AppleMacOS OperatingSystem) ComputingBrands.kif 209-209 AppleMacOS est une sous-classe de OperatingSystem
(subclass AppleMacOSSystem1 AppleMacOS) ComputingBrands.kif 210-210 AppleMacOSSystem1 est une sous-classe de AppleMacOS
(subclass AppleMacOSSystem2 AppleMacOS) ComputingBrands.kif 211-211 AppleMacOSSystem2 est une sous-classe de AppleMacOS
(subclass AppleMacOSSystem3 AppleMacOS) ComputingBrands.kif 212-212 AppleMacOSSystem3 est une sous-classe de AppleMacOS
(subclass AppleMacOSSystem4 AppleMacOS) ComputingBrands.kif 213-213 AppleMacOSSystem4 est une sous-classe de AppleMacOS
(subclass AppleMacOSSystem5 AppleMacOS) ComputingBrands.kif 215-215 AppleMacOSSystem5 est une sous-classe de AppleMacOS
(subclass AppleMacOSSystem6 AppleMacOS) ComputingBrands.kif 222-222 AppleMacOSSystem6 est une sous-classe de AppleMacOS
(subclass AppleMacOSSystem7 AppleMacOS) ComputingBrands.kif 228-228 AppleMacOSSystem7 est une sous-classe de AppleMacOS
(subclass AppleMacOSSystem8 AppleMacOS) ComputingBrands.kif 238-238 AppleMacOSSystem8 est une sous-classe de AppleMacOS
(subclass AppleMacOSSystem9 AppleMacOS) ComputingBrands.kif 239-239 AppleMacOSSystem9 est une sous-classe de AppleMacOS
(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 253-253 AppleMacOSX est une sous-classe de AppleMacOS


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