NaturalProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10506-10506	NaturalProcess e' disjunto de Processo Intencional
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 10501-10502
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 10504-10504	NaturalProcess e' uma sub-classe de Processo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 642-642	ElectricalProcess e' uma sub-classe de NaturalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11210-11210	GeologicalProcess e' uma sub-classe de NaturalProcess
No TPTP formula. May not be expressible in strict first order.	engineering.kif 638-638	MechanicalProcess e' uma sub-classe de NaturalProcess
No TPTP formula. May not be expressible in strict first order.	engineering.kif 651-651	Resonance e' uma sub-classe de NaturalProcess
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2894-2894	Salination e' uma sub-classe de NaturalProcess
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