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

Formal Language: 



Term 1: Term 2:

(subclass InternalChange Process) Merge.kif 12614-12614
(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 10154-10154
(subclass QuantityChange InternalChange) Merge.kif 10894-10894
(subclass GeologicalProcess InternalChange) Merge.kif 11212-11212
(subclass Damaging InternalChange) Merge.kif 12292-12292
(subclass ChemicalProcess InternalChange) Merge.kif 12525-12525
(subclass SurfaceChange InternalChange) Merge.kif 12634-12634
(subclass ShapeChange InternalChange) Merge.kif 12674-12674
(subclass Creation InternalChange) Merge.kif 12806-12806
(subclass StateChange InternalChange) Merge.kif 13774-13774
(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