Jaw - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1659-1661
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1658-1658	Jaw is a subclass of body part

appearance as argument number 2

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

Anatomy.kif 1662-1662

antecedent

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

Anatomy.kif 1664-1676

If a process is an instance of speaking and an object is an instance of jaw and an agent is an agent of the process and the object is a part of the agent,
then the statement there exists an entity such that the entity is an instance of body motion and the object transferred in the entity is the object and the time of existence of the entity takes place during the time of existence of the process has the modal force of likely