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 12614-12614 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 10154-10154 Biological process is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 10894-10894 Quantity change is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 11212-11212 Geological process is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 12292-12292 Damaging is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 12525-12525 Chemical process is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 12634-12634 Surface change is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 12674-12674 Shape change is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 12806-12806 Creation is a subclass of internal change
No TPTP formula. May not be expressible in strict first order. Merge.kif 13774-13774 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