Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8243-8257	If a process is an instance of recreation or exercise and the processM is an instrument for the process and the processM is an instance of ergometer and an agent experiences the process and the processOW is an instance of rowing and the processMOT is a subprocess of the process and a class is a subclass of body motion and the processMOT is an instance of the class, then there exists the processOWMOT such that the processOWMOT is an instance of the class and the processOWMOT is a subprocess of the process and the agent is an agent of the processOWMOT
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11094-11094	Body motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 445-445	Dodging is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 465-465	Mounting is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 482-482	Stepping is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 543-543	Jumping is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 557-557	Somersaulting is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1017-1017	Indicating is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4381-4381	Crawling is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5714-5714	Scratching is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6587-6587	Swallowing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10528-10528	Muscular contraction is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10550-10550	Muscle relaxing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10595-10595	Flexion is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10619-10619	Extension is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10714-10714	Heart beat is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11551-11551	Chewing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13095-13095	Inclining is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13119-13119	Ducking is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17079-17079	Throwing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19860-19860	Lying down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19885-19885	Kneeling down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19905-19905	Sitting down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19922-19922	Standing up is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19939-19939	Eye motion is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19969-19969	Shrugging is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19980-19980	Trembling is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19999-19999	Dismounting is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11138-11138	Ambulating is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11168-11168	Swimming is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11183-11183	Dancing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13092-13092	Gesture is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 447-447	Blinking is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1358-1358	Emotional bodily movement behavior is a subclass of body motion

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