TreeView Knowledge Base Browser - HoistingDevice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HoistingDevice

HoistingDevice(hoisting device)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2481-2483
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1136-1136
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2480-2480	Hoisting device is a subclass of material handling equipment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28335-28335
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28334-28334
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28333-28333

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2489-2491	If an object is an instance of hoisting device, then the object is capable of doing motion downward as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2485-2487	If an object is an instance of hoisting device, then the object is capable of doing motion upward as a instrument

consequent

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

Mid-level-ontology.kif 2473-2478

If a corpuscular object is an instance of crane,
then there exists another corpuscular object such that the other corpuscular object is an instance of hoisting device and the other corpuscular object is a component of the corpuscular object

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