No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 308-308	connectedBodyPartTypes LeftTrueRib1Bone, T1VertebraBone and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 323-323	connectedBodyPartTypes LeftTrueRib2Bone, T2VertebraBone and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 338-338	connectedBodyPartTypes LeftTrueRib3Bone, T3VertebraBone and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 353-353	connectedBodyPartTypes LeftTrueRib4Bone, T4VertebraBone and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 368-368	connectedBodyPartTypes LeftTrueRib5Bone, T5VertebraBone and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 383-383	connectedBodyPartTypes LeftTrueRib6Bone, T6VertebraBone and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 398-398	connectedBodyPartTypes LeftTrueRib7Bone, T7VertebraBone and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 714-714	connectedBodyPartTypes LeftUlna, LeftHumerus and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 715-715	connectedBodyPartTypes LeftUlna, LeftRadius and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 314-314	connectedBodyPartTypes LongPosteriorCiliaryArtery, CirculusArteriosusMajor and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 319-319	connectedBodyPartTypes LongPosteriorCiliaryArtery, CirculusArteriosusMinor and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1259-1259	connectedBodyPartTypes Lower3rdTo11thPosteriorIntercostalArtery, ThoracicAorta and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 878-878	connectedBodyPartTypes LowerBranchesOfTheSpaceAnastomosesArtery, SixAnteriorIntercostalBranchArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1505-1505	connectedBodyPartTypes LumbarArtery, AbdominalAorta and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1690-1690	connectedBodyPartTypes LumbarBranchArtery, IliolumbarArtery and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1620-1620	connectedBodyPartTypes MalleusBone, Eardrum and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1619-1619	connectedBodyPartTypes MalleusBone, IncusBone and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 134-134	connectedBodyPartTypes Mandible, LeftTemporalBone and 人类
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 135-135	connectedBodyPartTypes Mandible, RightTemporalBone and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 611-611	connectedBodyPartTypes MaxillaryArtery, AccessoryMeningealArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 539-539	connectedBodyPartTypes MaxillaryArtery, AnteriorTympanicArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 703-703	connectedBodyPartTypes MaxillaryArtery, ArteryOfPterygoidCanalArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 688-688	connectedBodyPartTypes MaxillaryArtery, BranchesToAlveolarCanalsArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 693-693	connectedBodyPartTypes MaxillaryArtery, BranchesToGingivaArtery and 人类
No TPTP formula. May not be expressible in strict first order.	arteries.kif 637-637	connectedBodyPartTypes MaxillaryArtery, BuccalArtery 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