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

Formal Language: 



Term 1: Term 2:

(subclass InternalChange Process) Merge.kif 12592-12592
(subclass ComputerProcess InternalChange) QoSontology.kif 153-153
(subclass TurningOffDevice InternalChange) Mid-level-ontology.kif 1065-1065
(subclass TurningOnDevice InternalChange) Mid-level-ontology.kif 1089-1089
(subclass BiologicalProcess InternalChange) Merge.kif 10132-10132
(subclass QuantityChange InternalChange) Merge.kif 10872-10872
(subclass GeologicalProcess InternalChange) Merge.kif 11190-11190
(subclass Damaging InternalChange) Merge.kif 12270-12270
(subclass ChemicalProcess InternalChange) Merge.kif 12503-12503
(subclass SurfaceChange InternalChange) Merge.kif 12612-12612
(subclass ShapeChange InternalChange) Merge.kif 12652-12652
(subclass Creation InternalChange) Merge.kif 12784-12784
(subclass StateChange InternalChange) Merge.kif 13752-13752
(subclass TidalProcess InternalChange) Geography.kif 4952-4952


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