Combustion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Combustion

Combustion

appearance as argument number 1

(documentation Combustion ChineseLanguage "这是当 Object 对氧气作出反应并释放热量的 ChemicalProcess Class，这包括所有燃烧的 Process。")	chinese_format.kif 3189-3190
(documentation Combustion EnglishLanguage "The Class of ChemicalProcesses in which an Object reacts with oxygen and gives off heat. This includes all Processes in which something is burning.")	Merge.kif 12542-12544
(externalImage Combustion "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Et_baal.jpg")	pictureList.kif 2660-2660
(subclass Combustion ChemicalDecomposition)	Merge.kif 12541-12541	子類 Combustion and ChemicalDecomposition

appearance as argument number 2

(subclass Backfire Combustion)	Cars.kif 1350-1350	子類 Backfire and Combustion
(subclass Fire Combustion)	Mid-level-ontology.kif 21758-21758	子類火 and Combustion
(subclass ForestFire Combustion)	Geography.kif 2405-2405	子類森林火災 and Combustion
(subclass GrassFire Combustion)	Geography.kif 2415-2415	子類草火 and Combustion
(subclass IncendiaryDeviceAttack Combustion)	Mid-level-ontology.kif 21883-21883	子類燃燒裝置攻擊 and Combustion
(termFormat ChineseLanguage Combustion "燃烧")	chinese_format.kif 1172-1172
(termFormat EnglishLanguage Combustion "burning")	english_format.kif 1561-1561
(termFormat FrenchLanguage Combustion "combustion")	french_format.kif 850-850
(termFormat Hindi Combustion "dahana")	terms-hindi.txt 382-382
(termFormat ItalianLanguage Combustion "Combustione")	terms-it.txt 385-385
(termFormat JapaneseLanguage Combustion "燃焼")	japanese_format.kif 2534-2534
(termFormat PortugueseLanguage Combustion "Combustao")	portuguese_format.kif 802-802
(termFormat cb Combustion "pagkasunog")	terms-cb.txt 387-387
(termFormat cz Combustion "combustion")	terms-cz.txt 421-421
(termFormat ro Combustion "combustie")	relations-ro.kif 871-871
(termFormat tg Combustion "apoy")	terms-tg.txt 386-386

antecedent

(=> (instance ?C Combustion) (exists (?O) (and (instance ?O Oxygen) (resource ?C ?O))))	Cars.kif 20-25	例 Process and Combustion Object 例 Object and 氧資源 Process and Object
(=> (instance ?COMBUSTION Combustion) (exists (?HEAT ?LIGHT) (and (instance ?HEAT Heating) (instance ?LIGHT RadiatingLight) (subProcess ?HEAT ?COMBUSTION) (subProcess ?LIGHT ?COMBUSTION))))	Merge.kif 12546-12553	例 Process and Combustion Process Process 例 Process and Heating 例 Process and RadiatingLight 子過程 Process and Process 子過程 Process and Process

consequent

