No TPTP formula. May not be expressible in strict first order.	arteries.kif 1354-1354	connectedBodyPartTypes GastroduodenalArtery, CommonHepaticArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1487-1487	connectedBodyPartTypes GonadalArtery, AbdominalAorta and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1310-1310	connectedBodyPartTypes HepaticBranchArtery, CeliacArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1423-1423	connectedBodyPartTypes IleocolicArtery, SuperiorMesentericArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1695-1695	connectedBodyPartTypes IliacBranchArtery, IliolumbarArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1685-1685	connectedBodyPartTypes IliolumbarArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1621-1621	connectedBodyPartTypes IncusBone, StapesBone and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 590-590	connectedBodyPartTypes InferiorAlveolarArtery, IncisorBranchArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 600-600	connectedBodyPartTypes InferiorAlveolarArtery, LingualBranchArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 595-595	connectedBodyPartTypes InferiorAlveolarArtery, MentalBranchArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 605-605	connectedBodyPartTypes InferiorAlveolarArtery, MylohyoidBranchArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1738-1738	connectedBodyPartTypes InferiorEpigastricArtery, ExternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1653-1653	connectedBodyPartTypes InferiorGlutealArtery, InternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1403-1403	connectedBodyPartTypes InferiorPancreaticoduodenalArtery, SuperiorMesentericArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1284-1284	connectedBodyPartTypes InferiorPhrenicArtery, AbdominalAorta and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1596-1596	connectedBodyPartTypes InferiorRectalArtery, InternalPudendalArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 921-921	connectedBodyPartTypes InferiorThyroidArtery, ThyrocervicalTrunkArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1067-1067	connectedBodyPartTypes InferiorUlnarCollateralArtery, BrachialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1072-1072	connectedBodyPartTypes InferiorUlnarCollateralAscendingBranchArtery, InferiorUlnarCollateralArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1077-1077	connectedBodyPartTypes InferiorUlnarCollateralDescendingBranchArtery, InferiorUlnarCollateralArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1581-1581	connectedBodyPartTypes InferiorVesicalArtery, InternalIliacArtery and MaleHuman
No TPTP formula. May not be expressible in strict first order.	arteries.kif 888-888	connectedBodyPartTypes IntercostalBranchArtery, MusculophrenicArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1449-1449	connectedBodyPartTypes InterlobarArtery, RenalArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1459-1459	connectedBodyPartTypes InterlobularArtery, ArcuateArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 348-348	connectedBodyPartTypes InternalCarotidArtery, AnteriorCerebralArtery 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