No TPTP formula. May not be expressible in strict first order.	arteries.kif 533-533	connectedBodyPartTypes MaxillaryArtery, DeepAuricularArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 632-632	connectedBodyPartTypes MaxillaryArtery, DeepTemporalArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 660-660	connectedBodyPartTypes MaxillaryArtery, DescendingPalatineArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 584-584	connectedBodyPartTypes MaxillaryArtery, InferiorAlveolarArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 673-673	connectedBodyPartTypes MaxillaryArtery, InfraorbitalArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 622-622	connectedBodyPartTypes MaxillaryArtery, MassetericArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 545-545	connectedBodyPartTypes MaxillaryArtery, MiddleMeningealArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 698-698	connectedBodyPartTypes MaxillaryArtery, PharyngealArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 683-683	connectedBodyPartTypes MaxillaryArtery, PosteriorSuperiorAlveolarArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 627-627	connectedBodyPartTypes MaxillaryArtery, PterygoidBranchArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 647-647	connectedBodyPartTypes MaxillaryArtery, SphenopalatineArteryTerminalBranch and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1045-1045	connectedBodyPartTypes MedialCollateralArtery, ProfundaBrachiiArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1798-1798	connectedBodyPartTypes MedialFemoralCircumflexArtery, DeepFemoralArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1965-1965	connectedBodyPartTypes MedialInferiorGenicularArtery, PoplitealArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1915-1915	connectedBodyPartTypes MedialPlantarArtery, PosteriorTibialArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1930-1930	connectedBodyPartTypes MedialSuperiorGenicularArtery, PoplitealArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 843-843	connectedBodyPartTypes MediastinalBranchArtery, InternalThoracicArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1254-1254	connectedBodyPartTypes MediastinalBranchArtery, ThoracicAorta and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 772-772	connectedBodyPartTypes MeningealBranchOfVertebralArtery, VertebralArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 361-361	connectedBodyPartTypes MiddleCerebralArtery, AnterolateralCentralArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1408-1408	connectedBodyPartTypes MiddleColicArtery, SuperiorMesentericArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1960-1960	connectedBodyPartTypes MiddleGenicularArtery, PoplitealArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 552-552	connectedBodyPartTypes MiddleMeningealArtery, OphthalmicArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 571-571	connectedBodyPartTypes MiddleMeningealArtery, OrbitalBranchArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 566-566	connectedBodyPartTypes MiddleMeningealArtery, SuperficialPetrosalBranchArtery 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