Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeologicalProcess

Sigma KEE - GeologicalProcess
GeologicalProcess(geological process)
more pictures...
geologic_process, geological_process

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11191-11191 Geological process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3015-3016
No TPTP formula. May not be expressible in strict first order. Merge.kif 11193-11195
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1779-1780
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3098-3098
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2957-2957
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3097-3097
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3096-3096
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3101-3101
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3100-3100
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3099-3099
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 11189-11189 Geological process is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11188-11188 Geological process is a subclass of natural process

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2627-2627 Carbon cycle is a subclass of geological process
No TPTP formula. May not be expressible in strict first order. Geography.kif 2318-2318 Earth tremor is a subclass of geological process
No TPTP formula. May not be expressible in strict first order. Geography.kif 2304-2304 Earthquake is a subclass of geological process
No TPTP formula. May not be expressible in strict first order. Geography.kif 2675-2675 Erosion is a subclass of geological process
No TPTP formula. May not be expressible in strict first order. Geography.kif 6769-6769 Land subsidence is a subclass of geological process
No TPTP formula. May not be expressible in strict first order. Geography.kif 6763-6763 Landslide is a subclass of geological process
No TPTP formula. May not be expressible in strict first order. Geography.kif 2431-2431 Volcanic eruption is a subclass of geological process
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25800-25800
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25799-25799
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25798-25798


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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