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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HomeScreen

Sigma KEE - HomeScreen
HomeScreen(home screen)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3149-3149
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3148-3148
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3145-3147
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3150-3151
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3144-3144 Home screen is a subclass of ComputerDesktopImage

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3155-3155
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3154-3154
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3153-3153
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3156-3156

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3197-3211


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