NaturalProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10607-10607	不相交的自然過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2929-2929	不相交的自然過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10602-10603	不相交的自然過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1680-1680	不相交的自然過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10605-10605	子類自然過程 and Process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 641-641	子類電氣過程 and 自然過程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11311-11311	子類地質過程 and 自然過程
No TPTP formula. May not be expressible in strict first order.	engineering.kif 637-637	子類機械過程 and 自然過程
No TPTP formula. May not be expressible in strict first order.	engineering.kif 650-650	子類諧振 and 自然過程
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2882-2882	子類鹽鹼 and 自然過程
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39910-39910	子類鹽鹼 and 自然過程
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39909-39909	子類鹽鹼 and 自然過程
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39908-39908	子類鹽鹼 and 自然過程