No TPTP formula. May not be expressible in strict first order.	arteries.kif 1024-1024	BrachialArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 124-124	BrachiocephalicArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1936-1936	BranchArteryToSurfaceOfTheFemurAndTheKneeJoint est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 899-899	BranchToAbdominalMusclesArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 894-894	BranchToDiaphragmArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 889-889	BranchToLowerPartOfThePericardiumArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1966-1966	BranchToPopliteusArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1931-1931	BranchToVastusMedialisArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1180-1180	BranchToVolarCarpalNetworkArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1046-1046	BranchesToTheDeltoidMuscleArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1243-1243	BronchialArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1385-1385	BuhlersAnastomoticArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 138-138	CarotidArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1291-1291	CeliacArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 791-791	CerebellarArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 339-339	CerebralArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 438-438	CervicalArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 81-81	CircumflexArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 992-992	ClavicularArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1316-1316	CommonHepaticArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1544-1544	CommonIliacArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1151-1151	CommonInterosseousArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1901-1901	CommunicatingBranchToTheAnteriorTibialArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 943-943	CostocervicalTrunkArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	arteries.kif 414-414	CricothyroidArtery est une sous-classe de Artery
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