(=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC)))))	Cars.kif 1717-1733	例 CorpuscularObject and Exhaust 材料汽油 and CorpuscularObject 例 Transfer and Transfer 例 CorpuscularObjectNG and 發動機起源 Transfer and CorpuscularObjectNG 例 Physical and CatalyticConverter 目的地 Transfer and Physical objectTransferred Transfer and CorpuscularObject 有目的 Physical and entity 例 entity and Combustion 儀器 entity and Physical 患者 entity and CorpuscularObject entity 是 located 在 Physical
(=> (and (instance ?F FourStrokeCombustion) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?CO) (and (instance ?CO Combustion) (subProcess ?CO ?F))))	Cars.kif 207-217	例 Process and FourStrokeCombustion 例 Object and EngineCylinder 例 HoleRegion and InternalCombustionChamber 等於 Object and 洞主持人 HoleRegion Process 是 located 在 Object ObjectO 例 ObjectO and Combustion 子過程 ObjectO and Process
(=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 954-977	例 Collection and Organization attribute Collection and 公用事業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object Process and AutonomousAgent 例 AutonomousAgent and Removing 例 Object and 污水患者 AutonomousAgent and Object 例 Object and Electron 例 Object and Water 例 Object and PureSubstance 能力 Combustion, 患者 and Object 會員 Process and Collection 例 AutonomousAgent and FinancialTransaction agent AutonomousAgent and Process 患者 AutonomousAgent and Object
(=> (and (instance ?V ViolentContest) (patient ?V ?H) (attribute ?H (InjuryCausedFn ?PC)) (attribute ?H (ImpairedBodyPartFn Airway))) (modalAttribute (or (subclass ?PC Combustion) (exists (?FI) (and (instance ?I Injuring) (located ?I ?F) (instance ?F Face) (patient ?I ?H)))) Likely))	Medicine.kif 698-715	例 Process and ViolentContest 患者 Process and Object attribute Object and InjuryCausedFn Process attribute Object and ImpairedBodyPartFn 空中航線模態屬性子類 Process and Combustion entity 例 entity and Injuring 位於 entity and entity 例 entity and 面對患者 entity and Object and 容易
(=> (attribute ?X Flammable) (capability Combustion patient ?X))	Merge.kif 12558-12560	attribute Object and 易燃的能力 Combustion, 患者 and Object
(=> (holdsDuring ?T (attribute ?H BurnInjury)) (exists (?C) (and (instance ?C Combustion) (located ?C ?H) (meetsTemporally (WhenFn ?C) ?T))))	Medicine.kif 6036-6043	持有期間 TimeInterval and attribute Object and BurnInjury Physical 例 Physical and Combustion 位於 Physical and Object 短暫相遇何時 Physical and TimeInterval
(=> (instance ?CH Charcoal) (exists (?C ?W) (and (instance ?C Combustion) (instance ?W Wood) (result ?C ?CH) (resource ?C ?W))))	Cars.kif 1674-1681	例 Entity and Charcoal Process Object 例 Process and Combustion 例 Object and 木結果 Process and Entity 資源 Process and Object
(=> (instance ?E Exhaust) (exists (?S ?G ?C) (and (instance ?C Combustion) (attribute ?S Solid) (attribute ?G Gas) (part ?S ?E) (part ?G ?E) (result ?C ?E))))	Cars.kif 1150-1159	例 Object and Exhaust Object Object and Process 例 Process and Combustion attribute Object and 固體 attribute Object and 加油站部分 Object and Object 部分 Object and Object 結果 Process and Object
(=> (instance ?F Fireplace) (hasPurpose ?F (exists (?C) (and (instance ?C Combustion) (eventLocated ?C ?F)))))	Mid-level-ontology.kif 15330-15336	例 Physical and 壁爐有目的 Physical and entity 例 entity and Combustion entity 是 located 在 Physical
(=> (instance ?FA FuelAtomizer) (hasPurpose ?FA (exists (?F ?S ?A ?C) (and (instance ?F Fuel) (instance ?S Spraying) (instance ?A Air) (instance ?C Combustion) (patient ?S ?A) (patient ?S ?F) (resource ?C ?F) (resource ?C ?A)))))	Cars.kif 1112-1124	例 Physical and FuelAtomizer 有目的 Physical and entity entity, entity and entity 例 entity and 汽油例 entity and 噴例 entity and 空氣例 entity and Combustion 患者 entity and entity 患者 entity and entity 資源 entity and entity 資源 entity and entity
(=> (instance ?I InternalCombustionEngine) (hasPurpose ?I (exists (?C ?M ?P) (and (instance ?C Combustion) (instance ?M Motion) (part ?P ?I) (patient ?M ?P)))))	Cars.kif 57-65	例 Physical and 內燃機有目的 Physical and entity entity and entity 例 entity and Combustion 例 entity and Motion 部分 entity and Physical 患者 entity and entity
(=> (instance ?I InternalCombustionEngine) (hasPurpose ?I (exists (?F ?C) (and (instance ?F Fuel) (instance ?C Combustion) (instrument ?C ?I) (resource ?C ?F)))))	Cars.kif 47-55	例 Physical and 內燃機有目的 Physical and entity entity 例 entity and 汽油例 entity and Combustion 儀器 entity and Physical 資源 entity and entity
(=> (instance ?M MatchDevice) (capability (StartFn Combustion) instrument ?M))	Mid-level-ontology.kif 1911-1913	例 Object and 匹配設備能力 Combustion 的 start , 儀器 and Object
(=> (instance ?MC MolotovCocktail) (exists (?LIQUID) (and (instance ?LIQUID LiquidMixture) (part ?LIQUID ?MC) (capability Combustion patient ?LIQUID))))	MilitaryDevices.kif 1292-1298	例 Object and 莫洛托夫雞尾酒 Object 例 Object and 液體混合物部分 Object and Object 能力 Combustion, 患者 and Object
(=> (instance ?MC MolotovCocktail) (hasPurpose ?MC (exists (?COMB ?DAMAGE ?OBJ) (and (instance ?COMB Combustion) (instance ?DAMAGE Damaging) (instrument ?COMB ?MC) (instrument ?DAMAGE ?MC) (patient ?COMB ?OBJ) (patient ?DAMAGE ?OBJ)))))	MilitaryDevices.kif 1278-1288	例 Physical and 莫洛托夫雞尾酒有目的 Physical and entity entity and entity 例 entity and Combustion 例 entity and Damaging 儀器 entity and Physical 儀器 entity and Physical 患者 entity and entity 患者 entity and entity
(=> (instance ?R (OperatingFn InternalCombustionEngine)) (exists (?E ?C ?F) (and (instance ?E InternalCombustionEngine) (instrument ?R ?E) (hole ?C ?E) (instance ?F Combustion) (completelyFills ?F ?C))))	Mid-level-ontology.kif 1737-1745	例 Process and 內燃機的 operating SelfConnectedObject HoleRegion and Object 例 SelfConnectedObject and 內燃機儀器 Process and SelfConnectedObject hole HoleRegion and SelfConnectedObject 例 Object and Combustion 完全填滿 Object and HoleRegion
(=> (instance ?SMOKE Smoke) (exists (?BURNING) (and (instance ?BURNING Combustion) (result ?BURNING ?SMOKE))))	Merge.kif 14732-14737	例 Entity and 抽煙 Process 例 Process and Combustion 結果 Process and Entity
(=> (instance ?SMOKING Smoking) (exists (?BURN ?CIGAR ?BREATHE ?SMOKE) (and (subProcess ?BURN ?SMOKING) (instance ?BURN Combustion) (resource ?BURN ?CIGAR) (instance ?CIGAR CigarOrCigarette) (result ?BURN ?SMOKE) (patient ?BREATHE ?SMOKE) (instance ?BREATHE Breathing) (subProcess ?BREATHE ?SMOKING))))	Mid-level-ontology.kif 16043-16054	例 Process and 抽煙 Process Object, Process and Entity 子過程 Process and Process 例 Process and Combustion 資源 Process and Object 例 Object and 雪茄或香煙結果 Process and Entity 患者 Process and Entity 例 Process and Breathing 子過程 Process and Process
(=> (instance ?SP SparkPlug) (hasPurpose ?SP (exists (?S ?C) (and (instance ?S Spark) (instrument ?S ?SP) (instance ?C Combustion) (causes ?S ?C)))))	Cars.kif 447-455	例 Physical and SparkPlug 有目的 Physical and entity entity 例 entity and Spark 儀器 entity and Physical 例 entity and Combustion 原因 entity and entity

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