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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NaturalProcess
NaturalProcess(自然過程)

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


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

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 639-639 子類 電氣過程 and 自然過程
No TPTP formula. May not be expressible in strict first order. engineering.kif 635-635 子類 機械過程 and 自然過程
No TPTP formula. May not be expressible in strict first order. engineering.kif 648-648 子類 諧振 and 自然過程
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39823-39823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39822-39822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39821-39821


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



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