TreeView Knowledge Base Browser - ComputerDesktopImage

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ComputerDesktopImage

Sigma KEE - ComputerDesktopImage

ComputerDesktopImage(computer desktop image)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3162-3163
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3159-3160
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3155-3157
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3164-3165
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3154-3154	Computer desktop image is a subclass of image

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3176-3176	Home screen is a subclass of computer desktop image
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64670-64670

antecedent

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

ComputingBrands.kif 3167-3174

If a physical is an instance of computer desktop image,
then the physical has the purpose the physical includes a reference to an entity and the entity is an instance of digital data or the entity is an instance of computer program

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