TreeView Knowledge Base Browser - NaturalProcess

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - NaturalProcess

NaturalProcess(natural process)

branch, offset, offshoot, outgrowth, rain_out, wash_out

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10506-10506	Natural process is disjoint from intentional process
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	Natural process is a subclass of process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 642-642	Electrical process is a subclass of natural process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11210-11210	Geological process is a subclass of natural process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 638-638	Mechanical process is a subclass of natural process
No TPTP formula. May not be expressible in strict first order.	engineering.kif 651-651	Resonance is a subclass of natural process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2894-2894	Salinifying is a subclass of natural process
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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners