Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - result
result

appearance as argument number 1
-------------------------


(disjointRelation result instrument) Merge.kif 2623-2623 result and instrument are disjoint
(subrelation result patient) Merge.kif 2657-2657 result is a subrelation of patient
(instance result CaseRole) Merge.kif 2658-2658 result is an instance of case role
(instance result PartialValuedRelation) Merge.kif 2659-2659 result is an instance of partial valued relation
(domain result 1 Process) Merge.kif 2660-2660 The number 1 argument of result is an instance of process
(domain result 2 Entity) Merge.kif 2661-2661 The number 2 argument of result is an instance of entity
(documentation result 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
-------------------------


(disjointRelation resource result) Merge.kif 2621-2621 resource and result are disjoint
(termFormat EnglishLanguage result "result") domainEnglishFormat.kif 49791-49791 resource and result are disjoint
(termFormat ChineseTraditionalLanguage result "結果") domainEnglishFormat.kif 49792-49792 resource and result are disjoint
(termFormat ChineseLanguage result "结果") domainEnglishFormat.kif 49793-49793 resource and result are disjoint
(format EnglishLanguage result "%2 is %n a result of %1") english_format.kif 184-184 resource and result are disjoint

antecedent
-------------------------


(=>
    (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

consequent
-------------------------


(=>
    (instance ?C Crater)
    (exists (?HOST ?EVENT ?METEOR ?BOMB)
        (and
            (hole ?C ?HOST)
            (superficialPart ?SURF
                (HoleHostFn ?C))
            (or
                (and
                    (instance ?EVENT Impacting)
                    (instrument ?EVENT ?METEOR)
                    (instance ?METEOR Meteorite))
                (and
                    (instance ?EVENT Explosion)
                    (instrument ?EVENT ?BOMB)
                    (instance ?BOMB Bomb))
                (instance ?EVENT VolcanicEruption))
            (result ?EVENT ?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
(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE 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
(=>
    (ingredient ?ING ?S)
    (exists (?PROC ?X ?Y)
        (and
            (instance ?PROC Process)
            (instance ?X ?ING)
            (patient ?PROC ?X)
            (instance ?Y ?S)
            (result ?PROC ?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
(=>
    (instance ?LANG ConstructedLanguage)
    (exists (?PLAN)
        (and
            (instance ?PLAN Planning)
            (result ?PLAN ?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
(=>
    (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
(=>
    (instance ?REP Replication)
    (exists (?BODY)
        (and
            (instance ?BODY ReproductiveBody)
            (result ?REP ?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
(=>
    (instance ?DECISION LegalDecision)
    (exists (?DECIDE ?LD)
        (and
            (instance ?DECIDE Deciding)
            (result ?DECIDE ?LD)
            (instance ?DECISION ?LD)
            (earlier
                (WhenFn ?DECIDE)
                (WhenFn ?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
(=>
    (instance ?COMPOUND CompoundSubstance)
    (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS)
        (and
            (instance ?ELEMENT1 ElementalSubstance)
            (instance ?ELEMENT2 ElementalSubstance)
            (not
                (equal ?ELEMENT1 ?ELEMENT2))
            (instance ?PROCESS ChemicalSynthesis)
            (resource ?PROCESS ?ELEMENT1)
            (resource ?PROCESS ?ELEMENT2)
            (result ?PROCESS ?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
(=>
    (instance ?DEVELOP ContentDevelopment)
    (exists (?OBJ)
        (and
            (instance ?OBJ ContentBearingObject)
            (result ?DEVELOP ?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
(=>
    (instance ?ACTION Creation)
    (exists (?RESULT)
        (result ?ACTION ?RESULT)))		 Merge.kif 13080-13083 If X is an instance of creation, then there exists Y such that Y is a result of X
(=>
    (instance ?MAKING Making)
    (exists (?ARTIFACT)
        (and
            (instance ?ARTIFACT Artifact)
            (result ?MAKING ?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
(=>
    (instance ?ARTIFACT StationaryArtifact)
    (exists (?BUILD)
        (and
            (instance ?BUILD Constructing)
            (result ?BUILD ?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
(=>
    (instance ?COOK Cooking)
    (exists (?FOOD)
        (and
            (instance ?FOOD
                (FoodForFn Human))
            (result ?COOK ?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
(=>
    (instance ?SMOKE Smoke)
    (exists (?BURNING)
        (and
            (instance ?BURNING Combustion)
            (result ?BURNING ?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
(=>
    (instance ?HORMONE Hormone)
    (exists (?PROCESS ?GLAND)
        (and
            (instance ?GLAND Gland)
            (instrument ?PROCESS ?GLAND)
            (result ?PROCESS ?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
(=>
    (instance ?STRUCTURE AbnormalAnatomicalStructure)
    (exists (?PROC)
        (and
            (instance ?PROC PathologicProcess)
            (result ?PROC ?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
(=>
    (instance ?PART BodyPart)
    (exists (?PROC)
        (and
            (instance ?PROC PhysiologicProcess)
            (result ?PROC ?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
(=>
    (instance ?TEXT Text)
    (exists (?WRITE)
        (and
            (instance ?WRITE Writing)
            (result ?WRITE ?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
(=>
    (authors ?AGENT ?TEXTCLASS)
    (exists (?PROCESS ?INSTANCE)
        (and
            (agent ?PROCESS ?AGENT)
            (instance ?INSTANCE ?TEXTCLASS)
            (result ?PROCESS ?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
(=>
    (instance ?ARTIFACT Artifact)
    (exists (?MAKING)
        (and
            (instance ?MAKING Making)
            (result ?MAKING ?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
(=>
    (instance ?PRODUCT Product)
    (exists (?MANUFACTURE)
        (and
            (instance ?MANUFACTURE Manufacture)
            (result ?MANUFACTURE ?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
(=>
    (instance ?MACHINE Machine)
    (forall (?PROC)
        (=>
            (instrument ?PROC ?MACHINE)
            (exists (?RESOURCE ?RESULT)
                (and
                    (resource ?PROC ?RESOURCE)
                    (result ?PROC ?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
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?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
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?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
(=>
    (instance ?X
        (MakingFn ?Y))
    (exists (?OBJECT)
        (and
            (instance ?OBJECT ?Y)
            (result ?X ?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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners