Condensing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Condensing

Condensing(condensing)

more pictures...

carbonisation, carbonization, condensate, condensation, destructive_distillation, distillation, distillment, fractional_distillation, sweat

appearance as argument number 1

(documentation Condensing ChineseLanguage "这是当 Object 受冷时而从Gas 转成 Liquid Process 的 Class。")	chinese_format.kif 1428-1429
(documentation Condensing EnglishLanguage "The Class of Processes where an Object is cooled and converted from a Gas to a Liquid.")	Merge.kif 14015-14016
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Watervapor_cup.jpg")	pictureList.kif 9953-9953
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Spider_web_Luc_Viatour.jpg")	pictureList.kif 10703-10703
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Science.jpg")	pictureList.kif 10704-10704
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Blue_morpho_butterfly.jpg")	pictureList.kif 10705-10705
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG")	pictureList.kif 10706-10706
(externalImage Condensing "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Condensation_on_water_bottle.jpg")	pictureList.kif 10707-10707
(subclass Condensing StateChange)	Merge.kif 14014-14014	Condensing is a subclass of state change

appearance as argument number 2

(termFormat ChineseLanguage Condensing "凝结")	chinese_format.kif 1229-1229
(termFormat EnglishLanguage Condensing "condensing")	english_format.kif 1679-1679
(termFormat FrenchLanguage Condensing "condenser")	french_format.kif 907-907
(termFormat Hindi Condensing "sanghanana")	terms-hindi.txt 440-440
(termFormat ItalianLanguage Condensing "Condensare")	terms-it.txt 443-443
(termFormat JapaneseLanguage Condensing "凝縮")	japanese_format.kif 2591-2591
(termFormat PortugueseLanguage Condensing "Condensar")	portuguese_format.kif 859-859
(termFormat cz Condensing "kondenzace")	terms-cz.txt 479-479
(termFormat ro Condensing "condensare")	relations-ro.kif 928-928
(termFormat tg Condensing "pinapalapot")	terms-tg.txt 444-444

antecedent

(=> (and (instance ?COND Condensing) (patient ?COND ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?COND)) (attribute ?PART Gas)) (holdsDuring (EndFn (WhenFn ?COND)) (attribute ?PART Liquid)))))	Merge.kif 14025-14033	If a process is an instance of condensing and an object is a patient of the process, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object holds during the beginning of the time of existence of the process and liquid is an attribute of the other object holds during the end of the time of existence of the process
(=> (instance ?COND Condensing) (exists (?COOL) (and (instance ?COOL Cooling) (subProcess ?COOL ?COND))))	Merge.kif 14018-14023	If a process is an instance of condensing, then there exists another process such that the other process is an instance of cooling and the other process is a subprocess of the process

consequent

(=> (instance ?ACC AirConditioningCondenser) (hasPurpose ?ACC (exists (?C) (and (instance ?C Condensing) (instrument ?C ?ACC)))))	Cars.kif 2044-2050	If a physical is an instance of air conditioning condenser, then the physical has the purpose there exists an entity such that the entity is an instance of condensing and the physical is an instrument for the entity
(=> (instance ?VCC VaporCompressionCycle) (exists (?CMP ?COND ?EV ?CMP2) (and (instance ?CMP Compressing) (instance ?COND Condensing) (instance ?EV Evaporating) (instance ?CMP2 Compressing) (subProcess ?CMP ?VCC) (subProcess ?COND ?VCC) (subProcess ?EV ?VCC) (subProcess ?CMP2 ?VCC) (meetsTemporally (WhenFn ?CMP) (WhenFn ?COND)) (meetsTemporally (WhenFn ?COND) (WhenFn ?EV)) (meetsTemporally (WhenFn ?EV) (WhenFn ?CMP2)))))	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 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