(=>
(attribute ?X Flammable)
(capability Combustion patient ?X)) |
Merge.kif 12878-12880 |
If flammable is an attribute of X, then X is capable of doing burning as a patient |
(=>
(instance ?SMOKE Smoke)
(exists (?BURNING)
(and
(instance ?BURNING Combustion)
(result ?BURNING ?SMOKE)))) |
Merge.kif 15074-15079 |
If X is an instance of smoke, then there exists Y such that Y is an instance of burning and X is a result of Y |
(=>
(instance ?I InternalCombustionEngine)
(hasPurpose ?I
(exists (?F ?C)
(and
(instance ?F Fuel)
(instance ?C Combustion)
(instrument ?C ?I)
(resource ?C ?F))))) |
Mid-level-ontology.kif 2277-2285 |
If X is an instance of internal combustion engine, then X has the purpose there exist Y, Z such that Y is an instance of fuel, Z is an instance of burning, X is an instrument for Z, and Y is a resource for Z |
(=>
(instance ?I InternalCombustionEngine)
(hasPurpose ?I
(exists (?C ?M ?P)
(and
(instance ?C Combustion)
(instance ?M Motion)
(part ?P ?I)
(patient ?M ?P))))) |
Mid-level-ontology.kif 2287-2295 |
If X is an instance of internal combustion engine, then X has the purpose there exist Y, Z, W such that Y is an instance of burning, Z is an instance of motion, W is a part of X, and W is a patient of Z |
(=>
(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 2340-2348 |
If X is an instance of the operating of internal combustion engine, then there exist Y, Z, W such that Y is an instance of internal combustion engine, Y is an instrument for X, Z is a hole in Y, W is an instance of burning, and W completely fills Z |
(=>
(instance ?M MatchDevice)
(capability
(StartFn Combustion) instrument ?M)) |
Mid-level-ontology.kif 2514-2516 |
If X is an instance of match device, then X is capable of doing the start of burning as a instrument |
(=>
(instance ?F Fireplace)
(hasPurpose ?F
(exists (?C)
(and
(instance ?C Combustion)
(eventLocated ?C ?F))))) |
Mid-level-ontology.kif 16957-16963 |
If X is an instance of fireplace, then X has the purpose there exists Y such that Y is an instance of burning and Y is located at X |
(=>
(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 17679-17690 |
If X is an instance of smoking, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a subprocess of X (3) Y is an instance of burning (4) Z is a resource for Y (5) Z is an instance of cigar or cigarette (6) V is a result of Y (7) V is a patient of W (8) W is an instance of breathing (9) W is a subprocess of X |
(=>
(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 160-170 |
If X is an instance of four stroke combustion, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exists W such that W is an instance of burning and W is a subprocess of X |
(=>
(instance ?SP SparkPlug)
(hasPurpose ?SP
(exists (?S ?C)
(and
(instance ?S Spark)
(instrument ?S ?SP)
(instance ?C Combustion)
(causes ?S ?C))))) |
Cars.kif 400-408 |
If X is an instance of spark plug, then X has the purpose there exist Y, Z such that Y is an instance of spark, X is an instrument for Y, Z is an instance of burning, and Y causes Z |
(=>
(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 1049-1061 |
If X is an instance of fuel atomizer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of fuel (3) Z is an instance of spraying (4) W is an instance of air (5) V is an instance of burning (6) W is a patient of Z (7) Y is a patient of Z (8) Y is a resource for V (9) W is a resource for V |
(=>
(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 1088-1097 |
If X is an instance of exhaust, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of burning (3) solid is an attribute of Y (4) gas is an attribute of Z (5) Y is a part of X (6) Z is a part of X (7) X is a result of W |
(=>
(instance ?CH Charcoal)
(exists (?C ?W)
(and
(instance ?C Combustion)
(instance ?W Wood)
(result ?C ?CH)
(resource ?C ?W)))) |
Cars.kif 1561-1568 |
If X is an instance of charcoal, then there exist Y, Z such that Y is an instance of burning, Z is an instance of wood, X is a result of Y, and Z is a resource for Y |
(=>
(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 1604-1620 |
If All of the following hold: (1) X is an instance of exhaust (2) X is made of fuel (3) Y is an instance of transfer (4) Z is an instance of engine (5) Y originates at Z (6) W is an instance of catalytic converter (7) Y ends up at W (8) the object transferred in Y is X, then W has the purpose there exists V such that V is an instance of burning, W is an instrument for V, X is a patient of V, and V is located at W |
(=>
(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 676-693 |
If X is an instance of violent contest, Y is a patient of X, an injury caused by Z is an attribute of Y, and impaired body part fn airway is an attribute of Y, then the statement Z is a subclass of burning or there exists W such that V is an instance of injuring, V is located at U, U is an instance of face, and Y is a patient of V has the modal force of likely |
(=>
(holdsDuring ?T
(attribute ?H BurnInjury))
(exists (?C)
(and
(instance ?C Combustion)
(located ?C ?H)
(meetsTemporally
(WhenFn ?C) ?T)))) |
Medicine.kif 6067-6074 |
If burn injury is an attribute of X holds during Y, then there exists Z such that Z is an instance of burning, Z is located at X, and the time of existence of Z meets Y |
(=>
(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 1435-1445 |
If X is an instance of molotov cocktail, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of burning (3) Z is an instance of damaging (4) X is an instrument for Y (5) X is an instrument for Z (6) W is a patient of Y (7) W is a patient of Z |
(=>
(instance ?MC MolotovCocktail)
(exists (?LIQUID)
(and
(instance ?LIQUID LiquidMixture)
(part ?LIQUID ?MC)
(capability Combustion patient ?LIQUID)))) |
MilitaryDevices.kif 1449-1455 |
If X is an instance of molotov cocktail, then there exists Y such that Y is an instance of liquid mixture, Y is a part of X, and Y is capable of doing burning as a patient |
(=>
(attribute ?G HazardousGases)
(and
(instance ?G Substance)
(attribute ?G Gas)
(capability Combustion resource ?G)
(capability Damaging resource ?G)
(capability Corrosion resource ?G))) |
Transportation.kif 4682-4689 |
If hazardous gases is an attribute of X, then X is an instance of substance, gas is an attribute of X, X is capable of doing burning as a resource, X is capable of doing damaging as a resource, and X is capable of doing corrosion as a resource |
(=>
(and
(instance ?G Substance)
(attribute ?G OxidizingSubstance))
(exists (?R)
(and
(instance ?R Releasing)
(patient ?R Oxygen)
(capability Releasing origin ?G)
(modalAttribute
(exists (?C)
(and
(instance ?C Combustion)
(causes ?R ?C))) Possibility)))) |
Transportation.kif 4720-4733 |
If X is an instance of substance and oxidizing substance is an attribute of X, then there exists Y such that Y is an instance of releasing, oxygen is a patient of Y, X is capable of doing releasing as a origin, the statement there exists Z such that Z is an instance of burning, and Y causes Z has the modal force of possibility |
(=>
(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 948-971 |
If X is an instance of organization and utilities is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of removing or W is an instance of sewage (6) W is a patient of Y (7) W is an instance of electron or W is an instance of water or W is an instance of pure substance (8) W is capable of doing burning as a patient (9) V is a member of X (10) U is an instance of financial transaction (11) V is an agent of U (12) W is a patient of U |
