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

Formal Language: 



Term 1: Term 2:

(subclass Water CompoundSubstance) Merge.kif 14307-14307 合成物質subclass では %n
(subclass Rain Water) Weather.kif 2963-2963 Rainsubclass では %n
(subclass Ice Water) Mid-level-ontology.kif 8976-8976 Icesubclass では %n
(subclass Steam Water) Mid-level-ontology.kif 25645-25645 Steamsubclass では %n
(subclass FreshWater Water) Geography.kif 2730-2730 FreshWatersubclass では %n
(subclass GroundWater Water) Geography.kif 2743-2743 GroundWatersubclass では %n
(subclass SeaWater Water) Geography.kif 2820-2820 SeaWatersubclass では %n
(subclass BrackishWater Water) Geography.kif 2847-2847 BrackishWatersubclass では %n
(subclass PurifiedWater Water) Food.kif 237-237 PurifiedWatersubclass では %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