(=>
(result ?PROC ?OBJ)
(forall (?TIME)
(=>
(before ?TIME
(BeginFn
(WhenFn ?PROC)))
(not
(time ?OBJ ?TIME))))) |
Merge.kif 8326-8332 |
If X is a result of Y, then For all TimePoint Z: if Z happens before the beginning of the time of existence of Y, then X doesn't exist during Z |
(=>
(and
(instance ?REP Replication)
(agent ?REP ?PARENT)
(result ?REP ?CHILD))
(parent ?CHILD ?PARENT)) |
Merge.kif 10563-10568 |
If X is an instance of replication, Y is an agent of X, and Z is a result of X, then Y is a parent of Z |
(=>
(and
(instance ?REP SexualReproduction)
(result ?REP ?ORGANISM))
(exists (?MOTHER ?FATHER)
(and
(mother ?ORGANISM ?MOTHER)
(father ?ORGANISM ?FATHER)))) |
Merge.kif 10583-10590 |
If X is an instance of sexual reproduction and Y is a result of X, then there exist Z, W such that Z is a mother of Y, and W is a father of Y |
(=>
(and
(instance ?REP AsexualReproduction)
(result ?REP ?ORGANISM)
(parent ?ORGANISM ?PARENT1)
(parent ?ORGANISM ?PARENT2))
(equal ?PARENT1 ?PARENT2)) |
Merge.kif 10610-10616 |
If X is an instance of asexual reproduction, Y is a result of X, Z is a parent of Y, and W is a parent of Y, then equal Z and W |
(=>
(and
(instance ?EVENT Planning)
(result ?EVENT ?CBO)
(instance ?CBO ContentBearingObject))
(exists (?PLAN)
(and
(instance ?PLAN Plan)
(containsInformation ?CBO ?PLAN)))) |
Merge.kif 11087-11095 |
If X is an instance of planning, Y is a result of X, and Y is an instance of content bearing object, then there exists Z such that Z is an instance of plan and Y contains information Z |
(=>
(and
(instance ?DECIDE Deciding)
(agent ?DECIDE ?A)
(patient ?DECIDE ?S)
(instance ?S Set)
(result ?DECIDE ?X)
(instance ?X ContentBearingPhysical))
(containsFormula ?X
(holdsDuring
(FutureFn
(WhenFn ?DECIDE))
(exists (?M)
(and
(element ?M ?S)
(instance ?M IntentionalProcess)
(agent ?M ?A)))))) |
Merge.kif 12332-12348 |
If All of the following hold: (1) X is an instance of deciding (2) Y is an agent of X (3) Z is a patient of X (4) Z is an instance of set (5) W is a result of X (6) W is an instance of content bearing physical, then W contains the formula there exists V such that V is an element of Z, V is an instance of intentional process, and Y is an agent of V holds during after the time of existence of X |
(<=>
(and
(instance ?COMBINE Combining)
(resource ?COMBINE ?OBJ1)
(result ?COMBINE ?OBJ2))
(and
(holdsDuring
(BeginFn
(WhenFn ?COMBINE))
(not
(part ?OBJ1 ?OBJ2)))
(holdsDuring
(EndFn
(WhenFn ?COMBINE))
(part ?OBJ1 ?OBJ2)))) |
Merge.kif 12756-12763 |
X is an instance of combining, Y is a resource for X, Z is a result of X if, only if Y is not a part of Z holds during the beginning of the time of existence of X, and Y is a part of Z holds during the end of the time of existence of X |
(=>
(and
(instance ?PROC ChemicalProcess)
(or
(resource ?PROC ?STUFF)
(result ?PROC ?STUFF)))
(instance ?STUFF PureSubstance)) |
Merge.kif 12804-12810 |
If X is an instance of chemical process and Y is a resource for X or Y is a result of X, then Y is an instance of pure substance |
(=>
(and
(resource ?PROC ?SUBSTANCE1)
(result ?PROC ?SUBSTANCE2)
(instance ?SUBSTANCE1 ElementalSubstance)
(instance ?SUBSTANCE2 CompoundSubstance))
(instance ?PROC ChemicalSynthesis)) |
Merge.kif 12817-12823 |
If X is a resource for Y, Z is a result of Y, X is an instance of elemental substance, and Z is an instance of compound substance, then Y is an instance of chemical synthesis |
(=>
(and
(instance ?ELEMENT1 ElementalSubstance)
(instance ?ELEMENT2 ElementalSubstance)
(not
(equal ?ELEMENT1 ?ELEMENT2))
(instance ?PROCESS ChemicalSynthesis)
(resource ?PROCESS ?ELEMENT1)
(resource ?PROCESS ?ELEMENT2)
(result ?PROCESS ?COMPOUND))
(instance ?COMPOUND CompoundSubstance)) |
Merge.kif 12837-12846 |
If All of the following hold: (1) X is an instance of elemental substance (2) Y is an instance of elemental substance (3) equal X and Y (4) Z is an instance of chemical synthesis (5) X is a resource for Z (6) Y is a resource for Z (7) W is a result of Z, then W is an instance of compound substance |
(=>
(and
(resource ?PROC ?SUBSTANCE1)
(result ?PROC ?SUBSTANCE2)
(instance ?SUBSTANCE1 CompoundSubstance)
(instance ?SUBSTANCE2 ElementalSubstance))
(instance ?PROC ChemicalDecomposition)) |
Merge.kif 12853-12859 |
If X is a resource for Y, Z is a result of Y, X is an instance of compound substance, and Z is an instance of elemental substance, then Y is an instance of chemical decomposition |
(=>
(and
(instance ?TRANSLATE Translating)
(patient ?TRANSLATE ?EXPRESSION1)
(result ?TRANSLATE ?EXPRESSION2))
(exists (?LANGUAGE1 ?LANGUAGE2 ?ENTITY)
(and
(representsInLanguage ?EXPRESSION1 ?ENTITY ?LANGUAGE1)
(representsInLanguage ?EXPRESSION2 ?ENTITY ?LANGUAGE2)
(not
(equal ?LANGUAGE1 ?LANGUAGE2))))) |
Merge.kif 13026-13035 |
If X is an instance of translating, Y is a patient of X, and Z is a result of X, then there exist W, V, U such that Y represents U in the language W, Z represents U in the language V, equal W, and V |
(=>
(and
(instance ?BUILD Constructing)
(result ?BUILD ?ARTIFACT))
(instance ?ARTIFACT StationaryArtifact)) |
Merge.kif 13118-13122 |
If X is an instance of constructing and Y is a result of X, then Y is an instance of stationary artifact |
(=>
(and
(parent ?CHILD ?PARENT)
(instance ?REP SexualReproduction)
(agent ?REP ?PARENT)
(result ?REP ?CHILD))
(or
(mother ?CHILD ?PARENT)
(father ?CHILD ?PARENT))) |
Merge.kif 16745-16753 |
If X is a parent of Y, Z is an instance of sexual reproduction, X is an agent of Z, and Y is a result of Z, then X is a mother of Y or X is a father of Y |
(=>
(and
(instance ?REM OrganicObject)
(instance ?DEATH Death)
(instance ?ORG Organism)
(experiencer ?DEATH ?ORG)
(result ?DEATH ?REM))
(instance ?REM OrganismRemains)) |
Mid-level-ontology.kif 45-52 |
If X is an instance of organic object, Y is an instance of death, Z is an instance of organism, Z experiences Y, and X is a result of Y, then X is an instance of organism remains |
(=>
(and
(instance ?DEATH Death)
(instance ?REM OrganismRemains)
(instance ?ORG Organism)
(holdsDuring ?T2
(part ?OBJ ?REM))
(holdsDuring ?T1
(part ?OBJ ?ORG))
(earlier ?T1 ?T2)
(result ?DEATH ?REM))
(experiencer ?DEATH ?ORG)) |
Mid-level-ontology.kif 61-70 |
If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Y is a result of X, then Z experiences X |
(=>
(and
(instance ?REM
(DeadFn ?ORGTYPE))
(instance ?DEATH Death)
(result ?DEATH ?REM)
(experiencer ?DEATH ?ORG))
(instance ?ORG ?ORGTYPE)) |
Mid-level-ontology.kif 101-107 |
If X is an instance of a dead Y, Z is an instance of death, X is a result of Z, and W experiences Z, then W is an instance of Y |
(=>
(and
(instance ?REM OrganismRemains)
(instance ?DEATH Death)
(experiencer ?DEATH ?ORG)
(instance ?ORG ?ORGTYPE)
(subclass ?ORGTYPE OrganicObject)
(result ?DEATH ?REM))
(instance ?REM
(DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 109-117 |
If All of the following hold: (1) X is an instance of organism remains (2) Y is an instance of death (3) Z experiences Y (4) Z is an instance of W (5) W is a subclass of organic object (6) X is a result of Y, then X is an instance of a dead W |
(=>
(and
(instance ?M Measuring)
(result ?M ?Q)
(instrument ?M ?C)
(instance ?C Clock))
(instance ?Q TimeMeasure)) |
Mid-level-ontology.kif 3513-3519 |
If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of clock, then Y is an instance of time measure |
(=>
(and
(instance ?MEASURE Measuring)
(result ?MEASURE ?QUANTITY)
(instrument ?MEASURE ?THERMOMETER)
(instance ?THERMOMETER Thermometer))
(instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 3537-3543 |
If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of thermometer, then Y is an instance of temperature measure |
(=>
(and
(instance ?M Measuring)
(result ?M ?Q)
(instrument ?M ?T)
(instance ?T Thermometer))
(instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 3549-3555 |
If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of thermometer, then Y is an instance of temperature measure |
(=>
(and
(instance ?D Diuretic)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?D)
(instance ?U1 Urination)
(result ?U1 ?P1)
(agent ?U1 ?H)
(instance ?U2 Urination)
(result ?U2 ?P2)
(agent ?U2 ?H)
(earlier ?U1 ?I)
(earlier ?I ?U2)
(instance ?V UnitOfVolume)
(measure ?U1
(MeasureFn ?N1 ?V))
(measure ?U2
(MeasureFn ?N2 ?V)))
(modalAttribute
(greaterThan ?N2 ?N1) Likely)) |
Mid-level-ontology.kif 11470-11491 |
If All of the following hold: (1) X is an instance of diuretic (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of urination (6) V is a result of W (7) Z is an agent of W (8) U is an instance of urination (9) T is a result of U (10) Z is an agent of U (11) W happens earlier than Y (12) Y happens earlier than U (13) S is an instance of unit of volume (14) the measure of W is R S(s) (15) the measure of U is Q S(s), then the statement Q is greater than R has the modal force of likely |
(=>
(and
(instance ?D Antidiuretic)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?D)
(instance ?U1 Urination)
(result ?U1 ?P1)
(agent ?U1 ?H)
(instance ?U2 Urination)
(not
(equal ?U1 ?U2))
(result ?U2 ?P2)
(agent ?U2 ?H)
(earlier ?U1 ?I)
(earlier ?I ?U2)
(instance ?V UnitOfVolume)
(measure ?U1
(MeasureFn ?N1 ?V))
(measure ?U2
(MeasureFn ?N2 ?V)))
(modalAttribute
(greaterThan ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 11500-11523 |
If All of the following hold: (1) X is an instance of antidiuretic (2) Y is an instance of ingesting (3) Z is an agent of Y (4) X moves during Y (5) W is an instance of urination (6) V is a result of W (7) Z is an agent of W (8) U is an instance of urination (9) equal W and U (10) T is a result of U (11) Z is an agent of U (12) W happens earlier than Y (13) Y happens earlier than U (14) S is an instance of unit of volume (15) the measure of W is R S(s) (16) the measure of U is Q S(s), then the statement R is greater than Q has the modal force of likely |
(=>
(and
(instance ?STATE Stating)
(result ?STATE ?SENTENCE)
(instance ?SENTENCE Sentence))
(instance ?SENTENCE Statement)) |
Mid-level-ontology.kif 15840-15845 |
If X is an instance of stating, Y is a result of X, and Y is an instance of sentence, then Y is an instance of statement |
(=>
(and
(instance ?QUESTION Questioning)
(result ?QUESTION ?SENTENCE)
(instance ?SENTENCE Sentence))
(instance ?SENTENCE Question)) |
Mid-level-ontology.kif 15858-15863 |
If X is an instance of questioning, Y is a result of X, and Y is an instance of sentence, then Y is an instance of question |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
result