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

Formal Language: 



Term 1: Term 2:

(subclass LiquidMotion Motion) Merge.kif 11242-11242
(subclass Dripping LiquidMotion) Mid-level-ontology.kif 17523-17523
(subclass Stirring LiquidMotion) Mid-level-ontology.kif 17527-17527
(subclass Pouring LiquidMotion) Mid-level-ontology.kif 17532-17532
(subclass WaterWave LiquidMotion) Mid-level-ontology.kif 17550-17550
(subclass Flooding LiquidMotion) Mid-level-ontology.kif 17579-17579
(subclass Spraying LiquidMotion) Mid-level-ontology.kif 17601-17601
(subclass Bleeding LiquidMotion) Mid-level-ontology.kif 21377-21377
(subclass WaterMotion LiquidMotion) Merge.kif 11254-11254
(subclass BloodCirculation LiquidMotion) Medicine.kif 484-484
(subclass CoffeeMaking LiquidMotion) Food.kif 651-651
(subclass Perspiring LiquidMotion) emotion.kif 1480-1480
(subclass Weeping LiquidMotion) emotion.kif 1600-1600
(subclass BleedingAir LiquidMotion) Cars.kif 1512-1512
(subclass Cavitating LiquidMotion) Cars.kif 1741-1741


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