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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIPod
AppleIPod(iPod)

appearance as argument number 1
-------------------------


(documentation AppleIPod ChineseLanguage "由 AppleComputerCorporation 开发并且发售,用来播放 Recordings 的 Computer 。") ComputingBrands.kif 796-796
(documentation AppleIPod ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且發售,用來播放 Recordings 的 Computer 。") ComputingBrands.kif 795-795
(documentation AppleIPod EnglishLanguage "Computer developed and sold by AppleComputerCorporation for playing Recordings") ComputingBrands.kif 793-794
(documentation AppleIPod JapaneseLanguage "ComputerRecordingsの再生目的でAppleComputerCorporationによって開発そして販売されている。") ComputingBrands.kif 797-797
(subclass AppleIPod AppleComputer) ComputingBrands.kif 791-791 IPodAppleComputersubclass
(subclass AppleIPod MediaSystem) ComputingBrands.kif 792-792 IPodMediaSystemsubclass

appearance as argument number 2
-------------------------


(subclass AppleIPodClassic AppleIPod) ComputingBrands.kif 843-843 IPod classiciPodsubclass
(subclass AppleIPodNano AppleIPod) ComputingBrands.kif 817-817 IPod nanoiPodsubclass
(subclass AppleIPodShuffle AppleIPod) ComputingBrands.kif 830-830 IPod shuffleiPodsubclass
(subclass AppleIPodTouch AppleIPod) ComputingBrands.kif 804-804 IPod touchiPodsubclass
(termFormat ChineseLanguage AppleIPod "iPod") ComputingBrands.kif 801-801
(termFormat ChineseTraditionalLanguage AppleIPod "iPod") ComputingBrands.kif 800-800
(termFormat EnglishLanguage AppleIPod "iPod") ComputingBrands.kif 799-799
(termFormat JapaneseLanguage AppleIPod "iPod") ComputingBrands.kif 802-802

antecedent
-------------------------


(=>
    (instance ?I AppleIPod)
    (exists (?B)
        (and
            (instance ?B IDeviceHomeButton)
            (initiallyContainsPart ?B ?I))))
ComputingBrands.kif 3135-3140


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



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