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

Formal Language: 



Term 1: Term 2:

(subclass AppleComputer Computer) ComputingBrands.kif 101-101 AppleComputer ist eine teilkategorie von Computer
(subclass AppleMacintoshComputer AppleComputer) ComputingBrands.kif 105-105 AppleMacintoshComputer ist eine teilkategorie von AppleComputer
(subclass AppleIPad AppleComputer) ComputingBrands.kif 613-613 AppleIPad ist eine teilkategorie von AppleComputer
(subclass AppleIPhone AppleComputer) ComputingBrands.kif 628-628 AppleIPhone ist eine teilkategorie von AppleComputer
(subclass AppleIMac AppleComputer) ComputingBrands.kif 745-745 AppleIMac ist eine teilkategorie von AppleComputer
(subclass AppleMacPro AppleComputer) ComputingBrands.kif 757-757 AppleMacPro ist eine teilkategorie von AppleComputer
(subclass AppleMacBookPro AppleComputer) ComputingBrands.kif 771-771 AppleMacBookPro ist eine teilkategorie von AppleComputer
(subclass AppleMacBookAir AppleComputer) ComputingBrands.kif 786-786 AppleMacBookAir ist eine teilkategorie von AppleComputer
(subclass AppleMacBook AppleComputer) ComputingBrands.kif 801-801 AppleMacBook ist eine teilkategorie von AppleComputer
(subclass AppleIPod AppleComputer) ComputingBrands.kif 816-816 AppleIPod ist eine teilkategorie von AppleComputer


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