Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - AppleIPod

appearance as argument number 1

(documentation AppleIPod ChineseLanguage "由 AppleComputerCorporation 开发并且发售,用来播放 Recordings 的 Computer 。") ComputingBrands.kif 821-821
(documentation AppleIPod ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且發售,用來播放 Recordings 的 Computer 。") ComputingBrands.kif 820-820
(documentation AppleIPod EnglishLanguage "Computer developed and sold by AppleComputerCorporation for playing Recordings") ComputingBrands.kif 818-819
(documentation AppleIPod JapaneseLanguage "ComputerRecordingsの再生目的でAppleComputerCorporationによって開発そして販売されている。") ComputingBrands.kif 822-822
(subclass AppleIPod AppleComputer) ComputingBrands.kif 816-816 IPod is a subclass of Apple Computer
(subclass AppleIPod MediaSystem) ComputingBrands.kif 817-817 IPod is a subclass of media system

appearance as argument number 2

(initiallyContainsPart IDeviceHomeButton AppleIPod) ComputingBrands.kif 3152-3152 Instance of home button are always initially part of instances of iPod
(subclass AppleIPodClassic AppleIPod) ComputingBrands.kif 868-868 IPod classic is a subclass of iPod
(subclass AppleIPodNano AppleIPod) ComputingBrands.kif 842-842 IPod nano is a subclass of iPod
(subclass AppleIPodShuffle AppleIPod) ComputingBrands.kif 855-855 IPod shuffle is a subclass of iPod
(subclass AppleIPodTouch AppleIPod) ComputingBrands.kif 829-829 IPod touch is a subclass of iPod
(termFormat ChineseLanguage AppleIPod "iPod") ComputingBrands.kif 826-826
(termFormat ChineseTraditionalLanguage AppleIPod "iPod") ComputingBrands.kif 825-825
(termFormat EnglishLanguage AppleIPod "iPod") ComputingBrands.kif 824-824
(termFormat JapaneseLanguage AppleIPod "iPod") ComputingBrands.kif 827-827

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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