TreeView Knowledge Base Browser - HomeScreen

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - HomeScreen

HomeScreen(home screen)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3181-3181
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3180-3180
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3177-3179
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3182-3183
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3176-3176	Home screen is a subclass of computer desktop image

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3187-3187
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3186-3186
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3185-3185
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3188-3188

consequent

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3231-3245

If booting up is an attribute of an engineering component holds during a physical and host ready is an attribute of the engineering component holds during the physical2 and the physical2 is equal to immediately after the time of existence of the physical and another engineering component is an instance of computer display and the other engineering component is connected to the engineering component,
then the statement there exists an entity such that the entity is an instance of home screen and the entity is displayed on the other engineering component has the modal force of likely

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