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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleStore
AppleStore

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


(documentation AppleStore ChineseLanguage "一个零售商店,在那 AppleComputer 贩卖该相关产品") ComputingBrands.kif 2089-2090
(documentation AppleStore ChineseTraditionalLanguage "一個零售商店,在那 AppleComputer 販賣該相關產品") ComputingBrands.kif 2088-2088
(documentation AppleStore EnglishLanguage "A retail store where AppleComputer sells its products") ComputingBrands.kif 2087-2087
(documentation AppleStore JapaneseLanguage "AppleComputerの小売店") ComputingBrands.kif 2091-2091
(subclass AppleStore CommercialUnit) ComputingBrands.kif 2081-2081 AppleStore est une sous-classe de CommercialUnit

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


(termFormat ChineseLanguage AppleStore "苹果商店") ComputingBrands.kif 2084-2084
(termFormat ChineseTraditionalLanguage AppleStore "蘋果商店") ComputingBrands.kif 2083-2083
(termFormat EnglishLanguage AppleStore "Apple Store") ComputingBrands.kif 2082-2082
(termFormat JapaneseLanguage AppleStore "Apple Store") ComputingBrands.kif 2085-2085

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


(=>
    (instance ?A AppleStore)
    (operator AppleComputer ?A))
ComputingBrands.kif 2093-2095


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