Jaw - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1658-1660
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1657-1657	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 1661-1661

antecedent

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

Anatomy.kif 1663-1675

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