Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| result |
| appearance as argument number 1 |
|
| s__disjointRelation(s__result,s__instrument)
|
Merge.kif 2623-2623 | result and instrument are disjoint |
| s__subrelation(s__result,s__patient)
|
Merge.kif 2657-2657 | result is a subrelation of patient |
| s__instance(s__result,s__CaseRole)
|
Merge.kif 2658-2658 | result is an instance of case role |
| s__instance(s__result,s__PartialValuedRelation)
|
Merge.kif 2659-2659 | result is an instance of partial valued relation |
| s__domain(s__result,n__1,s__Process)
|
Merge.kif 2660-2660 | The number 1 argument of result is an instance of process |
| s__domain(s__result,n__2,s__Entity)
|
Merge.kif 2661-2661 | The number 2 argument of result is an instance of entity |
| s__documentation(s__result, s__EnglishLanguage, "(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION_ For example, house is a result in the following proposition: Eric built a house_") | Merge.kif 2663-2665 | The number 2 argument of result is an instance of entity |
| appearance as argument number 2 |
|
|
| s__disjointRelation(s__resource,s__result)
|
Merge.kif 2621-2621 | resource and result are disjoint |
| s__termFormat(s__EnglishLanguage, s__result, "result") | domainEnglishFormat.kif 49791-49791 | resource and result are disjoint |
| s__termFormat(s__ChineseTraditionalLanguage, s__result, "結果") | domainEnglishFormat.kif 49792-49792 | resource and result are disjoint |
| s__termFormat(s__ChineseLanguage, s__result, "结果") | domainEnglishFormat.kif 49793-49793 | resource and result are disjoint |
| s__format(s__EnglishLanguage, s__result, "%2 is %n a result of %1") | english_format.kif 184-184 | resource and result are disjoint |
| antecedent |
|
|
| ! [V__PROC,V__OBJ] : (((s__instance(V__PROC,s__Process) & s__instance(V__OBJ,s__Physical)) => (s__result(V__PROC,V__OBJ) => (! [V__TIME] : ((s__instance(V__TIME,s__TimePoint) => (s__before(V__TIME,s__BeginFn(s__WhenFn(V__PROC))) => ~(s__time(V__OBJ,V__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 |
| ! [V__PARENT,V__CHILD,V__REP] : (((s__instance(V__PARENT,s__Organism) & s__instance(V__CHILD,s__Organism)) => ((s__instance(V__REP,s__Replication) & s__agent(V__REP,V__PARENT) & s__result(V__REP,V__CHILD)) => s__parent(V__CHILD,V__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 |
| ! [V__ORGANISM,V__REP] : ((s__instance(V__ORGANISM,s__Organism) => ((s__instance(V__REP,s__SexualReproduction) & s__result(V__REP,V__ORGANISM)) => (? [V__MOTHER,V__FATHER] : ((s__instance(V__MOTHER,s__Organism) & s__instance(V__FATHER,s__Organism) & (s__mother(V__ORGANISM,V__MOTHER) & s__father(V__ORGANISM,V__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 |
| ! [V__ORGANISM,V__PARENT1,V__PARENT2,V__REP] : (((s__instance(V__ORGANISM,s__Organism) & s__instance(V__PARENT1,s__Organism) & s__instance(V__PARENT2,s__Organism)) => ((s__instance(V__REP,s__AsexualReproduction) & s__result(V__REP,V__ORGANISM) & s__parent(V__ORGANISM,V__PARENT1) & s__parent(V__ORGANISM,V__PARENT2)) => (V__PARENT1 = V__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 |
| ! [V__EVENT,V__CBO] : (((s__instance(V__EVENT,s__Planning) & s__result(V__EVENT,V__CBO) & s__instance(V__CBO,s__ContentBearingObject)) => (? [V__PLAN] : ((s__instance(V__PLAN,s__Plan) & s__containsInformation(V__CBO,V__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 |
| ! [V__A : $i,V__DECIDE : $i,V__S : $i,V__X : $i] : (((s__instance(V__DECIDE, s__Deciding) & s__agent(V__DECIDE, V__A) & s__patient(V__DECIDE, V__S) & s__instance(V__S, s__Set) & s__result(V__DECIDE, V__X) & s__instance(V__X, s__ContentBearingPhysical)) => s__containsFormula(V__X, s__holdsDuring(s__FutureFn(s__WhenFn(V__DECIDE)), ( ? [V__M:$i] : ((s__element(V__M, V__S) & s__instance(V__M, s__IntentionalProcess) & s__agent(V__M, V__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 |
| ! [V__COMBINE : $i,V__OBJ1 : $i,V__OBJ2 : $i] : ((((s__instance(V__COMBINE, s__Combining) & s__resource(V__COMBINE, V__OBJ1) & s__result(V__COMBINE, V__OBJ2)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__COMBINE)), ~(s__part(V__OBJ1, V__OBJ2))) & s__holdsDuring(s__EndFn(s__WhenFn(V__COMBINE)), s__part(V__OBJ1, V__OBJ2)))) & ((s__holdsDuring(s__BeginFn(s__WhenFn(V__COMBINE)), ~(s__part(V__OBJ1, V__OBJ2))) & s__holdsDuring(s__EndFn(s__WhenFn(V__COMBINE)), s__part(V__OBJ1, V__OBJ2))) => (s__instance(V__COMBINE, s__Combining) & s__resource(V__COMBINE, V__OBJ1) & s__result(V__COMBINE, V__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 |
| ! [V__STUFF,V__PROC] : ((s__instance(V__STUFF,s__Object) => ((s__instance(V__PROC,s__ChemicalProcess) & (s__resource(V__PROC,V__STUFF) | s__result(V__PROC,V__STUFF))) => s__instance(V__STUFF,s__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 |
| ! [V__PROC,V__SUBSTANCE1,V__SUBSTANCE2] : ((s__instance(V__PROC,s__Process) => ((s__resource(V__PROC,V__SUBSTANCE1) & s__result(V__PROC,V__SUBSTANCE2) & s__instance(V__SUBSTANCE1,s__ElementalSubstance) & s__instance(V__SUBSTANCE2,s__CompoundSubstance)) => s__instance(V__PROC,s__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 |
| ! [V__ELEMENT1,V__ELEMENT2,V__PROCESS,V__COMPOUND] : (((s__instance(V__ELEMENT1,s__ElementalSubstance) & s__instance(V__ELEMENT2,s__ElementalSubstance) & ~((V__ELEMENT1 = V__ELEMENT2)) & s__instance(V__PROCESS,s__ChemicalSynthesis) & s__resource(V__PROCESS,V__ELEMENT1) & s__resource(V__PROCESS,V__ELEMENT2) & s__result(V__PROCESS,V__COMPOUND)) => s__instance(V__COMPOUND,s__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 |
| ! [V__PROC,V__SUBSTANCE1,V__SUBSTANCE2] : ((s__instance(V__PROC,s__Process) => ((s__resource(V__PROC,V__SUBSTANCE1) & s__result(V__PROC,V__SUBSTANCE2) & s__instance(V__SUBSTANCE1,s__CompoundSubstance) & s__instance(V__SUBSTANCE2,s__ElementalSubstance)) => s__instance(V__PROC,s__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 |
| ! [V__EXPRESSION1,V__EXPRESSION2,V__TRANSLATE] : (((s__instance(V__EXPRESSION1,s__LinguisticExpression) & s__instance(V__EXPRESSION2,s__LinguisticExpression)) => ((s__instance(V__TRANSLATE,s__Translating) & s__patient(V__TRANSLATE,V__EXPRESSION1) & s__result(V__TRANSLATE,V__EXPRESSION2)) => (? [V__LANGUAGE1,V__LANGUAGE2,V__ENTITY] : ((s__instance(V__LANGUAGE1,s__Language) & s__instance(V__LANGUAGE2,s__Language) & (s__representsInLanguage(V__EXPRESSION1,V__ENTITY,V__LANGUAGE1) & s__representsInLanguage(V__EXPRESSION2,V__ENTITY,V__LANGUAGE2) & ~((V__LANGUAGE1 = V__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 |
| ! [V__BUILD,V__ARTIFACT] : (((s__instance(V__BUILD,s__Constructing) & s__result(V__BUILD,V__ARTIFACT)) => s__instance(V__ARTIFACT,s__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 |
| ! [V__CHILD,V__PARENT,V__REP] : (((s__instance(V__CHILD,s__Organism) & s__instance(V__PARENT,s__Organism)) => ((s__parent(V__CHILD,V__PARENT) & s__instance(V__REP,s__SexualReproduction) & s__agent(V__REP,V__PARENT) & s__result(V__REP,V__CHILD)) => (s__mother(V__CHILD,V__PARENT) | s__father(V__CHILD,V__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 |
| ! [V__REM,V__DEATH,V__ORG] : (((s__instance(V__REM,s__OrganicObject) & s__instance(V__DEATH,s__Death) & s__instance(V__ORG,s__Organism) & s__experiencer(V__DEATH,V__ORG) & s__result(V__DEATH,V__REM)) => s__instance(V__REM,s__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 |
| ! [V__DEATH : $i,V__OBJ : $i,V__ORG : $i,V__REM : $i,V__T1 : $i,V__T2 : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__REM, s__OrganismRemains) & s__instance(V__ORG, s__Organism) & s__holdsDuring(V__T2, s__part(V__OBJ, V__REM)) & s__holdsDuring(V__T1, s__part(V__OBJ, V__ORG)) & s__earlier(V__T1, V__T2) & s__result(V__DEATH, V__REM)) => s__experiencer(V__DEATH, V__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 |
| ! [V__ORGTYPE,V__ORG,V__REM,V__DEATH] : (((s__instance(V__ORGTYPE,s__Class) & s__subclass(V__ORGTYPE,s__OrganicObject) & s__instance(V__ORG,s__AutonomousAgent)) => ((s__instance(V__REM,s__DeadFn(V__ORGTYPE)) & s__instance(V__DEATH,s__Death) & s__result(V__DEATH,V__REM) & s__experiencer(V__DEATH,V__ORG)) => s__instance(V__ORG,V__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 |
| ! [V__ORG,V__ORGTYPE,V__REM,V__DEATH] : (((s__instance(V__ORG,s__AutonomousAgent) & s__instance(V__ORGTYPE,s__Class) & s__subclass(V__ORGTYPE,s__OrganicObject)) => ((s__instance(V__REM,s__OrganismRemains) & s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__ORG) & s__instance(V__ORG,V__ORGTYPE) & s__subclass(V__ORGTYPE,s__OrganicObject) & s__result(V__DEATH,V__REM)) => s__instance(V__REM,s__DeadFn(V__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 |
| ! [V__M,V__Q,V__C] : (((s__instance(V__M,s__Measuring) & s__result(V__M,V__Q) & s__instrument(V__M,V__C) & s__instance(V__C,s__Clock)) => s__instance(V__Q,s__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 |
| ! [V__MEASURE,V__QUANTITY,V__THERMOMETER] : (((s__instance(V__MEASURE,s__Measuring) & s__result(V__MEASURE,V__QUANTITY) & s__instrument(V__MEASURE,V__THERMOMETER) & s__instance(V__THERMOMETER,s__Thermometer)) => s__instance(V__QUANTITY,s__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 |
| ! [V__M,V__Q,V__T] : (((s__instance(V__M,s__Measuring) & s__result(V__M,V__Q) & s__instrument(V__M,V__T) & s__instance(V__T,s__Thermometer)) => s__instance(V__Q,s__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 |
| ! [V__D : $i,V__H : $i,V__I : $i,V__N1 : $real,V__N2 : $real,V__P1 : $i,V__P2 : $i,V__U1 : $i,V__U2 : $i,V__V : $i] : (((s__instance(V__D, s__Diuretic) & s__instance(V__I, s__Ingesting) & s__agent(V__I, V__H) & s__moves(V__I, V__D) & s__instance(V__U1, s__Urination) & s__result(V__U1, V__P1) & s__agent(V__U1, V__H) & s__instance(V__U2, s__Urination) & s__result(V__U2, V__P2) & s__agent(V__U2, V__H) & s__earlier(V__U1, V__I) & s__earlier(V__I, V__U2) & s__instance(V__V, s__UnitOfVolume) & s__measure(V__U1, s__MeasureFn(V__N1, V__V)) & s__measure(V__U2, s__MeasureFn(V__N2, V__V))) => s__modalAttribute(($greater(V__N2,V__N1)), s__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 |
| ! [V__D : $i,V__H : $i,V__I : $i,V__N1 : $real,V__N2 : $real,V__P1 : $i,V__P2 : $i,V__U1 : $i,V__U2 : $i,V__V : $i] : (((s__instance(V__D, s__Antidiuretic) & s__instance(V__I, s__Ingesting) & s__agent(V__I, V__H) & s__moves(V__I, V__D) & s__instance(V__U1, s__Urination) & s__result(V__U1, V__P1) & s__agent(V__U1, V__H) & s__instance(V__U2, s__Urination) & ~(V__U1 = V__U2) & s__result(V__U2, V__P2) & s__agent(V__U2, V__H) & s__earlier(V__U1, V__I) & s__earlier(V__I, V__U2) & s__instance(V__V, s__UnitOfVolume) & s__measure(V__U1, s__MeasureFn(V__N1, V__V)) & s__measure(V__U2, s__MeasureFn(V__N2, V__V))) => s__modalAttribute(($greater(V__N1,V__N2)), s__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 |
| ! [V__STATE,V__SENTENCE] : (((s__instance(V__STATE,s__Stating) & s__result(V__STATE,V__SENTENCE) & s__instance(V__SENTENCE,s__Sentence)) => s__instance(V__SENTENCE,s__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 |
| ! [V__QUESTION,V__SENTENCE] : (((s__instance(V__QUESTION,s__Questioning) & s__result(V__QUESTION,V__SENTENCE) & s__instance(V__SENTENCE,s__Sentence)) => s__instance(V__SENTENCE,s__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 |
| consequent |
|
|
| ! [V__SURF,V__C] : ((s__instance(V__SURF,s__Object) => (s__instance(V__C,s__Crater) => (? [V__HOST,V__EVENT,V__METEOR,V__BOMB] : ((s__instance(V__HOST,s__SelfConnectedObject) & (s__hole(V__C,V__HOST) & s__superficialPart(V__SURF,s__HoleHostFn(V__C)) & ((s__instance(V__EVENT,s__Impacting) & s__instrument(V__EVENT,V__METEOR) & s__instance(V__METEOR,s__Meteorite)) | (s__instance(V__EVENT,s__Explosion) & s__instrument(V__EVENT,V__BOMB) & s__instance(V__BOMB,s__Bomb)) | s__instance(V__EVENT,s__VolcanicEruption)) & s__result(V__EVENT,V__C))))))) )
|
Merge.kif 1059-1075 | If X is an instance of crater, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X is a hole in Y (3) U is a superficial part of the host of the hole X (4) Z is an instance of impacting (5) W is an instrument for Z (6) W is an instance of meteorite or Z is an instance of explosion (7) V is an instrument for Z (8) V is an instance of bomb or Z is an instance of volcanic eruption (9) X is a result of Z |
| ! [V__SUBSTANCE] : ((s__instance(V__SUBSTANCE,s__SyntheticSubstance) => (? [V__PROCESS] : ((s__instance(V__PROCESS,s__IntentionalProcess) & s__result(V__PROCESS,V__SUBSTANCE) & s__instance(V__SUBSTANCE,s__Substance))))) )
|
Merge.kif 1145-1151 | If X is an instance of synthetic substance, then there exists Y such that Y is an instance of intentional process, X is a result of Y, and X is an instance of substance |
| ! [V__ING,V__S] : (((s__instance(V__ING,s__Class) & s__subclass(V__ING,s__Substance) & s__instance(V__S,s__Class) & s__instance(V__S,s__CorpuscularObject)) => (s__ingredient(V__ING,V__S) => (? [V__PROC,V__X,V__Y] : ((s__instance(V__PROC,s__Process) & s__instance(V__X,V__ING) & s__patient(V__PROC,V__X) & s__instance(V__Y,V__S) & s__result(V__PROC,V__Y)))))) )
|
Merge.kif 1289-1297 | If X is an ingredient in Y, then there exist Z, W, V such that Z is an instance of process, W is an instance of X, W is a patient of Z, V is an instance of Y, and V is a result of Z |
| ! [V__LANG] : ((s__instance(V__LANG,s__ConstructedLanguage) => (? [V__PLAN] : ((s__instance(V__PLAN,s__Planning) & s__result(V__PLAN,V__LANG))))) )
|
Merge.kif 1559-1564 | If X is an instance of constructed language, then there exists Y such that Y is an instance of planning and X is a result of Y |
| ! [V__DEATH : $i,V__ORG : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__ORG, s__Organism) & s__experiencer(V__DEATH, V__ORG)) => ( ? [V__REM:$i, V__OBJ:$i] : ((s__result(V__DEATH, V__REM) & s__instance(V__REM, s__OrganicObject) & s__holdsDuring(s__FutureFn(s__WhenFn(V__DEATH)), s__attribute(V__REM, s__Dead)) & (s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__REM)) => s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__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 |
| ! [V__REP] : ((s__instance(V__REP,s__Replication) => (? [V__BODY] : ((s__instance(V__BODY,s__ReproductiveBody) & s__result(V__REP,V__BODY))))) )
|
Merge.kif 10570-10575 | If X is an instance of replication, then there exists Y such that Y is an instance of reproductive body and Y is a result of X |
| ! [V__DECISION] : ((s__instance(V__DECISION,s__LegalDecision) => (? [V__DECIDE,V__LD] : ((s__instance(V__LD,s__Class) & (s__instance(V__DECIDE,s__Deciding) & s__result(V__DECIDE,V__LD) & s__instance(V__DECISION,V__LD) & s__earlier(s__WhenFn(V__DECIDE) ,s__WhenFn(V__DECISION))))))) )
|
Merge.kif 11048-11055 | If X is an instance of legal decision, then there exist Y, Z such that Y is an instance of deciding, Z is a result of Y, X is an instance of Z, and the time of existence of Y happens earlier than the time of existence of X |
| ! [V__COMPOUND] : ((s__instance(V__COMPOUND,s__CompoundSubstance) => (? [V__ELEMENT1,V__ELEMENT2,V__PROCESS] : ((s__instance(V__ELEMENT1,s__ElementalSubstance) & s__instance(V__ELEMENT2,s__ElementalSubstance) & ~((V__ELEMENT1 = V__ELEMENT2)) & s__instance(V__PROCESS,s__ChemicalSynthesis) & s__resource(V__PROCESS,V__ELEMENT1) & s__resource(V__PROCESS,V__ELEMENT2) & s__result(V__PROCESS,V__COMPOUND))))) )
|
Merge.kif 12825-12835 | If X is an instance of compound substance, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of elemental substance (3) Z is an instance of elemental substance (4) equal Y (5) Z (6) W is an instance of chemical synthesis (7) Y is a resource for W (8) Z is a resource for W (9) X is a result of W |
| ! [V__DEVELOP] : ((s__instance(V__DEVELOP,s__ContentDevelopment) => (? [V__OBJ] : ((s__instance(V__OBJ,s__ContentBearingObject) & s__result(V__DEVELOP,V__OBJ))))) )
|
Merge.kif 12965-12970 | If X is an instance of content development, then there exists Y such that Y is an instance of content bearing object and Y is a result of X |
| ! [V__ACTION] : ((s__instance(V__ACTION,s__Creation) => (? [V__RESULT] : (s__result(V__ACTION,V__RESULT)))) )
|
Merge.kif 13080-13083 | If X is an instance of creation, then there exists Y such that Y is a result of X |
| ! [V__MAKING] : ((s__instance(V__MAKING,s__Making) => (? [V__ARTIFACT] : ((s__instance(V__ARTIFACT,s__Artifact) & s__result(V__MAKING,V__ARTIFACT))))) )
|
Merge.kif 13107-13112 | If X is an instance of making, then there exists Y such that Y is an instance of artifact and Y is a result of X |
| ! [V__ARTIFACT] : ((s__instance(V__ARTIFACT,s__StationaryArtifact) => (? [V__BUILD] : ((s__instance(V__BUILD,s__Constructing) & s__result(V__BUILD,V__ARTIFACT))))) )
|
Merge.kif 13124-13129 | If X is an instance of stationary artifact, then there exists Y such that Y is an instance of constructing and X is a result of Y |
| ! [V__COOK] : ((s__instance(V__COOK,s__Cooking) => (? [V__FOOD] : ((s__instance(V__FOOD,s__FoodForFn(s__Human)) & s__result(V__COOK,V__FOOD))))) )
|
Merge.kif 13157-13162 | If X is an instance of cooking, then there exists Y such that Y is an instance of food for human and Y is a result of X |
| ! [V__SMOKE] : ((s__instance(V__SMOKE,s__Smoke) => (? [V__BURNING] : ((s__instance(V__BURNING,s__Combustion) & s__result(V__BURNING,V__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 |
| ! [V__HORMONE] : ((s__instance(V__HORMONE,s__Hormone) => (? [V__PROCESS,V__GLAND] : ((s__instance(V__PROCESS,s__Process) & (s__instance(V__GLAND,s__Gland) & s__instrument(V__PROCESS,V__GLAND) & s__result(V__PROCESS,V__HORMONE)))))) )
|
Merge.kif 15157-15163 | If X is an instance of hormone, then there exist Y, Z such that Z is an instance of gland, Z is an instrument for Y, and X is a result of Y |
| ! [V__STRUCTURE] : ((s__instance(V__STRUCTURE,s__AbnormalAnatomicalStructure) => (? [V__PROC] : ((s__instance(V__PROC,s__PathologicProcess) & s__result(V__PROC,V__STRUCTURE))))) )
|
Merge.kif 15251-15256 | If X is an instance of abnormal anatomical structure, then there exists Y such that Y is an instance of pathologic process and X is a result of Y |
| ! [V__PART] : ((s__instance(V__PART,s__BodyPart) => (? [V__PROC] : ((s__instance(V__PROC,s__PhysiologicProcess) & s__result(V__PROC,V__PART))))) )
|
Merge.kif 15272-15277 | If X is an instance of body part, then there exists Y such that Y is an instance of physiologic process and X is a result of Y |
| ! [V__TEXT] : ((s__instance(V__TEXT,s__Text) => (? [V__WRITE] : ((s__instance(V__WRITE,s__Writing) & s__result(V__WRITE,V__TEXT))))) )
|
Merge.kif 15666-15671 | If X is an instance of text, then there exists Y such that Y is an instance of writing and X is a result of Y |
| ! [V__AGENT,V__TEXTCLASS] : (((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__TEXTCLASS,s__Class) & s__subclass(V__TEXTCLASS,s__ContentBearingObject)) => (s__authors(V__AGENT,V__TEXTCLASS) => (? [V__PROCESS,V__INSTANCE] : ((s__instance(V__PROCESS,s__Process) & (s__agent(V__PROCESS,V__AGENT) & s__instance(V__INSTANCE,V__TEXTCLASS) & s__result(V__PROCESS,V__INSTANCE))))))) )
|
Merge.kif 15752-15758 | If X is the author of Y, then there exist Z, W such that X is an agent of Z, W is an instance of Y, and W is a result of Z |
| ! [V__ARTIFACT] : ((s__instance(V__ARTIFACT,s__Artifact) => (? [V__MAKING] : ((s__instance(V__MAKING,s__Making) & s__result(V__MAKING,V__ARTIFACT))))) )
|
Merge.kif 15970-15975 | If X is an instance of artifact, then there exists Y such that Y is an instance of making and X is a result of Y |
| ! [V__PRODUCT] : ((s__instance(V__PRODUCT,s__Product) => (? [V__MANUFACTURE] : ((s__instance(V__MANUFACTURE,s__Manufacture) & s__result(V__MANUFACTURE,V__PRODUCT))))) )
|
Merge.kif 15980-15985 | If X is an instance of product, then there exists Y such that Y is an instance of manufacture and X is a result of Y |
| ! [V__MACHINE] : ((s__instance(V__MACHINE,s__Machine) => (! [V__PROC] : ((s__instance(V__PROC,s__Process) => (s__instrument(V__PROC,V__MACHINE) => (? [V__RESOURCE,V__RESULT] : ((s__instance(V__RESOURCE,s__Object) & (s__resource(V__PROC,V__RESOURCE) & s__result(V__PROC,V__RESULT)))))))))) )
|
Merge.kif 16403-16411 | If X is an instance of machine, then For all Process Y: if X is an instrument for Y, then there exist Z, W such that Z is a resource for Y, and W is a result of Y |
| ! [V__CP] : ((s__instance(V__CP,s__ComputerProgramming) => (? [V__C] : ((s__instance(V__C,s__ComputerProgram) & s__result(V__CP,V__C))))) )
|
Merge.kif 17144-17149 | If X is an instance of computer programming, then there exists Y such that Y is an instance of computer program and Y is a result of X |
| ! [V__PLAN,V__OBJ] : (((s__instance(V__PLAN,s__Plan) & s__instance(V__OBJ,s__ContentBearingObject) & s__containsInformation(V__OBJ,V__PLAN)) => (? [V__PLANNING] : ((s__instance(V__PLANNING,s__Planning) & s__result(V__PLANNING,V__OBJ))))) )
|
Merge.kif 17155-17163 | If X is an instance of plan, Y is an instance of content bearing object, and Y contains information X, then there exists Z such that Z is an instance of planning and Y is a result of Z |
| ! [V__X,V__Y] : (((s__instance(V__X,s__Process) & s__instance(V__Y,s__Class) & s__subclass(V__Y,s__Making)) => (s__instance(V__X,s__MakingFn(V__Y)) => (? [V__OBJECT] : ((s__instance(V__OBJECT,V__Y) & s__result(V__X,V__OBJECT)))))) )
|
Merge.kif 18724-18729 | If X is an instance of the making of Y, then there exists Z such that Z is an instance of Y and Z is a result of X |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|