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

Formal Language: 



Term 1: Term 2:

(subclass HoleRegion Region) Merge.kif 9851-9851 HoleRegion地域subclass では %n
(subclass GolfHole HoleRegion) Sports.kif 959-959 GolfHoleHoleRegionsubclass では %n
(subclass Glottis HoleRegion) Mid-level-ontology.kif 6142-6142 GlottisHoleRegionsubclass では %n
(subclass BodyOrifice HoleRegion) Mid-level-ontology.kif 12047-12047 BodyOrificeHoleRegionsubclass では %n
(subclass Pupil HoleRegion) Mid-level-ontology.kif 12121-12121 PupilHoleRegionsubclass では %n
(subclass Cave HoleRegion) Geography.kif 6012-6012 CaveHoleRegionsubclass では %n
(subclass Burrow HoleRegion) Geography.kif 6027-6027 BurrowHoleRegionsubclass では %n
(subclass ATMSlot HoleRegion) FinancialOntology.kif 3659-3659 ATMSlotHoleRegionsubclass では %n
(subclass InternalCombustionChamber HoleRegion) Cars.kif 311-311 InternalCombustionChamberHoleRegionsubclass では %n
(subclass Crankcase HoleRegion) Cars.kif 324-324 CrankcaseHoleRegionsubclass では %n


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