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	地质过程和 % 2 是 disjoint
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	地质过程是内部变化的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11189-11189	地质过程是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11188-11188	地质过程是自然过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2627-2627	碳循环是地质过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2318-2318	地震是地质过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2304-2304	地震是地质过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2675-2675	侵蚀是地质过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6769-6769	地面沉降是地质过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6763-6763	滑坡是地质过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2431-2431	火山爆发是地质过程的 subclass
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