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

Formal Language: 



Term 1: Term 2:

(subclass HoleRegion Region) Merge.kif 9851-9851 Trou est une sous-classe de r�gion
(subclass GolfHole HoleRegion) Sports.kif 959-959 GolfHole est une sous-classe de trou
(subclass Glottis HoleRegion) Mid-level-ontology.kif 6142-6142 Glottis est une sous-classe de trou
(subclass BodyOrifice HoleRegion) Mid-level-ontology.kif 12047-12047 BodyOrifice est une sous-classe de trou
(subclass Pupil HoleRegion) Mid-level-ontology.kif 12121-12121 Pupil est une sous-classe de trou
(subclass Cave HoleRegion) Geography.kif 6012-6012 Cave est une sous-classe de trou
(subclass Burrow HoleRegion) Geography.kif 6027-6027 Burrow est une sous-classe de trou
(subclass ATMSlot HoleRegion) FinancialOntology.kif 3659-3659 ATMSlot est une sous-classe de trou
(subclass InternalCombustionChamber HoleRegion) Cars.kif 311-311 InternalCombustionChamber est une sous-classe de trou
(subclass Crankcase HoleRegion) Cars.kif 324-324 Crankcase est une sous-classe de trou


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