Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  NaturalProcess

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 10484-10484 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 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 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 11188-11188 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