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


s__disjointRelation(s__result__m,s__instrument__m)

Merge.kif 2662-2662
s__documentation(s__result__m,s__ChineseLanguage,'(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下埃里克建了一栋房子这命题,房子是个 result。')

Merge.kif 2708-2709
s__documentation(s__result__m,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 2705-2707
s__domain(s__result__m,1,s__Process)

Merge.kif 2703-2703
s__domain(s__result__m,2,s__Entity)

Merge.kif 2704-2704
s__instance(s__CaseRole,s__SetOrClass)

Merge.kif 2701-2701
s__instance(s__result__m,s__PartialValuedRelation)

Merge.kif 2702-2702
s__subrelation(s__result__m,s__patient__m)

Merge.kif 2700-2700

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


s__disjointRelation(s__resource__m,s__result__m)

Merge.kif 2660-2660
s__format(s__ChineseLanguage,s__result__m,'%2 %n 是 %1 的 result')

chinese_format.kif 183-183
s__format(s__EnglishLanguage,s__result__m,'%2 is %n a result of %1')

english_format.kif 118-118
s__format(s__FrenchLanguage,s__result__m,'%2 est %n le resultat de %1')

french_format.kif 111-111
s__format(s__ItalianLanguage,s__result__m,'%2 � %n un risultato di %1')

relations-it.txt 257-257
s__format(s__PortugueseLanguage,s__result__m,'%2 e %n o resultado de %1')

portuguese_format.kif 63-63
s__format(s__ar__m,s__result__m,'%2 هو %n نَتِيجَة لـ %1')

arabic_format.kif 61-61
s__format(s__cz__m,s__result__m,'%2 %p{je} %n{nen�} v�sledkem %1')

relations-cz.txt 87-87
s__format(s__de__m,s__result__m,'%2 ist ein resultat von %1 %n{nicht}')

relations-de.txt 232-232
s__format(s__hi__m,s__result__m,'%2 %1 kaa pariNaama %n hai')

relations-hindi.txt 294-294
s__format(s__tg__m,s__result__m,'%2 %n ay ang hangga ng %1')

relations-tg.txt 449-449
s__termFormat(s__ChineseLanguage,s__result__m,'结果')

chinese_format.kif 184-184
s__termFormat(s__EnglishLanguage,s__result__m,'result')

domainEnglishFormat.kif 8723-8723
s__termFormat(s__ar__m,s__result__m,'«نَتِيجَة لـ»')

arabic_format.kif 511-511

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12318-12325
( ! [V__ARTIFACT] :
   ((? [V__BUILD] :
       (s__instance(V__BUILD,s__Constructing) &
         s__result(V__BUILD,V__ARTIFACT)))
   <=>
   s__instance(V__ARTIFACT,s__StationaryArtifact))
)

Merge.kif 12698-12703
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18357-18364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16391-16397
( ! [V__X,V__TEXT,V__WRITE] :
   ((s__attribute(V__X,s__Writer) &
       (s__instance(V__TEXT,s__Text) |
         s__instance(V__TEXT,s__Document))
       &
       s__instance(V__WRITE,s__Writing) &
       s__agent(V__WRITE,V__X)
     &
     s__result(V__WRITE,V__TEXT))
=>
s__authors(V__X,V__TEXT))
)

Biography.kif 492-501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18332-18341
( ! [V__C,V__AGENT,V__CUST,V__LOC1,V__LOC2] :
   ((s__instance(V__C,s__CateringService) &
       s__agent(V__C,V__AGENT)
     &
     s__destination(V__C,V__CUST)
   &
   s__located(V__AGENT,V__LOC1)
&
s__customer(V__CUST,V__AGENT)
&
(? [V__S,V__FOOD,V__E] :
(s__instance(V__S,s__Cooking) &
   s__agent(V__S,V__AGENT)
&
s__result(V__S,V__FOOD)
&
s__patient(V__C,V__FOOD)
&
s__instance(V__E,s__Eating) &
s__agent(V__E,V__CUST)
&
s__eventLocated(V__E,V__LOC2))))
=>
(~ (V__LOC1 = V__LOC2)))
)

Dining.kif 544-560
( ! [V__COPY,V__THING1,V__THING2] :
   ((s__instance(V__COPY,s__Copying) &
       s__resource(V__COPY,V__THING1)
     &
     s__result(V__COPY,V__THING2))
=>
s__copy(V__THING1,V__THING2))
)

Mid-level-ontology.kif 18120-18125
( ! [V__CREATE,V__PROP,V__AGENT] :
   ((s__instance(V__CREATE,s__Creation) &
       s__result(V__CREATE,V__PROP)
     &
     s__instance(V__PROP,s__Proposition) &
     s__agent(V__CREATE,V__AGENT))
=>
s__propositionOwner(V__AGENT,V__PROP))
)

Catalog.kif 167-173
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 196-205
( ! [V__DEVELOP,V__WEAPON] :
   ((s__instance(V__DEVELOP,s__DevelopingWeaponOfMassDestruction) &
       s__result(V__DEVELOP,V__WEAPON))
   =>
   s__instance(V__WEAPON,s__WeaponOfMassDestruction))
)

WMD.kif 685-689
( ! [V__EVENT,V__CBO,V__INFO] :
   ((s__instance(V__EVENT,s__OperationPlanning) &
       s__result(V__EVENT,V__CBO)
     &
     s__instance(V__CBO,s__ContentBearingObject) &
     s__containsInformation(V__CBO,V__INFO))
=>
s__instance(V__INFO,s__OperationPlan))
)

MilitaryProcesses.kif 1495-1501
( ! [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 10749-10757
( ! [V__EXPERIMENT,V__RESULT] :
   ((s__instance(V__EXPERIMENT,s__Experimenting) &
       s__result(V__EXPERIMENT,V__RESULT))
   =>
   s__instance(V__RESULT,s__Formula))
)

UXExperimentalTerms.kif 3989-3993
( ! [V__FACILITY,V__DEVELOP,V__WEAPON] :
   ((s__instance(V__FACILITY,s__NuclearWeaponProductionFacility) &
       s__instance(V__DEVELOP,s__DevelopingWeaponOfMassDestruction) &
       s__eventLocated(V__DEVELOP,V__FACILITY)
     &
     s__result(V__DEVELOP,V__WEAPON))
=>
s__instance(V__WEAPON,s__NuclearWeapon))
)

WMD.kif 649-655
( ! [V__G,V__P,V__D] :
   ((s__instance(V__G,s__Choreographing) &
       s__result(V__G,V__P)
     &
     s__realization(V__D,V__P))
=>
s__instance(V__D,s__Dancing))
)

Mid-level-ontology.kif 13701-13706
( ! [V__H,V__C] :
   ((s__instance(V__H,s__Harvesting) &
       s__result(V__H,V__C))
   =>
   (s__instance(V__C,s__PlantAnatomicalStructure) |
     s__instance(V__C,s__PlantSubstance)))
)

Mid-level-ontology.kif 15750-15756
( ! [V__HELPING,V__AGENT,V__RESULT] :
   ((s__instance(V__HELPING,s__Helping) &
       s__agent(V__HELPING,V__AGENT)
     &
     s__result(V__HELPING,V__RESULT))
=>
(? [V__PATIENT] :
   ((s__patient(V__HELPING,V__PATIENT)
     |
     s__experiencer(V__HELPING,V__PATIENT))
&
s__wants(V__PATIENT,V__RESULT))))
)

MilitaryProcesses.kif 1407-1417
( ! [V__IC,V__P,V__E1,V__E2,V__N1] :
   ((s__instance(V__IC,s__IgnitionCoil) &
       s__instance(V__P,s__ElectricTransmission) &
       s__resource(V__P,V__E1)
     &
     s__instance(V__E1,s__Electricity) &
     s__instance(V__E2,s__Electricity) &
     s__result(V__P,V__E2)
   &
   s__instrument(V__P,V__IC)
&
s__measure(V__E1,s__MeasureFn(s__Volt,V__N1)))
=>
s__approximateValue(V__N1,12))
)

Cars.kif 3126-3136
( ! [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 3371-3377
( ! [V__M,V__Q,V__S] :
   ((s__instance(V__M,s__Measuring) &
       s__result(V__M,V__Q)
     &
     s__instrument(V__M,V__S)
   &
   s__instance(V__S,s__Scales))
=>
s__instance(V__Q,s__MassMeasure))
)

Society.kif 849-855
( ! [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 3406-3412
( ! [V__MEASURE,V__OBJ,V__QUANTITY,V__ABSOLUTEMETER] :
   ((s__instance(V__MEASURE,s__Measuring) &
       s__patient(V__MEASURE,V__OBJ)
     &
     s__result(V__MEASURE,V__QUANTITY)
   &
   s__instrument(V__MEASURE,V__ABSOLUTEMETER)
&
s__instance(V__ABSOLUTEMETER,s__AbsoluteAltimeter))
=>
(? [V__OBJ2] :
(s__altitude(V__OBJ,V__OBJ2,V__QUANTITY)
&
s__surface(V__OBJ2,s__PlanetEarth))))
)

MilitaryDevices.kif 1440-1450
( ! [V__MEASURE,V__OBJ,V__QUANTITY,V__BAROMETER] :
   ((s__instance(V__MEASURE,s__Measuring) &
       s__patient(V__MEASURE,V__OBJ)
     &
     s__result(V__MEASURE,V__QUANTITY)
   &
   s__instrument(V__MEASURE,V__BAROMETER)
&
s__instance(V__BAROMETER,s__BarometricAltimeter))
=>
s__altitude(V__OBJ,s__SeaLevel,V__QUANTITY))
)

MilitaryDevices.kif 1476-1483
( ! [V__MEASURE,V__OBJ,V__QUANTITY,V__BAROMETER] :
   ((s__instance(V__MEASURE,s__Measuring) &
       s__patient(V__MEASURE,V__OBJ)
     &
     s__surface(V__OBJ,s__PlanetEarth) &
     s__result(V__MEASURE,V__QUANTITY)
   &
   s__instrument(V__MEASURE,V__BAROMETER)
&
s__instance(V__BAROMETER,s__BarometricAltimeter))
=>
s__elevation(V__OBJ,V__QUANTITY))
)

MilitaryDevices.kif 1487-1495

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [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 12391-12401
( ! [V__CS] :
   (s__instance(V__CS,s__ConjugatedSubstance) <=>
     (? [V__C1,V__C2,V__P] :
       (s__instance(V__C1,s__CompoundSubstance) &
         s__instance(V__C2,s__CompoundSubstance) &
         (~ (V__C1 = V__C2))
         &
         s__instance(V__P,s__ChemicalSynthesis) &
         s__resource(V__P,V__C1)
       &
       s__resource(V__P,V__C2)
     &
     s__result(V__P,V__CS))))
)

Mid-level-ontology.kif 6166-6176
( ! [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 1088-1094
( ! [V__O,V__Y] :
   (s__yearOfFounding(V__O,V__Y)
   <=>
   (? [V__F] :
     (s__overlapsTemporally(V__F,s__YearFn(V__Y))
   &
   s__instance(V__F,s__Founding) &
   s__result(V__F,V__O))))
)

Mid-level-ontology.kif 1355-1361
( ! [V__ACTOR,V__O] :
   (s__actedIn(V__ACTOR,V__O)
   =>
   (? [V__PERF] :
     (s__instance(V__PERF,s__DramaticActing) &
       s__patient(V__PERF,V__ACTOR)
     &
     s__result(V__PERF,V__O))))
)

Mid-level-ontology.kif 18349-18355
( ! [V__MSG,V__TELEX,V__M] :
   ((s__destination(V__MSG,V__TELEX)
     &
     s__instance(V__MSG,s__Messaging) &
     s__patient(V__MSG,V__M)
   &
   s__instance(V__TELEX,s__Telex))
=>
(? [V__PROC,V__TEXT] :
   (s__instrument(V__PROC,V__TELEX)
   &
   s__result(V__PROC,V__TEXT)
&
s__represents(V__TEXT,V__M)
&
s__instance(V__TEXT,s__Text) &
s__before(s__BeginFn(s__WhenFn(V__MSG))
,s__BeginFn(s__WhenFn(V__PROC))))))
)

Communications.kif 202-214
( ! [V__AUTONOTIFY,V__AUTOPROCESS,V__NOTIFICATION] :
   ((s__instance(V__AUTONOTIFY,s__AutomatedNotificationSystem) &
       s__instance(V__AUTOPROCESS,s__AutomatedProcess) &
       s__instance(V__AUTOPROCESS,s__Notifying) &
       s__instance(V__NOTIFICATION,s__Notification) &
       s__agent(V__AUTOPROCESS,V__AUTONOTIFY))
   =>
   s__result(V__AUTOPROCESS,V__NOTIFICATION))
)

Facebook.kif 659-666
( ! [V__BT,V__EMPLOYEE] :
   ((s__instance(V__BT,s__BusinessTrip) &
       s__agent(V__BT,V__EMPLOYEE))
   =>
   (? [V__TRAVELREQUEST,V__CORPORATION] :
     (s__employs(V__CORPORATION,V__EMPLOYEE)
     &
     s__instance(V__TRAVELREQUEST,s__Requesting) &
     s__agent(V__TRAVELREQUEST,V__EMPLOYEE)
   &
   s__result(V__TRAVELREQUEST,V__BT))))
)

TravelPolicies.kif 486-495
( ! [V__CA,V__CB,V__C] :
   ((s__instance(V__CA,s__ChemicalAcid) &
       s__instance(V__CB,s__ChemicalBase) &
       s__instance(V__C,s__ChemicalProcess) &
       s__patient(V__C,V__CA)
     &
     s__patient(V__C,V__CB))
=>
(? [V__CS] :
   (s__instance(V__CS,s__ChemicalSalt) &
     s__result(V__C,V__CS))))
)

Mid-level-ontology.kif 8402-8412
( ! [V__COLOR,V__OBJ] :
   ((s__instance(V__COLOR,s__SecondaryColor) &
       s__attribute(V__OBJ,V__COLOR))
   =>
   (? [V__PROCESS,V__RESOURCE1,V__RESOURCE2,V__PRIMARY1,V__PRIMARY2] :
     (s__result(V__PROCESS,V__OBJ)
     &
     s__resource(V__PROCESS,V__RESOURCE1)
   &
   s__resource(V__PROCESS,V__RESOURCE2)
&
s__attribute(V__RESOURCE1,V__PRIMARY1)
&
s__attribute(V__RESOURCE2,V__PRIMARY2)
&
s__instance(V__PRIMARY1,s__PrimaryColor) &
s__instance(V__PRIMARY2,s__PrimaryColor) &
(~ (V__PRIMARY1 = V__PRIMARY2)))))
)

Mid-level-ontology.kif 17100-17113
No TPTP formula. May not be expressible in strict first order. Merge.kif 10222-10237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 208-217
( ! [V__DISMANTLE,V__WEAPON] :
   ((s__instance(V__DISMANTLE,s__DismantlingWeaponOfMassDestruction) &
       s__patient(V__DISMANTLE,V__WEAPON))
   =>
   (? [V__DEVELOP] :
     (s__instance(V__DEVELOP,s__DevelopingWeaponOfMassDestruction) &
       s__result(V__DEVELOP,V__WEAPON)
     &
     s__earlier(s__WhenFn(V__DEVELOP)
  ,s__WhenFn(V__DISMANTLE)))))
)

WMD.kif 744-752
( ! [V__ORG,V__INDUSTRY,V__TYPE] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,V__INDUSTRY)
     &
     s__industryProductType(V__INDUSTRY,V__TYPE))
=>
(? [V__EVENT,V__ITEM] :
   (s__instance(V__EVENT,s__Making) &
     s__instance(V__ITEM,V__TYPE)
   &
   s__agent(V__EVENT,V__ORG)
&
s__result(V__EVENT,V__ITEM))))
)

Economy.kif 1611-1621
( ! [V__PAGE,V__ADVERTISING,V__ITEM] :
   ((s__instance(V__PAGE,s__ViewItemPage) &
       s__instance(V__ADVERTISING,s__WebListing) &
       s__component(V__ADVERTISING,V__PAGE)
     &
     s__patient(V__ADVERTISING,V__ITEM)
   &
   s__instance(V__ITEM,s__Physical))
=>
(? [V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] :
   (s__instance(V__STATING,s__Stating) &
     s__patient(V__STATING,V__DESCRIPTION)
   &
   s__refers(V__DESCRIPTION,V__ITEM)
&
s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT)
&
s__part(V__DESCRIPTIONCONTENT,V__PAGE))))
)

UXExperimentalTerms.kif 2284-2297
( ! [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 17042-17050
( ! [V__PLAN,V__PROC,V__PLANNNG] :
   ((s__instance(V__PLAN,s__Plan) &
       s__instance(V__PROC,s__Process) &
       s__represents(V__PLAN,V__PROC))
   =>
   (? [V__PLANNING,V__CBO] :
     (s__instance(V__PLANNING,s__Planning) &
       s__instance(V__CBO,s__ContentBearingPhysical) &
       s__containsInformation(V__CBO,V__PLAN)
     &
     s__result(V__PLANNNG,V__CBO)
   &
   s__earlier(s__BeginFn(s__WhenFn(V__PLANNING))
,s__BeginFn(s__WhenFn(V__PROC)))
&
s__earlier(s__EndFn(s__WhenFn(V__PLANNING))
,s__EndFn(s__WhenFn(V__PROC))))))
)

Military.kif 32-44
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1172-1182
( ! [V__USER,V__ACTION,V__STATUS] :
   ((s__instance(V__USER,s__InternetUser) &
       s__instance(V__ACTION,s__IntentionalProcess) &
       s__agent(V__ACTION,V__USER)
     &
     s__patient(V__ACTION,s__Facebook) &
     (~ (s__instance(V__STATUS,s__StatusUpdate) &
         s__result(V__ACTION,V__STATUS))))
=>
s__result(V__ACTION,s__RecentActivity))
)

Facebook.kif 307-317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25089-25115
( ! [V__PAPER,V__WEEK] :
   ((s__subclass(V__PAPER,s__Newspaper) &
       s__instance(V__WEEK,s__Week))
     =>
     (? [V__PUBLICATION,V__ISSUE] :
       (s__instance(V__PUBLICATION,s__Publication) &
         s__temporalPart(s__WhenFn(V__PUBLICATION)
      ,V__WEEK)
     &
     s__result(V__PUBLICATION,V__ISSUE)
   &
   s__instance(V__ISSUE,V__PAPER))))
)

Mid-level-ontology.kif 12533-12542
( ! [V__ENTITY,V__ATTR,V__AGENT] :
   ((s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT)
     &
     s__instance(V__ATTR,s__FoodRating) &
     s__instance(V__ENTITY,s__Agent))
   =>
   (? [V__FOOD,V__COOK,V__CLASSIFY] :
     (s__instance(V__COOK,s__Cooking) &
       s__agent(V__COOK,V__ENTITY)
     &
     s__result(V__COOK,V__FOOD)
   &
   s__instance(V__CLASSIFY,s__Classifying) &
   s__destination(V__CLASSIFY,V__FOOD)
&
s__patient(V__CLASSIFY,V__ATTR))))
)

Hotel.kif 2992-3004
( ! [V__FOOD] :
   (s__attribute(V__FOOD,s__CookedAttribute) =>
     (? [V__PROC] :
       (s__instance(V__PROC,s__Cooking) &
         s__result(V__PROC,V__FOOD))))
)

Mid-level-ontology.kif 19198-19203
( ! [V__FOOD] :
   (s__attribute(V__FOOD,s__RawAttribute) =>
     (~ (? [V__PROC] :
         (s__instance(V__PROC,s__Cooking) &
           s__result(V__PROC,V__FOOD)))))
)

Mid-level-ontology.kif 19214-19220
( ! [V__H] :
   (s__attribute(V__H,s__Potter) =>
     (? [V__M,V__P] :
       (s__instance(V__P,s__Pottery) &
         s__instance(V__M,s__Making) &
         s__agent(V__M,V__H)
       &
       s__result(V__M,V__P))))
)

Mid-level-ontology.kif 18473-18480

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