GeologicalProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11191-11191	不相交的地質過程 and IntentionalProcess
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	子類地質過程 and InternalChange
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11189-11189	子類地質過程 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11188-11188	子類地質過程 and 自然過程

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2627-2627	子類碳循環 and 地質過程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2318-2318	子類地震 and 地質過程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2304-2304	子類地震 and 地質過程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2675-2675	子類侵蝕 and 地質過程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6769-6769	子類地面沉降 and 地質過程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6763-6763	子類滑坡 and 地質過程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2431-2431	子類火山爆發 and 地質過程
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