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 |