Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - result
result

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


(disjointRelation result instrument) Merge.kif 2416-2416
(documentation result ChineseLanguage "(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下'埃里克建了一栋房子'这命题,房子是个 result。") chinese_format.kif 1895-1896
(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 2455-2457
(domain result 1 Process) Merge.kif 2452-2452
(domain result 2 Entity) Merge.kif 2453-2453
(instance result CaseRole) Merge.kif 2450-2450
(instance result PartialValuedRelation) Merge.kif 2451-2451
(subrelation result patient) Merge.kif 2449-2449

appearance as argument number 2
-------------------------


(disjointRelation resource result) Merge.kif 2414-2414
(format ChineseLanguage result "%2 %n 是 %1 的 result") chinese_format.kif 183-183
(format EnglishLanguage result "%2 is %n a result of %1") english_format.kif 187-187
(termFormat ChineseLanguage result "结果") chinese_format.kif 184-184
(termFormat ChineseTraditionalLanguage result "結果") domainEnglishFormat.kif 49693-49693
(termFormat EnglishLanguage result "result") domainEnglishFormat.kif 49692-49692

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


(<=>
    (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 11520-11527
(<=>
    (exists (?BUILD)
        (and
            (instance ?BUILD Constructing)
            (result ?BUILD ?ARTIFACT)))
    (instance ?ARTIFACT StationaryArtifact))
Merge.kif 11862-11867
(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))
Mid-level-ontology.kif 18417-18424
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))
Mid-level-ontology.kif 16510-16516
(=>
    (and
        (attribute ?X Writer)
        (or
            (instance ?TEXT Text)
            (instance ?TEXT Document))
        (instance ?WRITE Writing)
        (agent ?WRITE ?X)
        (result ?WRITE ?TEXT))
    (authors ?X ?TEXT))
Biography.kif 492-501
(=>
    (and
        (directed ?DIRECTOR ?MOVIE)
        (instance ?FILMMAKING FilmMaking)
        (instance ?FILMCREW Organization)
        (leader ?FILMCREW ?DIRECTOR)
        (agent ?FILMMAKING ?FILMCREW)
        (result ?FILMMAKING ?MOVIE))
    (holdsDuring
        (WhenFn ?FILMMAKING)
        (attribute ?DIRECTOR FilmDirector)))
Mid-level-ontology.kif 18392-18401
(=>
    (and
        (instance ?C CateringService)
        (agent ?C ?AGENT)
        (destination ?C ?CUST)
        (located ?AGENT ?LOC1)
        (customer ?CUST ?AGENT)
        (exists (?S ?FOOD ?E)
            (and
                (instance ?S Cooking)
                (agent ?S ?AGENT)
                (result ?S ?FOOD)
                (patient ?C ?FOOD)
                (instance ?E Eating)
                (agent ?E ?CUST)
                (eventLocated ?E ?LOC2))))
    (not
        (equal ?LOC1 ?LOC2)))
Dining.kif 540-556
(=>
    (and
        (instance ?COPY Copying)
        (resource ?COPY ?THING1)
        (result ?COPY ?THING2))
    (copy ?THING1 ?THING2))
Mid-level-ontology.kif 18180-18185
(=>
    (and
        (instance ?CREATE Creation)
        (result ?CREATE ?PROP)
        (instance ?PROP Proposition)
        (agent ?CREATE ?AGENT))
    (propositionOwner ?AGENT ?PROP))
Catalog.kif 167-173
(=>
    (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 195-204
(=>
    (and
        (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
        (result ?DEVELOP ?WEAPON))
    (instance ?WEAPON WeaponOfMassDestruction))
WMD.kif 685-689
(=>
    (and
        (instance ?EVENT OperationPlanning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OperationPlan))
MilitaryProcesses.kif 1508-1514
(=>
    (and
        (instance ?EVENT Planning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject))
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (containsInformation ?CBO ?PLAN))))
Merge.kif 10093-10101
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (result ?EXPERIMENT ?RESULT))
    (instance ?RESULT Formula))
