NaturalProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9885-9885	不相交的自然過程 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 9880-9881
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9883-9883	子類自然過程 and Process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 639-639	子類電氣過程 and 自然過程
No TPTP formula. May not be expressible in strict first order.	engineering.kif 635-635	子類機械過程 and 自然過程
No TPTP formula. May not be expressible in strict first order.	engineering.kif 648-648	子類諧振 and 自然過程
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39823-39823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39822-39822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39821-39821