TreeView Knowledge Base Browser - Ladder

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Ladder

Ladder(ladder)

articulated_ladder, companionway, ladder, rope_ladder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15109-15110
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 547-547
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15108-15108	Ladder is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33079-33079
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33078-33078
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33077-33077

antecedent

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

Mid-level-ontology.kif 15112-15116

If an object is an instance of ladder,
then the object is capable of doing motion upward as a instrument and the object is capable of doing motion downward as a instrument

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