(=>
(and
(instance ?ATTR PhysicalState)
(attribute ?OBJ ?ATTR))
(instance ?OBJ Substance)) |
Merge.kif 17655-17659 |
|
(=>
(and
(instance ?C Curdling)
(patient ?C ?X)
(instance ?X Colloid))
(exists (?S ?A)
(and
(instance ?S Separating)
(subProcess ?S ?C)
(patient ?S ?X)
(result ?S ?A)
(piece ?A ?X)
(instance ?A Substance)))) |
Food.kif 3199-3211 |
|
(=>
(and
(instance ?LD LiquidDrop)
(surface ?S ?LD))
(modalAttribute
(exists (?SS ?LL)
(and
(instance ?LL Substance)
(attribute ?LL Liquid)
(not
(equal ?LD ?LL))
(surface ?SS ?LL)
(meetsSpatially ?S ?SS))) Unlikely)) |
Geography.kif 7497-7509 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG PipelineTransportation))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?T ?V ?OBJ ?PIPE)
(and
(instance ?T Transportation)
(possesses ?P ?OBJ)
(patient ?T ?OBJ)
(instance ?OBJ Substance)
(possesses ?ORG ?V)
(instrument ?T ?PIPE)
(instance ?PIPE Pipeline))) ?MEM ?P)))))) |
naics.kif 8465-8488 |
|
(=>
(and
(instance ?X Substance)
(attribute ?X Insoluble))
(not
(modalAttribute
(exists (?Y ?Z)
(and
(instance ?Y Substance)
(instance ?Z Solution)
(piece ?X ?Z)
(piece ?Y ?Z))) Possibility))) |
Geography.kif 7380-7392 |
|
(=>
(and
(instance ?X Substance)
(attribute ?X Soluble))
(modalAttribute
(exists (?Y ?Z)
(and
(instance ?Y Substance)
(instance ?Z Solution)
(piece ?X ?Z)
(piece ?Y ?Z))) Possibility)) |
Geography.kif 7352-7363 |
|
(=>
(instance ?C Colander)
(hasPurpose ?C
(exists (?MIX ?SUB ?SOLID ?REMOVE)
(and
(instance ?MIX Mixture)
(instance ?SUB Substance)
(part ?SUB ?MIX)
(attribute ?SUB Liquid)
(instance ?REMOVE Removing)
(patient ?REMOVE ?SUB)
(instance ?SOLID Substance)
(part ?SOLID ?MIX)
(attribute ?SOLID Solid)
(result ?REMOVE ?SOLID)
(instrument ?REMOVE ?C))))) |
Mid-level-ontology.kif 4565-4580 |
|
(=>
(instance ?DETERGENT Detergent)
(hasPurpose ?DETERGENT
(exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)
(and
(instance ?REMOVE Removing)
(instance ?SUBSTANCE Substance)
(patient ?REMOVE ?SUBSTANCE)
(origin ?REMOVE ?SURFACE)
(surface ?SURFACE ?OBJECT))))) |
Mid-level-ontology.kif 9066-9075 |
|
(=>
(instance ?H Hydrometer)
(hasPurpose ?H
(exists (?M ?S)
(and
(instance ?M Measuring)
(instance ?S Substance)
(attribute ?S Liquid)
(patient ?M ?S)
(instrument ?M ?H))))) |
Cars.kif 3109-3118 |
|
(=>
(instance ?I Inflating)
(exists (?G1 ?G2 ?V1 ?V2 ?S ?U)
(and
(instance ?G1 ?S)
(instance ?G2 ?S)
(instance ?S Substance)
(attribute ?G1 Gas)
(attribute ?G2 Gas)
(instance ?U UnitOfVolume)
(holdsDuring
(ImmediatePastFn
(WhenFn ?I))
(measure ?G1
(MeasureFn ?V1 ?U)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?I))
(measure ?G2
(MeasureFn ?V2 ?U)))
(greaterThan ?V2 ?V1)))) |
Cars.kif 3666-3682 |
- If a physical is an instance of inflating,
- then there exist an object, another object,, , a real number,, , another real number,, , a class and an entity such that the object is an instance of the class and the other object is an instance of the class and the class is an instance of substance and gas is an attribute of the object and gas is an attribute of the other object and the entity is an instance of unit of volume and the measure of the object is the real number the entity(s) holds during immediately before the time of existence of the physical and the measure of the other object is the other real number the entity(s) holds during immediately after the time of existence of the physical and the other real number is greater than the real number
|
(=>
(instance ?OBJ CorpuscularObject)
(exists (?SUBSTANCE1 ?SUBSTANCE2)
(and
(subclass ?SUBSTANCE1 Substance)
(subclass ?SUBSTANCE2 Substance)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not
(equal ?SUBSTANCE1 ?SUBSTANCE2))))) |
Merge.kif 1231-1239 |
|
(=>
(instance ?PD PaintingDevice)
(hasPurpose ?PD
(exists (?STUFF ?COVER ?SURF ?OBJ)
(and
(instance ?STUFF Substance)
(instance ?COVER Covering)
(instance ?OBJ Object)
(surface ?SURF ?OBJ)
(agent ?COVER ?PD)
(instrument ?COVER ?STUFF)
(patient ?COVER ?SURF))))) |
Mid-level-ontology.kif 3255-3266 |
|
(=>
(instance ?POUR Pouring)
(exists (?LIQUID ?CONTAINER1 ?CONTAINER2)
(and
(origin ?POUR ?CONTAINER1)
(destination ?POUR ?CONTAINER2)
(instance ?CONTAINER1 Container)
(instance ?CONTAINER2 Container)
(not
(equal ?CONTAINER1 ?CONTAINER2))
(patient ?POUR ?LIQUID)
(attribute ?LIQUID Liquid)
(instance ?LIQUID Substance)))) |
Mid-level-ontology.kif 17796-17807 |
|
(=>
(instance ?PW PurifiedWater)
(exists (?R ?W ?S)
(and
(instance ?R Removing)
(origin ?R ?W)
(instance ?W Water)
(patient ?R ?S)
(instance ?S Substance)
(part ?S ?W)
(result ?R ?PW)))) |
Food.kif 248-258 |
|
(=>
(instance ?PW PurifiedWater)
(not
(exists (?S)
(and
(part ?S ?PW)
(instance ?S Substance))))) |
Food.kif 260-266 |
|
(=>
(instance ?S Sauce)
(exists (?X)
(and
(instance ?X Substance)
(part ?X ?S)
(attribute ?X Liquid)))) |
Food.kif 2068-2074 |
|
(=>
(instance ?S Sieve)
(hasPurpose ?S
(exists (?REMOVE ?MIX ?SUB ?HOLE ?A)
(and
(instance ?REMOVE Removing)
(instance ?MIX Mixture)
(instance ?SUB Substance)
(part ?SUB ?MIX)
(patient ?REMOVE ?SUB)
(part ?HOLE ?S)
(instrument ?REMOVE ?HOLE)
(instance ?A Human)
(agent ?REMOVE ?A)
(not
(desires ?A ?SUB)))))) |
Mid-level-ontology.kif 4523-4538 |
|
(=>
(instance ?S Spark)
(exists (?E ?G)
(and
(instance ?E Electricity)
(patient ?S ?E)
(instance ?G Substance)
(attribute ?G Gas)
(eventLocated ?S ?G)))) |
Cars.kif 424-432 |
|
(=>
(instance ?S Strainer)
(hasPurpose ?S
(exists (?MIX ?SUB ?LIQUID ?REMOVE)
(and
(instance ?MIX Mixture)
(instance ?SUB Substance)
(instance ?LIQUID Substance)
(part ?SUB ?MIX)
(attribute ?SUB Solid)
(instance ?REMOVE Removing)
(part ?LIQUID ?MIX)
(attribute ?LIQUID Liquid)
(patient ?REMOVE ?SUB)
(result ?REMOVE ?LIQUID)
(instrument ?REMOVE ?S))))) |
Mid-level-ontology.kif 4544-4559 |
|
(=>
(instance ?STEM PlantStem)
(hasPurpose ?STEM
(exists (?TRAN ?ROOT ?SUB)
(and
(instance ?TRAN Transfer)
(instrument ?TRAN ?STEM)
(instance ?ROOT PlantRoot)
(origin ?TRAN ?ROOT)
(instance ?SUB Substance)
(attribute ?SUB Fluid)
(objectTransferred ?TRAN ?SUB))))) |
Mid-level-ontology.kif 9764-9775 |
|
(=>
(instance ?SUBSTANCE SyntheticSubstance)
(exists (?PROCESS)
(and
(instance ?PROCESS IntentionalProcess)
(result ?PROCESS ?SUBSTANCE)
(instance ?SUBSTANCE Substance)))) |
Merge.kif 1072-1078 |
|
(=>
(instance ?WEAVE Weaving)
(hasPurpose ?WEAVE
(exists (?SUB ?WARP ?WEFT ?OBJ)
(and
(instance ?SUB Substance)
(attribute ?SUB Pliable)
(patient ?WEAVE ?SUB)
(part ?WARP ?SUB)
(part ?WEFT ?SUB)
(not
(equal ?WARP ?WEFT))
(orientation ?WARP ?WEFT RightAngle)
(result ?WEAVE ?OBJ)
(instance ?OBJ Artifact))))) |
Mid-level-ontology.kif 4621-4635 |
|
(=>
(instance ?X ChemicalAttack)
(exists (?CHEM)
(and
(instance ?CHEM Substance)
(instrument ?X ?CHEM)))) |
Mid-level-ontology.kif 22136-22141 |
|
(=>
(instance ?X Emulsion)
(exists (?L1 ?L2)
(and
(instance ?L1 Substance)
(instance ?L2 Substance)
(attribute ?L1 Liquid)
(attribute ?L2 Liquid)
(not
(equal ?L1 ?L2))))) |
Mid-level-ontology.kif 21833-21842 |
|
