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 initiallyContainsPart IDeviceHomeButton and AppleIPad
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3150-3150 initiallyContainsPart IDeviceHomeButton and AppleIPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3152-3152 initiallyContainsPart IDeviceHomeButton and AppleIPod
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3135-3135 IDeviceHomeButton e' uma sub-classe de SwitchDevice

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