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

Formal Language: 



Term 1: Term 2:

(subclass QuantityChange InternalChange) Merge.kif 10872-10872 QuantityChange ist eine teilkategorie von InternalChange
(subclass Focusing QuantityChange) Mid-level-ontology.kif 3343-3343 Focusing ist eine teilkategorie von QuantityChange
(subclass Increasing QuantityChange) Merge.kif 10893-10893 Increasing ist eine teilkategorie von QuantityChange
(subclass Decreasing QuantityChange) Merge.kif 10935-10935 Decreasing ist eine teilkategorie von QuantityChange


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