TreeView Knowledge Base Browser - connectedBodyPartTypes

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 25-26
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 27-27	The number 1 argument of connectedBodyPartTypes is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 28-28	The number 2 argument of connectedBodyPartTypes is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 29-29	The number 3 argument of connectedBodyPartTypes is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 24-24	connectedBodyPartTypes is an instance of ternary predicate

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	If connectedBodyPartTypes a kind of body part, another kind of body part and a kind of organism and a kind of organismC is an instance of the kind of organism and disease or syndrome is not an attribute of another object, then there exist a third object and a fourth object such that the third object is an instance of a kind of body part and the fourth object is an instance of another kind of body part and the third object is not equal to the fourth object and the third object is a part of the kind of organismC and the fourth object is a part of the kind of organismC and the third object is connected to the fourth object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 48-50	If connectedBodyPartTypes a kind of body part, another kind of body part and a kind of organism, then connectedBodyPartTypes another kind of body part, a kind of body part and a kind of organism

consequent

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

Anatomy.kif 48-50

If connectedBodyPartTypes a kind of body part, another kind of body part and a kind of organism,
then connectedBodyPartTypes another kind of body part, a kind of body part and a kind of organism

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	arteries.kif 1280-1280	connectedBodyPartTypes abdominal aorta, thoracic aorta and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1658-1658	connectedBodyPartTypes accompanying artery of ischiadic nerve, inferior gluteal artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 986-986	connectedBodyPartTypes acromial artery, thoracoacromial artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1465-1465	connectedBodyPartTypes afferent arteriole, interlobular artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 252-252	connectedBodyPartTypes anterior ethmoidal artery, anterior meningeal artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 257-257	connectedBodyPartTypes anterior ethmoidal artery, anterior nasal artery branch and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 267-267	connectedBodyPartTypes anterior ethmoidal artery, inferior palpebral arch artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 262-262	connectedBodyPartTypes anterior ethmoidal artery, superior palpebral arch artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1016-1016	connectedBodyPartTypes anterior humeral circumflex artery, axillary artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 820-820	connectedBodyPartTypes anterior inferior cerebellar artery, basilar artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1169-1169	connectedBodyPartTypes anterior interosseous artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 79-79	connectedBodyPartTypes anterior interventricular artery, anterior interventricular diagonal artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 73-73	connectedBodyPartTypes anterior interventricular artery, anterior interventricular septal artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1885-1885	connectedBodyPartTypes anterior lateral malleolar artery, anterior tibial artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1880-1880	connectedBodyPartTypes anterior medial malleolar artery, anterior tibial artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 795-795	connectedBodyPartTypes anterior spinal artery, vertebral artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1863-1863	connectedBodyPartTypes anterior tibial artery, popliteal artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1873-1873	connectedBodyPartTypes anterior tibial recurrent artery, anterior tibial artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1148-1148	connectedBodyPartTypes anterior ulnar recurrent artery, ulnar artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 371-371	connectedBodyPartTypes anterolateral central artery, external striate artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 366-366	connectedBodyPartTypes anterolateral central artery, internal striate artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 164-164	connectedBodyPartTypes aortic arch, left common carotid artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1454-1454	connectedBodyPartTypes arcuate artery, interlobar artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1621-1621	connectedBodyPartTypes artery of bulb of penis, internal pudendal artery and MaleHuman
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1626-1626	connectedBodyPartTypes artery of bulb of vestibule, internal pudendal artery and FemaleHuman

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: