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

Formal Language: 



Term 1: Term 2:

(subclass HoleRegion Region) Merge.kif 9873-9873
(subclass GolfHole HoleRegion) Sports.kif 959-959
(subclass Glottis HoleRegion) Mid-level-ontology.kif 6141-6141
(subclass BodyOrifice HoleRegion) Mid-level-ontology.kif 12046-12046
(subclass Pupil HoleRegion) Mid-level-ontology.kif 12120-12120
(subclass Cave HoleRegion) Geography.kif 6012-6012
(subclass Burrow HoleRegion) Geography.kif 6027-6027
(subclass ATMSlot HoleRegion) FinancialOntology.kif 3659-3659
(subclass InternalCombustionChamber HoleRegion) Cars.kif 311-311
(subclass Crankcase HoleRegion) Cars.kif 324-324


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