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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IDeviceHomeButton

 Sigma KEE - IDeviceHomeButton
IDeviceHomeButton(主页按钮)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3140-3140
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3139-3139
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3136-3138
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3141-3143
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3151-3151 主页按钮 的例子总是 iPad 的 initially part 的例子
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3150-3150 主页按钮 的例子总是 iPhone 的 initially part 的例子
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3152-3152 主页按钮 的例子总是 iPod 的 initially part 的例子
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3135-3135 主页按钮 是 开关设备 的 subclass

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3147-3147
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3146-3146
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3145-3145
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3148-3148


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