UXExperimentalTerms.kif 3996-4000
(=>
    (and
        (instance ?FACILITY NuclearWeaponProductionFacility)
        (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
        (eventLocated ?DEVELOP ?FACILITY)
        (result ?DEVELOP ?WEAPON))
    (instance ?WEAPON NuclearWeapon))
WMD.kif 649-655
(=>
    (and
        (instance ?G Choreographing)
        (result ?G ?P)
        (realization ?D ?P))
    (instance ?D Dancing))
Mid-level-ontology.kif 13701-13706
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?C))
    (or
        (instance ?C PlantAnatomicalStructure)
        (instance ?C PlantSubstance)))
Mid-level-ontology.kif 15781-15787
(=>
    (and
        (instance ?HELPING Helping)
        (agent ?HELPING ?AGENT)
        (result ?HELPING ?RESULT))
    (exists (?PATIENT)
        (and
            (not
                (equal ?AGENT ?PATIENT))
            (or
                (patient ?HELPING ?PATIENT)
                (experiencer ?HELPING ?PATIENT))
            (wants ?PATIENT ?RESULT))))
MilitaryProcesses.kif 1418-1430
(=>
    (and
        (instance ?IC IgnitionCoil)
        (instance ?P ElectricTransmission)
        (resource ?P ?E1)
        (instance ?E1 Electricity)
        (instance ?E2 Electricity)
        (result ?P ?E2)
        (instrument ?P ?IC)
        (measure ?E1
            (MeasureFn Volt ?N1)))
    (approximateValue ?N1 12))
Cars.kif 3130-3140
(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?C)
        (instance ?C Clock))
    (instance ?Q TimeMeasure))
Mid-level-ontology.kif 3366-3372
(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?T)
        (instance ?T Thermometer))
    (instance ?Q TemperatureMeasure))
Mid-level-ontology.kif 3402-3408
(=>
    (and
        (instance ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?ABSOLUTEMETER)
        (instance ?ABSOLUTEMETER AbsoluteAltimeter))
    (exists (?OBJ2)
        (and
            (altitude ?OBJ ?OBJ2 ?QUANTITY)
            (surface ?OBJ2 PlanetEarth))))
MilitaryDevices.kif 1441-1451
(=>
    (and
        (instance ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?BAROMETER)
        (instance ?BAROMETER BarometricAltimeter))
    (altitude ?OBJ SeaLevel ?QUANTITY))
MilitaryDevices.kif 1477-1484
(=>
    (and
        (instance ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (surface ?OBJ PlanetEarth)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?BAROMETER)
        (instance ?BAROMETER BarometricAltimeter))
    (elevation ?OBJ ?QUANTITY))
MilitaryDevices.kif 1488-1496
(=>
    (and
        (instance ?MEASURE Measuring)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?ALTIMETER)
        (instance ?ALTIMETER Altimeter))
    (instance ?QUANTITY AltitudeMeasure))
