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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AndroidOS
AndroidOS(Android)

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


s__instance(s__AndroidOS,s__SetOrClass)

s__instance(s__PhoneOS,s__SetOrClass)

s__subclass(s__AndroidOS,s__PhoneOS)

ComputingBrands.kif 29-29 Android is a subclass of PhoneOS

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


s__termFormat(s__ChineseLanguage,s__AndroidOS,'"Android 作业系统"')

ComputingBrands.kif 41-41
s__termFormat(s__ChineseLanguage,s__AndroidOS,'"Android"')

ComputingBrands.kif 46-46
s__termFormat(s__ChineseTraditionalLanguage,s__AndroidOS,'"Android 操作系統"')

ComputingBrands.kif 40-40
s__termFormat(s__ChineseTraditionalLanguage,s__AndroidOS,'"Android"')

ComputingBrands.kif 45-45
s__termFormat(s__EnglishLanguage,s__AndroidOS,'"Android OS"')

ComputingBrands.kif 34-34
s__termFormat(s__EnglishLanguage,s__AndroidOS,'"Android Operating System"')

ComputingBrands.kif 39-39
s__termFormat(s__EnglishLanguage,s__AndroidOS,'"Android"')

ComputingBrands.kif 44-44
s__termFormat(s__JapaneseLanguage,s__AndroidOS,'"Android OS"')

ComputingBrands.kif 37-37
s__termFormat(s__JapaneseLanguage,s__AndroidOS,'"Android オペレーティングシステム"')

ComputingBrands.kif 42-42
s__termFormat(s__JapaneseLanguage,s__AndroidOS,'"Android"')

ComputingBrands.kif 47-47

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


( ! [V__OS] :
   ((s__instance(V__OS,s__Agent) &
       s__instance(V__OS,s__SetOrClass))
     =>
     s__subclass(V__OS,s__AndroidOS) =>
     s__creator(V__OS,s__AlphabetCorporation) )
   )

ComputingBrands.kif 30-32


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners