No TPTP formula. May not be expressible in strict first order.	arteries.kif 1374-1374	connectedBodyPartTypes DorsalPancreaticArtery, SplenicArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1890-1890	connectedBodyPartTypes DorsalisPedisArtery, AnteriorTibialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1475-1475	connectedBodyPartTypes EDescendingVasaRectaArtery, fferentArteriole and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1470-1470	connectedBodyPartTypes EfferentArteriole, InterlobularArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1252-1252	connectedBodyPartTypes EsophagealArtery, ThoracicAorta and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 424-424	connectedBodyPartTypes ExternalCarotidArtery, AscendingPharyngealArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 436-436	connectedBodyPartTypes ExternalCarotidArtery, FacialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 430-430	connectedBodyPartTypes ExternalCarotidArtery, LingualArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 523-523	connectedBodyPartTypes ExternalCarotidArtery, MaxillaryArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 506-506	connectedBodyPartTypes ExternalCarotidArtery, OccipitalArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 513-513	connectedBodyPartTypes ExternalCarotidArtery, PosteriorAuricularArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 709-709	connectedBodyPartTypes ExternalCarotidArtery, SuperficialTemporalArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 394-394	connectedBodyPartTypes ExternalCarotidArtery, SuperiorThyroidArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1733-1733	connectedBodyPartTypes ExternalIliacArtery, CommonIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 500-500	connectedBodyPartTypes FacialArtery, AngularArteryTerminalBranch and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 446-446	connectedBodyPartTypes FacialArtery, AscendingPalatineArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 471-471	connectedBodyPartTypes FacialArtery, GlandularBranchArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 479-479	connectedBodyPartTypes FacialArtery, InferiorLabialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 493-493	connectedBodyPartTypes FacialArtery, LateralNasalBranchArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 456-456	connectedBodyPartTypes FacialArtery, SubmentalArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 486-486	connectedBodyPartTypes FacialArtery, SuperiorLabialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 451-451	connectedBodyPartTypes FacialArtery, TonsillarBranchArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1748-1748	connectedBodyPartTypes FemoralArtery, ExternalIliacArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1900-1900	connectedBodyPartTypes FibularArtery, PosteriorTibialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1117-1117	connectedBodyPartTypes FirstDorsalMetacarpalArtery, RadialArtery 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