(=>
(and
(instance ?OBJ Substance)
(attribute ?OBJ ?ATTR)
(piece ?PART ?OBJ))
(attribute ?PART ?ATTR)) |
Merge.kif 1133-1138 |
If X is an instance of substance, Y is an attribute of X, and Z is a piece of X, then Y is an attribute of Z |
(=>
(holdsDuring ?TIME
(leader ?X ?Y))
(holdsDuring ?TIME
(attribute ?Y Living))) |
Merge.kif 1711-1713 |
If X is a leader of Y holds during Z, then living is an attribute of X holds during Z |
(=>
(and
(equal ?X
(AttrFn ?CLASS ?ATTR))
(instance ?I ?X))
(and
(instance ?I ?CLASS)
(subclass ?X ?CLASS)
(attribute ?I ?ATTR))) |
Merge.kif 1871-1879 |
If equal X, the attr of Y, and Z and W is an instance of X, then W is an instance of Y, X is a subclass of Y, and Z is an attribute of W |
(=>
(instance ?X
(AttrFn ?CLASS ?ATTR))
(and
(instance ?X ?CLASS)
(attribute ?X ?ATTR))) |
Merge.kif 1881-1886 |
If X is an instance of the attr of Y and Z, then X is an instance of Y and Z is an attribute of X |
(=>
(copy ?OBJ1 ?OBJ2)
(forall (?ATTR)
(=>
(attribute ?OBJ1 ?ATTR)
(attribute ?OBJ2 ?ATTR)))) |
Merge.kif 3959-3964 |
If X is a copy of Y, then For all Attribute Z: if Z is an attribute of X, then Z is an attribute of Y |
(=>
(equal ?P
(CenterOfCircleFn ?C))
(attribute ?C Circle)) |
Merge.kif 7804-7807 |
If equal X and the center of circle of Y, then circle is an attribute of Y |
(=>
(radius ?CIRCLE ?RADIUS)
(attribute ?CIRCLE Circle)) |
Merge.kif 7828-7830 |
If the radius of X is Y, then circle is an attribute of X |
(=>
(diameter ?CIRCLE ?LENGTH)
(attribute ?CIRCLE Circle)) |
Merge.kif 7849-7851 |
If the diameter of X is Y, then circle is an attribute of X |
(=>
(holdsDuring ?TIME
(fills ?OBJ ?HOLE))
(attribute ?HOLE Fillable)) |
Merge.kif 10182-10185 |
If X fills Y holds during Z, then fillable is an attribute of Y |
(=>
(and
(instance ?HOLE2 HoleRegion)
(part ?HOLE1 ?HOLE2))
(attribute ?HOLE1 Fillable)) |
Merge.kif 10194-10198 |
If X is an instance of hole and Y is a part of X, then fillable is an attribute of Y |
(=>
(and
(instance ?DEATH Death)
(instance ?ORG Organism)
(experiencer ?DEATH ?ORG))
(exists (?REM ?OBJ)
(and
(result ?DEATH ?REM)
(instance ?REM OrganicObject)
(holdsDuring
(FutureFn
(WhenFn ?DEATH))
(attribute ?REM Dead))
(=>
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DEATH))
(part ?OBJ ?REM))
(holdsDuring
(ImmediatePastFn
(WhenFn ?DEATH))
(part ?OBJ ?ORG)))))) |
Merge.kif 10450-10469 |
If X is an instance of death, Y is an instance of organism, and Y experiences X, then there exist Z and W such that Z is a result of X and Z is an instance of organic object and dead is an attribute of Z holds during after the time of existence of X and W is a part of Z holds during immediately after the time of existence of XW is a part of Y holds during immediately before the time of existence of X |
(=>
(and
(instance ?ACT Eating)
(resource ?ACT ?FOOD))
(attribute ?FOOD Solid)) |
Merge.kif 10512-10516 |
If X is an instance of eating and Y is a resource for X, then solid is an attribute of Y |
(=>
(and
(instance ?ACT Drinking)
(resource ?ACT ?FOOD))
(attribute ?FOOD Liquid)) |
Merge.kif 10523-10527 |
If X is an instance of drinking and Y is a resource for X, then liquid is an attribute of Y |
(=>
(and
(instance ?PATH PathologicProcess)
(experiencer ?PATH ?ORG))
(exists (?PART ?DISEASE)
(and
(part ?PART ?ORG)
(instance ?DISEASE DiseaseOrSyndrome)
(attribute ?PART ?DISEASE)))) |
Merge.kif 10641-10649 |
If X is an instance of pathologic process and Y experiences X, then there exist Z, W such that Z is a part of Y, W is an instance of disease or syndrome, and W is an attribute of Z |
(=>
(pathologicSymptom ?D ?S)
(exists (?O)
(increasesLikelihood
(attribute ?O ?D)
(exists (?I)
(and
(instance ?I ?S)
(experiencer ?I ?O)))))) |
Merge.kif 10661-10669 |
If X is a symptom of Y, then there exists Z such that Y is an attribute of Z increases likelihood of there exists W such that W is an instance of X and Z experiences W |
(=>
(and
(instance ?PROC IntentionalProcess)
(agent ?PROC ?HUMAN)
(instance ?HUMAN Animal))
(holdsDuring
(WhenFn ?PROC)
(attribute ?HUMAN Awake))) |
Merge.kif 10750-10755 |
If X is an instance of intentional process, Y is an agent of X, and Y is an instance of animal, then awake is an attribute of Y holds during the time of existence of X |
(=>
(and
(instance ?MOTION LiquidMotion)
(patient ?MOTION ?OBJ))
(attribute ?OBJ Liquid)) |
Merge.kif 11478-11482 |
If X is an instance of liquid motion and Y is a patient of X, then liquid is an attribute of Y |
(=>
(and
(instance ?MOTION GasMotion)
(patient ?MOTION ?OBJ))
(attribute ?OBJ Gas)) |
Merge.kif 11502-11506 |
If X is an instance of gas motion and Y is a patient of X, then gas is an attribute of Y |
(=>
(instance ?INJECT Injecting)
(exists (?SUBSTANCE ?ANIMAL)
(and
(patient ?INJECT ?SUBSTANCE)
(instance ?SUBSTANCE BiologicallyActiveSubstance)
(attribute ?SUBSTANCE Liquid)
(destination ?INJECT ?ANIMAL)
(instance ?ANIMAL Animal)))) |
Merge.kif 11714-11722 |
If X is an instance of injecting, then there exist Y, Z such that Y is a patient of X, Y is an instance of biologically active substance, liquid is an attribute of Y, X ends up at Z, and Z is an instance of animal |
(=>
(and
(instance ?KILL Killing)
(patient ?KILL ?PATIENT))
(and
(holdsDuring
(BeginFn
(WhenFn ?KILL))
(attribute ?PATIENT Living))
(holdsDuring
(FutureFn
(WhenFn ?KILL))
(attribute ?PATIENT Dead)))) |
Merge.kif 12591-12597 |
If X is an instance of killing and Y is a patient of X, then living is an attribute of Y holds during the beginning of the time of existence of X and dead is an attribute of Y holds during after the time of existence of X |
(=>
(and
(instance ?CHANGE InternalChange)
(patient ?CHANGE ?OBJ))
(exists (?PROPERTY)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(EndFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(BeginFn
(WhenFn ?CHANGE))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(EndFn
(WhenFn ?CHANGE))
(attribute ?OBJ ?PROPERTY)))))) |
Merge.kif 12889-12900 |
If X is an instance of internal change and Y is a patient of X, then there exists Z such that Z is an attribute of Y holds during the beginning of the time of existence of X and Z is not an attribute of Y holds during the end of the time of existence of X or Z is not an attribute of Y holds during the beginning of the time of existence of X and Z is an attribute of Y holds during the end of the time of existence of X |
(=>
(and
(instance ?ALT SurfaceChange)
(patient ?ALT ?OBJ))
(exists (?PART ?PROPERTY)
(and
(superficialPart ?PART ?OBJ)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(attribute ?PART ?PROPERTY))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(not
(attribute ?PART ?PROPERTY))))
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(not
(attribute ?PART ?PROPERTY)))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(attribute ?PART ?PROPERTY))))))) |
Merge.kif 12906-12919 |
If X is an instance of surface change and Y is a patient of X, then there exist Z and W such that Z is a superficial part of Y and W is an attribute of Z holds during the beginning of the time of existence of X and W is not an attribute of Z holds during the end of the time of existence of X or W is not an attribute of Z holds during the beginning of the time of existence of X and W is an attribute of Z holds during the end of the time of existence of X |
(=>
(and
(instance ?COLORING Coloring)
(patient ?COLORING ?OBJ))
(exists (?PROPERTY ?PART)
(and
(part ?PART ?OBJ)
(instance ?PROPERTY ColorAttribute)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?COLORING))
(attribute ?PART ?PROPERTY))
(holdsDuring
(EndFn
(WhenFn ?COLORING))
(not
(attribute ?PART ?PROPERTY))))
(and
(holdsDuring
(BeginFn
(WhenFn ?COLORING))
(not
(attribute ?PART ?PROPERTY)))
(holdsDuring
(EndFn
(WhenFn ?COLORING))
(attribute ?PART ?PROPERTY))))))) |
Merge.kif 12926-12940 |
If X is an instance of coloring and Y is a patient of X, then there exist Z and W such that W is a part of Y and Z is an instance of color attribute and Z is an attribute of W holds during the beginning of the time of existence of X and Z is not an attribute of W holds during the end of the time of existence of X or Z is not an attribute of W holds during the beginning of the time of existence of X and Z is an attribute of W holds during the end of the time of existence of X |
(=>
(and
(instance ?ALT ShapeChange)
(patient ?ALT ?OBJ))
(exists (?PROPERTY)
(and
(instance ?PROPERTY ShapeAttribute)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY))))
(and
(holdsDuring
(BeginFn
(WhenFn ?ALT))
(not
(attribute ?OBJ ?PROPERTY)))
(holdsDuring
(EndFn
(WhenFn ?ALT))
(attribute ?OBJ ?PROPERTY))))))) |
Merge.kif 12946-12959 |
If X is an instance of shape change and Y is a patient of X, then there exists Z such that Z is an instance of shape attribute and Z is an attribute of Y holds during the beginning of the time of existence of X and Z is not an attribute of Y holds during the end of the time of existence of X or Z is not an attribute of Y holds during the beginning of the time of existence of X and Z is an attribute of Y holds during the end of the time of existence of X |
(=>
(instance ?WET Wetting)
(exists (?OBJ)
(and
(patient ?WET ?OBJ)
(holdsDuring
(BeginFn
(WhenFn ?WET))
(not
(attribute ?OBJ Damp)))
(holdsDuring
(EndFn
(WhenFn ?WET))
(attribute ?OBJ Damp))))) |
Merge.kif 13041-13054 |
If X is an instance of wetting, then there exists Y such that Y is a patient of X, damp is not an attribute of Y holds during the beginning of the time of existence of X, and damp is an attribute of Y holds during the end of the time of existence of X |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
