connectedBodyPartTypes - Sigma Knowledge base Browser

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 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 28-28	connectedBodyPartTypes 的 2 数量是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 29-29	connectedBodyPartTypes 的 3 数量是生物的 subclass
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 24-24	connectedBodyPartTypes 是三元谓语的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	如果 connectedBodyPartTypes 有点身体部位, 另一个有点身体部位 and 有点生物和有点生物C 是那个有点生物的 instance 和疾病或综合症不是另一个客体的 attribute，然后有存在第三客体和第四客体这样那个第三客体是有点身体部位的 instance 和那个第四客体是另一个有点身体部位的 instance 和那个第三客体不 equal 那个第四客体和那个第三客体是那个有点生物C 的 part 和那个第四客体是那个有点生物C 的 part 和那个第三客体和那个第四客体是 connected
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 48-50	如果 connectedBodyPartTypes 有点身体部位, 另一个有点身体部位 and 有点生物，然后 connectedBodyPartTypes 另一个有点身体部位, 有点身体部位 and 有点生物

consequent

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

Anatomy.kif 48-50

如果 connectedBodyPartTypes 有点身体部位, 另一个有点身体部位 and 有点生物，
然后 connectedBodyPartTypes 另一个有点身体部位, 有点身体部位 and 有点生物

appearance as argument number 0

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: