TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11957-11958
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11961-11961	The number 1 argument of connected is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11962-11962	The number 2 argument of connected is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11956-11956	connected is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11955-11955	connected is an instance of transitive relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11959-11959
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11960-11960

antecedent

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

Mid-level-ontology.kif 11966-11976

If a a kind of body part is connected to a another kind of body part and healthy is an attribute of an object,
then there exist a kind of body partI and another kind of body partI such that the kind of body partI is an instance of the kind of body part and the other kind of body partI is an instance of the other kind of body part and the kind of body partI is a part of the object and the other kind of body partI is a part of the object and the kind of body partI is connected to the other kind of body partI

consequent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 561-574	If a kind of body part is an instance of cervical vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of cervical vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 505-517	If a kind of body part is an instance of costae spuriae and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there doesn't exist another kind of body part such that another kind of body part is an instance of sternum and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 601-614	If a kind of body part is an instance of lumbar vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of lumbar vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 669-682	If a kind of body part is an instance of thoracic vertebra bone and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of thoracic vertebra bone and the other kind of body part is not equal to the kind of body part and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 492-503	If a kind of body part is an instance of costae verae and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object, then there exists another kind of body part such that another kind of body part is an instance of sternum and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1741-1743	If the insertion point of a kind of body part is another kind of body part, then a a kind of body part is connected to a another kind of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1691-1693	If the origin of a kind of body part is another kind of body part, then a a kind of body part is connected to a another kind of body part

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12063-12063	A esophagus is connected to a stomach
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12065-12065	A intestine is connected to a rectum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12062-12062	A mouth is connected to a esophagus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12089-12089	A mouth is connected to a trachea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12090-12090	A nose is connected to a trachea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12066-12066	A rectum is connected to a anus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12064-12064	A stomach is connected to a intestine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12091-12091	A trachea is connected to a lung

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: