TreeView Knowledge Base Browser - PaintingDevice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PaintingDevice

PaintingDevice(painting device)

paintbrush, spray_gun

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3253-3254
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3252-3252	Painting device is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44046-44046
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44045-44045
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44044-44044

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3258-3260	If an object is an instance of painting device, then the object is capable of doing painting as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3262-3273	If a physical is an instance of painting device, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of substance and the other entity is an instance of covering and the fourth entity is an instance of object and the third entity is a surface of the fourth entity and the physical is an agent of the other entity and the entity is an instrument for the other entity and the third entity is a patient of the other entity

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