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 e' uma sub-classe de Artery
No TPTP formula. May not be expressible in strict first order. arteries.kif 184-184 LacrimalArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 190-190 LateralPalpebralArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 196-196 ZygomaticBranchArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 202-202 RecurrentBranchArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 208-208 SupraorbitalArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 215-215 SupraorbitalSuperficialBranchArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 221-221 SupraorbitalDeepBranchArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 227-227 PosteriorEthmoidalArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 232-232 MeningealBranchArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 237-237 PosteriorNasalArteryBranch e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 243-243 AnteriorEthmoidalArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 248-248 AnteriorMeningealArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 253-253 AnteriorNasalArteryBranch e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 258-258 SuperiorPalpebralArchArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 263-263 InferiorPalpebralArchArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 269-269 SupratrochlearArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 275-275 DorsalNasalArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 281-281 TwigToTheUpperPartOfLacrimalSacArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 286-286 ToRootOfNoseArtery e' uma sub-classe de OrbitalGroupArtery
No TPTP formula. May not be expressible in strict first order. arteries.kif 291-291 DorsumOfTheNoseArtery e' uma sub-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