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 10607-10607 不相交的 自然過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2929-2929 不相交的 自然過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 10602-10603 不相交的 自然過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1680-1680 不相交的 自然過程 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 10605-10605 子類 自然過程 and Process

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 641-641 子類 電氣過程 and 自然過程
No TPTP formula. May not be expressible in strict first order. Merge.kif 11311-11311 子類 地質過程 and 自然過程
No TPTP formula. May not be expressible in strict first order. engineering.kif 637-637 子類 機械過程 and 自然過程
No TPTP formula. May not be expressible in strict first order. engineering.kif 650-650 子類 諧振 and 自然過程
No TPTP formula. May not be expressible in strict first order. Geography.kif 2882-2882 子類 鹽鹼 and 自然過程
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39910-39910 子類 鹽鹼 and 自然過程
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39909-39909 子類 鹽鹼 and 自然過程
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39908-39908 子類 鹽鹼 and 自然過程


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