TreeView Knowledge Base Browser - Motionless

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Motionless

Motionless(motionless)

becalmed, fixed, frozen, inactive, inert, motionless, motionlessly, nonmoving, rigid, rooted, set, sitting, static, stationary, still, stock-still, unmoving

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30227-30228
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30226-30226	Motionless is an instance of relational attribute

appearance as argument number 2

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

domainEnglishFormat.kif 65193-65193

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30230-30241	If an agent is an instance of agent and motionless is an attribute of the agent holds during a time interval, then there doesn't exist a process such that the process is an instance of body motion and the process is an instance of intentional process and the agent is an agent of the process and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30243-30254	If an entity is not an instance of agent and motionless is an attribute of the entity holds during a time interval, then there doesn't exist a process such that the process is an instance of motion and the entity is a patient of the process and the time of existence of the process takes place during the time interval

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