TreeView Knowledge Base Browser - Screw

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Screw

Screw(screw)

Allen_screw, Phillips_screw, cap_screw, machine_screw, metal_screw, screw, setscrew, thumbscrew, woodscrew

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4190-4191
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 718-718
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4189-4189	Screw is a subclass of attaching device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51621-51621
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51620-51620
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51619-51619

consequent

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

Mid-level-ontology.kif 4198-4206

If a physical is an instance of screwdriver,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of rotating and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of screw

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