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 790-790
(documentation AppleIPod ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且發售,用來播放 Recordings 的 Computer 。") ComputingBrands.kif 789-789
(documentation AppleIPod EnglishLanguage "Computer developed and sold by AppleComputerCorporation for playing Recordings") ComputingBrands.kif 787-788
(documentation AppleIPod JapaneseLanguage "ComputerRecordingsの再生目的でAppleComputerCorporationによって開発そして販売されている。") ComputingBrands.kif 791-791
(subclass AppleIPod AppleComputer) ComputingBrands.kif 785-785
(subclass AppleIPod MediaSystem) ComputingBrands.kif 786-786

appearance as argument number 2

(subclass AppleIPodClassic AppleIPod) ComputingBrands.kif 837-837
(subclass AppleIPodNano AppleIPod) ComputingBrands.kif 811-811
(subclass AppleIPodShuffle AppleIPod) ComputingBrands.kif 824-824
(subclass AppleIPodTouch AppleIPod) ComputingBrands.kif 798-798
(termFormat ChineseLanguage AppleIPod "iPod") ComputingBrands.kif 795-795
(termFormat ChineseTraditionalLanguage AppleIPod "iPod") ComputingBrands.kif 794-794
(termFormat EnglishLanguage AppleIPod "iPod") ComputingBrands.kif 793-793
(termFormat JapaneseLanguage AppleIPod "iPod") ComputingBrands.kif 796-796


    (instance ?I AppleIPod)
    (exists (?B)
            (instance ?B IDeviceHomeButton)
            (initiallyContainsPart ?B ?I))))
ComputingBrands.kif 3123-3128

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