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

Formal Language: 



Term 1: Term 2:

(subclass SurfaceChange InternalChange) Merge.kif 12612-12612 Surface change is a subclass of internal change
(subclass Tracing SurfaceChange) Mid-level-ontology.kif 3310-3310 Tracing is a subclass of surface change
(subclass Drawing SurfaceChange) Mid-level-ontology.kif 3333-3333 Drawing is a subclass of surface change
(subclass Digging SurfaceChange) Mid-level-ontology.kif 18008-18008 Digging is a subclass of surface change
(subclass Tilling SurfaceChange) Mid-level-ontology.kif 18022-18022 Tilling is a subclass of surface change
(subclass Drilling SurfaceChange) Mid-level-ontology.kif 18095-18095 Drilling is a subclass of surface change
(subclass Smoothing SurfaceChange) Mid-level-ontology.kif 25215-25215 Smoothing is a subclass of surface change
(subclass Roughening SurfaceChange) Mid-level-ontology.kif 25231-25231 Roughening is a subclass of surface change
(subclass Coloring SurfaceChange) Merge.kif 12631-12631 Coloring is a subclass of surface change


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