TreeView Knowledge Base Browser - Stepping

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Stepping

Stepping(stepping)

step, step_on, tread_on

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 483-485
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2739-2739
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 482-482	Stepping is a subclass of body motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55326-55326
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55325-55325
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55324-55324

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 501-514	If a process is an instance of ambulating and another process is a subprocess of the process and the other process is an instance of stepping and a third process is a subprocess of the process and the third process is an instance of stepping and the other processSTART is equal to the beginning of the time of existence of the other process and the third processSTART is equal to the beginning of the time of existence of the third process and the other processSTART happens before the third processSTART and the third processSTART happens before the other processSTART, then the other process is equal to the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 516-522	If a process is an instance of ambulating and another process is an instance of stepping and the other process is a subprocess of the process and an agent is an agent of the process, then the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 524-530	If a process is an instance of ambulating and another process is an instance of stepping and the other process is a subprocess of the process and an agent is an agent of the other process, then the agent is an agent of the process

consequent

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

Mid-level-ontology.kif 487-499

If a process is an instance of ambulating and a time interval is equal to the time of existence of the process,
then there exist another process and a third process such that the other process is an instance of stepping and the third process is an instance of stepping and the other process is a subprocess of the process and the third process is a subprocess of the process and the time of existence of the other process starts the time interval and the time of existence of the third process finishes the time interval and the other process is not equal to the third process

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