Steps - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Steps

Steps(steps)

ramp, staircase, stairs, stairway, steps

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15088-15089
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15087-15087	Steps is a subclass of stationary artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55332-55332
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55331-55331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55330-55330

antecedent

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

Mid-level-ontology.kif 15091-15095

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

consequent

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

Mid-level-ontology.kif 15097-15107

If an object is an instance of building level and another object is an instance of building level and a third object is an instance of building and the object is a part of the third object and the other object is a part of the third object,
then there exists a fourth object such that the fourth object is an instance of steps and the fourth object connects the object and the other object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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