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	域子類 connectedBodyPartTypes, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 28-28	域子類 connectedBodyPartTypes, 2 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 29-29	域子類 connectedBodyPartTypes, 3 and Organism
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 24-24	例 connectedBodyPartTypes and TernaryPredicate

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	connectedBodyPartTypes BodyPart, BodyPart and Organism 例 OrganismC and Organism attribute Object and DiseaseOrSyndrome Object Object 例 Object and BodyPart 例 Object and BodyPart 等於 Object and Object 部分 Object and OrganismC 部分 Object and OrganismC 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 48-50	connectedBodyPartTypes BodyPart, BodyPart and Organism connectedBodyPartTypes BodyPart, BodyPart and Organism

consequent

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

Anatomy.kif 48-50

connectedBodyPartTypes BodyPart, BodyPart and Organism
connectedBodyPartTypes BodyPart, BodyPart and Organism

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	arteries.kif 1280-1280	connectedBodyPartTypes AbdominalAorta, ThoracicAorta and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1658-1658	connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve, InferiorGlutealArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 986-986	connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1465-1465	connectedBodyPartTypes AfferentArteriole, InterlobularArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 252-252	connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorMeningealArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 257-257	connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorNasalArteryBranch and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 267-267	connectedBodyPartTypes AnteriorEthmoidalArtery, InferiorPalpebralArchArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 262-262	connectedBodyPartTypes AnteriorEthmoidalArtery, SuperiorPalpebralArchArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1016-1016	connectedBodyPartTypes AnteriorHumeralCircumflexArtery, AxillaryArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 820-820	connectedBodyPartTypes AnteriorInferiorCerebellarArtery, BasilarArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1169-1169	connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 79-79	connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularDiagonalArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 73-73	connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularSeptalArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1885-1885	connectedBodyPartTypes AnteriorLateralMalleolarArtery, AnteriorTibialArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1880-1880	connectedBodyPartTypes AnteriorMedialMalleolarArtery, AnteriorTibialArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 795-795	connectedBodyPartTypes AnteriorSpinalArtery, VertebralArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1863-1863	connectedBodyPartTypes AnteriorTibialArtery, PoplitealArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1873-1873	connectedBodyPartTypes AnteriorTibialRecurrentArtery, AnteriorTibialArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1148-1148	connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 371-371	connectedBodyPartTypes AnterolateralCentralArtery, ExternalStriateArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 366-366	connectedBodyPartTypes AnterolateralCentralArtery, InternalStriateArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 164-164	connectedBodyPartTypes AorticArch, LeftCommonCarotidArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1454-1454	connectedBodyPartTypes ArcuateArtery, InterlobarArtery and Human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1621-1621	connectedBodyPartTypes ArteryOfBulbOfPenis, InternalPudendalArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1626-1626	connectedBodyPartTypes ArteryOfBulbOfVestibule, InternalPudendalArtery 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: