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	不相交的自然過程 and IntentionalProcess
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	子類自然過程 and Process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 642-642	子類電氣過程 and 自然過程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11188-11188	子類地質過程 and 自然過程
No TPTP formula. May not be expressible in strict first order.	engineering.kif 638-638	子類機械過程 and 自然過程
No TPTP formula. May not be expressible in strict first order.	engineering.kif 651-651	子類諧振 and 自然過程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2894-2894	子類鹽鹼 and 自然過程
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