TreeView Knowledge Base Browser - Evaporating

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Evaporating

Evaporating(evaporating)

evaporate, pervaporate, vaporise

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 13994-13995
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 13993-13993	Evaporating is a subclass of state change

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 13999-14012

If a process is an instance of evaporating and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) and the unit of measure is an instance of unit of temperature and the object is a patient of the process,
then there exists another object such that the other object is a part of the object and the real number is greater than the other real number and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2068-2074	If a physical is an instance of air conditioning evaporator, then the physical has the purpose there exists an entity such that the entity is an instance of evaporating and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2006-2026	If a process is an instance of vapor compression cycle, then there exist another process, a third process,, , a fourth process and the other process2 such that the other process is an instance of compressing and the third process is an instance of condensing and the fourth process is an instance of evaporating and the other process2 is an instance of compressing and the other process is a subprocess of the process and the third process is a subprocess of the process and the fourth process is a subprocess of the process and the other process2 is a subprocess of the process and the time of existence of the other process meets the time of existence of the third process and the time of existence of the third process meets the time of existence of the fourth process and the time of existence of the fourth process meets the time of existence of the other process2

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