Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. arteries.kif 180-180 OrbitalGroupArtery est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 184-184 LacrimalArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 190-190 LateralPalpebralArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 196-196 ZygomaticBranchArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 202-202 RecurrentBranchArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 208-208 SupraorbitalArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 215-215 SupraorbitalSuperficialBranchArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 221-221 SupraorbitalDeepBranchArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 227-227 PosteriorEthmoidalArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 232-232 MeningealBranchArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 237-237 PosteriorNasalArteryBranch est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 243-243 AnteriorEthmoidalArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 248-248 AnteriorMeningealArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 253-253 AnteriorNasalArteryBranch est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 258-258 SuperiorPalpebralArchArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 263-263 InferiorPalpebralArchArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 269-269 SupratrochlearArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 275-275 DorsalNasalArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 281-281 TwigToTheUpperPartOfLacrimalSacArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 286-286 ToRootOfNoseArtery est une sous-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 291-291 DorsumOfTheNoseArtery est une sous-classe de OrbitalGroupArtery


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