(<=>
(instance ?SUBSTANCE SyntheticSubstance)
(exists (?PROCESS)
(and
(instance ?PROCESS IntentionalProcess)
(result ?PROCESS ?SUBSTANCE)
(instance ?SUBSTANCE Substance)))) |
Merge.kif 994-1000 |
An entity is an instance of synthetic substance if and only if there exists a process such that the process is an instance of intentional process and the entity is a result of the process and the entity is an instance of substance |
(=>
(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 7055-7067 |
|
(=>
(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)
(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 6910-6922 |
|
(=>
(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 6882-6893 |
|
(=>
(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 8427-8436 |
|
(=>
(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 3051-3060 |
|
(=>
(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 3610-3626 |
- If a physical is an instance of inflating,
- then there exist an object, another object,, , a quantity,, , another quantity,, , 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 UnitOfVolume and the measure of the object is the quantity the entity(s) holds during immediately before the time of existence of the physical and the measure of the other object is the other quantity the entity(s) holds during immediately after the time of existence of the physical and the other quantity is greater than the quantity
|
(=>
(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 1153-1161 |
|
(=>
(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 3197-3208 |
|
(=>
(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 16810-16821 |
|
(=>
(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 ?X ChemicalAttack)
(exists (?CHEM)
(and
(instance ?CHEM Substance)
(instrument ?X ?CHEM)))) |
Mid-level-ontology.kif 21166-21171 |
|
Substance