Evaporating - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Evaporating

Evaporating(蒸發)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1426-1427
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13970-13971
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4679-4679
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13969-13969	子類蒸發 and StateChange

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22630-22630
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22629-22629
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22628-22628

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 13975-13988

例 Process and 蒸發測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Object and PureSubstance 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 患者 Process and Object
Object 部分 Object and Object 比較多 RealNumber and RealNumber 持有期間開始何時 Process and attribute Object and 液體持有期間結束何時 Process and attribute Object and 加油站

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2091-2097	例 Physical and AirConditioningEvaporator 有目的 Physical and entity 例 entity and 蒸發儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2029-2049	例 Process and VaporCompressionCycle Process Process, Process and Process 例 Process and Compressing 例 Process and Condensing 例 Process and 蒸發例 Process and Compressing 子過程 Process and Process 子過程 Process and Process 子過程 Process and Process 子過程 Process and Process 短暫相遇何時 Process and 何時 Process 短暫相遇何時 Process and 何時 Process 短暫相遇何時 Process and 何時 Process

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