MilitaryDevices.kif 1426-1432

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (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 11589-11599
(<=>
    (instance ?CS ConjugatedSubstance)
    (exists (?C1 ?C2 ?P)
        (and
            (instance ?C1 CompoundSubstance)
            (instance ?C2 CompoundSubstance)
            (not
                (equal ?C1 ?C2))
            (instance ?P ChemicalSynthesis)
            (resource ?P ?C1)
            (resource ?P ?C2)
            (result ?P ?CS))))
Mid-level-ontology.kif 6166-6176
(<=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 991-997
(<=>
    (yearOfFounding ?O ?Y)
    (exists (?F)
        (and
            (overlapsTemporally ?F
                (YearFn ?Y))
            (instance ?F Founding)
            (result ?F ?O))))
Mid-level-ontology.kif 1350-1356
(=>
    (actedIn ?ACTOR ?O)
    (exists (?PERF)
        (and
            (instance ?PERF DramaticActing)
            (patient ?PERF ?ACTOR)
            (result ?PERF ?O))))
Mid-level-ontology.kif 18409-18415
(=>
    (and
        (destination ?MSG ?TELEX)
        (instance ?MSG Messaging)
        (patient ?MSG ?M)
        (instance ?TELEX Telex))
    (exists (?PROC ?TEXT)
        (and
            (instrument ?PROC ?TELEX)
            (result ?PROC ?TEXT)
            (represents ?TEXT ?M)
            (instance ?TEXT Text)
            (before
                (BeginFn
                    (WhenFn ?MSG))
                (BeginFn
                    (WhenFn ?PROC))))))
Communications.kif 202-214
(=>
    (and
        (instance ?CA ChemicalAcid)
        (instance ?CB ChemicalBase)
        (instance ?C ChemicalProcess)
        (patient ?C ?CA)
        (patient ?C ?CB))
    (exists (?CS)
        (and
            (instance ?CS ChemicalSalt)
            (result ?C ?CS))))
Mid-level-ontology.kif 8405-8415
(=>
    (and
        (instance ?COLOR SecondaryColor)
        (attribute ?OBJ ?COLOR))
    (exists (?PROCESS ?RESOURCE1 ?RESOURCE2 ?PRIMARY1 ?PRIMARY2)
        (and
            (result ?PROCESS ?OBJ)
            (resource ?PROCESS ?RESOURCE1)
            (resource ?PROCESS ?RESOURCE2)
            (attribute ?RESOURCE1 ?PRIMARY1)
            (attribute ?RESOURCE2 ?PRIMARY2)
            (instance ?PRIMARY1 PrimaryColor)
            (instance ?PRIMARY2 PrimaryColor)
            (not
                (equal ?PRIMARY1 ?PRIMARY2)))))
Mid-level-ontology.kif 17160-17173
(=>
    (and
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG))
    (exists (?REM)
        (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 9602-9617
(=>
    (and
        (instance ?DEATH Death)
        (instance ?REM OrganismRemains)
        (instance ?ORG Organism)
        (holdsDuring ?T2
            (part ?OBJ ?REM))
        (holdsDuring ?T1
            (part ?OBJ ?ORG))
        (earlier ?T1 ?T2)
        (experiencer ?DEATH ?ORG))
    (result ?DEATH ?REM))
Mid-level-ontology.kif 207-216
(=>
    (and
        (instance ?DISMANTLE DismantlingWeaponOfMassDestruction)
        (patient ?DISMANTLE ?WEAPON))
    (exists (?DEVELOP)
        (and
            (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
            (result ?DEVELOP ?WEAPON)
            (earlier
                (WhenFn ?DEVELOP)
                (WhenFn ?DISMANTLE)))))
WMD.kif 745-753
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ?INDUSTRY)
        (industryProductType ?INDUSTRY ?TYPE))
    (exists (?EVENT ?ITEM)
        (and
            (instance ?EVENT Making)
            (instance ?ITEM ?TYPE)
            (agent ?EVENT ?ORG)
            (result ?EVENT ?ITEM))))
Economy.kif 1611-1621
(=>
    (and
        (instance ?PAGE ViewItemPage)
        (instance ?ADVERTISING WebListing)
        (component ?ADVERTISING ?PAGE)
        (patient ?ADVERTISING ?ITEM)
        (instance ?ITEM Physical))
    (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
        (and
            (instance ?STATING Stating)
            (patient ?STATING ?DESCRIPTION)
            (refers ?DESCRIPTION ?ITEM)
            (result ?DESCRIPTION ?DESCRIPTIONCONTENT)
            (part ?DESCRIPTIONCONTENT ?PAGE))))
UXExperimentalTerms.kif 2282-2295
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))
Merge.kif 15596-15604
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?PROC Process)
        (represents ?PLAN ?PROC))
    (exists (?PLANNING ?CBO)
        (and
            (instance ?PLANNING Planning)
            (instance ?CBO ContentBearingPhysical)
            (containsInformation ?CBO ?PLAN)
            (result ?PLANNING ?CBO)
            (earlier
                (BeginFn
                    (WhenFn ?PLANNING))
                (BeginFn
                    (WhenFn ?PROC)))
            (earlier
                (EndFn
                    (WhenFn ?PLANNING))
                (EndFn
                    (WhenFn ?PROC))))))
