NaturalProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10484-10484	自然过程和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2929-2929
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10479-10480
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1680-1680
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10482-10482	自然过程是过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 642-642	电气过程是自然过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11188-11188	地质过程是自然过程的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 638-638	机械过程是自然过程的 subclass
No TPTP formula. May not be expressible in strict first order.	engineering.kif 651-651	谐振是自然过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2894-2894	盐碱是自然过程的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39897-39897
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39896-39896
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39895-39895