No TPTP formula. May not be expressible in strict first order.	arteries.kif 1320-1320	connectedBodyPartTypes CommonHepaticArtery, CeliacArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1549-1549	connectedBodyPartTypes CommonIliacArtery, AbdominalAorta and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1155-1155	connectedBodyPartTypes CommonInterosseousArtery, UlnarArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1905-1905	connectedBodyPartTypes CommunicatingBranchToTheAnteriorTibialArtery, FibularArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 948-948	connectedBodyPartTypes CostocervicalTrunkArtery, LeftSubclavianArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1339-1339	connectedBodyPartTypes CysticArtery, RightHepaticArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1646-1646	connectedBodyPartTypes DeepArteryOfClitoris, InternalPudendalArtery and FemaleHuman
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1641-1641	connectedBodyPartTypes DeepArteryOfPenis, InternalPudendalArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order.	arteries.kif 954-954	connectedBodyPartTypes DeepCervicalArtery, CostocervicalTrunkArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1743-1743	connectedBodyPartTypes DeepCircumflexIliacArtery, ExternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1768-1768	connectedBodyPartTypes DeepExternalPudendalArtery, FemoralArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1773-1773	connectedBodyPartTypes DeepFemoralArtery, FemoralArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1137-1137	connectedBodyPartTypes DeepPalmarArchArtery, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1214-1214	connectedBodyPartTypes DeepVolarArtery, UlnarArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1668-1668	connectedBodyPartTypes DeferentialArtery, InternalIliacArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1001-1001	connectedBodyPartTypes DeltoidArtery, ThoracoacromialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1840-1840	connectedBodyPartTypes DescendingGenicularArtery, FemoralArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1636-1636	connectedBodyPartTypes DorsalArteryOfClitoris, InternalPudendalArtery and FemaleHuman
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1631-1631	connectedBodyPartTypes DorsalArteryOfPenis, InternalPudendalArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1209-1209	connectedBodyPartTypes DorsalCarpalArchArtery, UlnarArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1204-1204	connectedBodyPartTypes DorsalCarpalArtery, UlnarArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1112-1112	connectedBodyPartTypes DorsalCarpalBranchOfRadialArtery, RadialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 295-295	connectedBodyPartTypes DorsalNasalArtery, DorsumOfTheNoseArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 290-290	connectedBodyPartTypes DorsalNasalArtery, ToRootOfNoseArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 285-285	connectedBodyPartTypes DorsalNasalArtery, TwigToTheUpperPartOfLacrimalSacArtery and 人类
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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