Military.kif 32-44
(=>
    (and
        (instance ?PSYOP PsychologicalOperation)
        (agent ?PSYOP ?AGENT)
        (patient ?PSYOP ?TARGET))
    (hasPurpose ?PSYOP
        (exists (?PROCESS ?RESULT)
            (and
                (agent ?PROCESS ?TARGET)
                (result ?PROCESS ?RESULT)
                (desires ?AGENT ?RESULT)))))
MilitaryProcesses.kif 1183-1193
(=>
    (and
        (instance ?X SurveillanceSystem)
        (member ?X ?VIDEO)
        (member ?X ?DISPLAY)
        (located ?VIDEO ?LOC1)
        (instance ?VIDEO Camera)
        (located ?DISPLAY ?LOC2)
        (not
            (equal ?LOC1 ?LOC2))
        (instance ?DISPLAY VideoDisplay))
    (hasPurpose ?X
        (exists (?PROC ?VID ?RL ?CAPTURE)
            (and
                (instance ?PROC Process)
                (eventLocated ?PROC ?LOC1)
                (represents ?VID ?PROC)
                (instrument ?CAPTURE Camera)
                (result ?CAPTURE ?VID)
                (instance ?RL RadiatingLight)
                (instrument ?RL ?DISPLAY)
                (patient ?RL ?VID)
                (before
                    (BeginFn ?PROC)
                    (BeginFn ?CAPTURE))
                (before
                    (BeginFn ?CAPTURE)
                    (BeginFn ?RL))))))
Mid-level-ontology.kif 25182-25208
(=>
    (and
        (subclass ?PAPER Newspaper)
        (instance ?WEEK Week))
    (exists (?PUBLICATION ?ISSUE)
        (and
            (instance ?PUBLICATION Publication)
            (temporalPart
                (WhenFn ?PUBLICATION) ?WEEK)
            (result ?PUBLICATION ?ISSUE)
            (instance ?ISSUE ?PAPER))))
Mid-level-ontology.kif 12533-12542
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR FoodRating)
        (instance ?ENTITY Agent))
    (exists (?FOOD ?COOK ?CLASSIFY)
        (and
            (instance ?COOK Cooking)
            (agent ?COOK ?ENTITY)
            (result ?COOK ?FOOD)
            (instance ?CLASSIFY Classifying)
            (agent ?CLASSIFY ?AGENT)
            (destination ?CLASSIFY ?FOOD)
            (patient ?CLASSIFY ?ATTR))))
Hotel.kif 2998-3011
(=>
    (attribute ?FOOD CookedAttribute)
    (exists (?PROC)
        (and
            (instance ?PROC Cooking)
            (result ?PROC ?FOOD))))
Mid-level-ontology.kif 19269-19274
(=>
    (attribute ?FOOD CookedAttribute)
    (exists (?PROC)
        (and
            (instance ?PROC Heating)
            (result ?PROC ?FOOD))))
Food.kif 22-27
(=>
    (attribute ?FOOD RawAttribute)
    (not
        (exists (?PROC)
            (and
                (instance ?PROC Cooking)
                (result ?PROC ?FOOD)))))
Mid-level-ontology.kif 19285-19291
(=>
    (attribute ?FOOD RawAttribute)
    (not
        (exists (?PROC)
            (and
                (instance ?PROC Heating)
                (result ?PROC ?FOOD)))))
Food.kif 38-44
(=>
    (attribute ?H Potter)
    (exists (?M ?P)
        (and
            (instance ?P Pottery)
            (instance ?M Making)
            (agent ?M ?H)
            (result ?M ?P))))
Mid-level-ontology.kif 18533-18540
(=>
    (attribute ?ROOM ThemeRoom)
    (exists (?DESIGN ?PROP)
        (and
            (instance ?DESIGN Designing)
            (result ?DESIGN ?PROP)
            (represents ?ROOM ?PROP))))
Hotel.kif 1045-1051

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners