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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NaturalProcess

Sigma KEE - NaturalProcess
NaturalProcess(自然過程)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 642-642 子類 電氣過程 and 自然過程
No TPTP formula. May not be expressible in strict first order. Merge.kif 11210-11210 子類 地質過程 and 自然過程
No TPTP formula. May not be expressible in strict first order. engineering.kif 638-638 子類 機械過程 and 自然過程
No TPTP formula. May not be expressible in strict first order. engineering.kif 651-651 子類 諧振 and 自然過程
No TPTP formula. May not be expressible in strict first order. Geography.kif 2894-2894 子類 鹽鹼 and 自然過程
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