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

Formal Language: 



Term 1: Term 2:

(subclass Decreasing QuantityChange) Merge.kif 10935-10935 Decreasing ist eine teilkategorie von QuantityChange
(subclass Atrophy Decreasing) Mid-level-ontology.kif 6442-6442 Atrophy ist eine teilkategorie von Decreasing
(subclass Decelerating Decreasing) Mid-level-ontology.kif 17167-17167 Decelerating ist eine teilkategorie von Decreasing
(subclass Shortening Decreasing) Mid-level-ontology.kif 17205-17205 Shortening ist eine teilkategorie von Decreasing
(subclass Cooling Decreasing) Merge.kif 10956-10956 Cooling ist eine teilkategorie von Decreasing
(subclass Braking Decreasing) Cars.kif 1247-1247 Braking ist eine teilkategorie von Decreasing


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