Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8242-8256	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 11116-11116	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 5713-5713	Scratching is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6586-6586	Swallowing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10527-10527	Muscular contraction is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10549-10549	Muscle relaxing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10594-10594	Flexion is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10618-10618	Extension is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10713-10713	Heart beat is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11550-11550	Chewing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13094-13094	Inclining is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13118-13118	Ducking is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17078-17078	Throwing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19859-19859	Lying down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19884-19884	Kneeling down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19904-19904	Sitting down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19921-19921	Standing up is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19938-19938	Eye motion is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19968-19968	Shrugging is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19979-19979	Trembling is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19998-19998	Dismounting is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11160-11160	Ambulating is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11190-11190	Swimming is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11205-11205	Dancing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13114-13114	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