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

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 12592-12592 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 153-153 Computer process is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1065-1065 Turning off device is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1089-1089 Turning on device is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 10132-10132 Biological process is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 10872-10872 Quantity change is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 11190-11190 Geological process is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 12270-12270 Damaging is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 12503-12503 Chemical process is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 12612-12612 Surface change is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 12652-12652 Shape change is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 12784-12784 Creation is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 13752-13752 State change is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Geography.kif 4952-4952 Tidal process is a subclass of internal 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