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 2423-2423 result and instrument are disjoint
s__documentation(s__result__m,s__ChineseLanguage,'"(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下埃里克建了一栋房子这命题,房子是个 result。"')

chinese_format.kif 1895-1896
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 2462-2464
s__domain(s__result__m,n__1,s__Process)

Merge.kif 2459-2459 The number 1 argument of result is an instance of process
s__domain(s__result__m,n__2,s__Entity)

Merge.kif 2460-2460 The number 2 argument of result is an instance of entity
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__result__m,s__CaseRole)

Merge.kif 2457-2457 result is an instance of case role
s__instance(s__PartialValuedRelation,s__SetOrClass)

s__instance(s__result__m,s__PartialValuedRelation)

Merge.kif 2458-2458 result is an instance of partial valued relation
s__subrelation(s__result__m,s__patient__m)

Merge.kif 2456-2456 result is a subrelation of patient

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


s__disjointRelation(s__resource__m,s__result__m)

Merge.kif 2421-2421 resource and result are disjoint
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 187-187
s__termFormat(s__ChineseLanguage,s__result__m,'"结果"')

chinese_format.kif 184-184
s__termFormat(s__ChineseTraditionalLanguage,s__result__m,'"結果"')

domainEnglishFormat.kif 49777-49777
s__termFormat(s__EnglishLanguage,s__result__m,'"result"')

domainEnglishFormat.kif 49776-49776

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11844-11851 A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
( ! [V__ARTIFACT] :
   (((( ? [V__BUILD] :
           ((s__instance(V__BUILD,s__Constructing) &
               s__result(V__BUILD,V__ARTIFACT))))
       =>
       s__instance(V__ARTIFACT,s__StationaryArtifact))
     &
     (s__instance(V__ARTIFACT,s__StationaryArtifact) =>
       ( ? [V__BUILD] :
         ((s__instance(V__BUILD,s__Constructing) &
             s__result(V__BUILD,V__ARTIFACT))))))
)
)

Merge.kif 12186-12191 There exists a process such that the process is an instance of constructing and an entity is a result of the process if and only if the entity is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18863-18870
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16975-16981
( ! [V__WRITE,V__TEXT,V__X] :
   (((s__subclass(V__TEXT,s__ContentBearingObject) &
         s__instance(V__X,s__Agent))
       =>
       (((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 18837-18846
( ! [V__AGENT,V__C,V__CUST,V__LOC2,V__LOC1] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__LOC1,s__Object))
       =>
       (((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 540-556
( ! [V__COPY,V__THING1,V__THING2] :
   (((s__instance(V__THING1,s__Object) &
         s__instance(V__THING2,s__Object))
       =>
       (((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 18524-18529
( ! [V__AGENT,V__CREATE,V__PROP] :
   ((s__instance(V__AGENT,s__CognitiveAgent) =>
       (((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 9063-9084
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9033-9054
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 72-81
( ! [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__INFO,V__CBO,V__EVENT] :
   ((s__instance(V__INFO,s__Proposition) =>
       (((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 1508-1514
( ! [V__CBO,V__EVENT] :
   (((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 10379-10387
( ! [V__RESULT,V__EXPERIMENT] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__result(V__EXPERIMENT,V__RESULT))
     =>
     (s__instance(V__RESULT,s__Formula)))
   )
)

UXExperimentalTerms.kif 4001-4005
( ! [V__DEVELOP,V__WEAPON,V__FACILITY] :
   (((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__P,V__D,V__G] :
   (((s__instance(V__P,s__Proposition) &
         s__instance(V__D,s__Process))
       =>
       (((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 14352-14357
( ! [V__C,V__H] :
   (((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 16258-16264
( ! [V__AGENT,V__RESULT,V__HELPING] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__RESULT,s__Physical))
       =>
       (((s__instance(V__HELPING,s__Helping) &
             s__agent(V__HELPING,V__AGENT)
           &
           s__result(V__HELPING,V__RESULT))
       =>
       (( ? [V__PATIENT] :
           ((s__instance(V__PATIENT,s__CognitiveAgent) &
               (~((V__AGENT = V__PATIENT))
                 &
                 (s__patient(V__HELPING,V__PATIENT)
                 |
                 s__experiencer(V__HELPING,V__PATIENT))
             &
             s__wants(V__PATIENT,V__RESULT)))))))))
)
)

MilitaryProcesses.kif 1418-1430
( ! [V__P,V__N1,V__IC,V__E1,V__E2] :
   (((s__instance(V__N1,s__RealNumber) &
         s__instance(V__N1,s__UnitOfMeasure))
       =>
       (((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,n__12)))))
)
)

Cars.kif 3169-3179
( ! [V__Q,V__C,V__M] :
   (((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 2818-2824
( ! [V__Q,V__T,V__M] :
   (((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 2854-2860
( ! [V__ABSOLUTEMETER,V__OBJ,V__MEASURE,V__QUANTITY] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__QUANTITY,s__LengthMeasure))
       =>
       (((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__instance(V__OBJ2,s__SelfConnectedObject) &
             (s__altitude(V__OBJ,V__OBJ2,V__QUANTITY)
             &
             s__surface(V__OBJ2,s__PlanetEarth)))))))))
)
)

MilitaryDevices.kif 1441-1451
( ! [V__BAROMETER,V__OBJ,V__MEASURE,V__QUANTITY] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__QUANTITY,s__LengthMeasure))
       =>
       (((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 1477-1484

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)))))
&
(( ? [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))))
=>
s__instance(V__COMPOUND,s__CompoundSubstance)))
)
)

Merge.kif 11913-11923 An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
( ! [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)))))
&
(( ? [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))))
=>
s__instance(V__CS,s__ConjugatedSubstance)))
)
)

Mid-level-ontology.kif 5899-5909 An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
( ! [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)))))
     &
     (( ? [V__PROCESS] :
         ((s__instance(V__PROCESS,s__IntentionalProcess) &
             s__result(V__PROCESS,V__SUBSTANCE)
           &
           s__instance(V__SUBSTANCE,s__Substance))))
     =>
     s__instance(V__SUBSTANCE,s__SyntheticSubstance)))
)
)

Merge.kif 994-1000 An entity is an instance of synthetic substance if and only if there exists a process such that the process is an instance of intentional process and the entity is a result of the process and the entity is an instance of substance
( ! [V__O,V__Y] :
   (((s__instance(V__O,s__Organization) &
         s__instance(V__Y,s__Integer))
       =>
       (((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)))))
   &
   (( ? [V__F] :
       ((s__overlapsTemporally(V__F,s__YearFn(V__Y))
       &
       s__instance(V__F,s__Founding) &
       s__result(V__F,V__O))))
=>
s__yearOfFounding(V__O,V__Y)))))
)
)

Mid-level-ontology.kif 909-915 An integer is a year of founding of an organization if and only if there exists a time interval such that the year the integer overlaps the time interval and the time interval is an instance of founding and the organization is a result of the time interval
( ! [V__O,V__ACTOR] :
   (((s__instance(V__O,s__ContentBearingPhysical) &
         s__instance(V__ACTOR,s__Human))
       =>
       ((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 18855-18861
( ! [V__TELEX,V__M,V__MSG] :
   (((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__instance(V__PROC,s__Process) &
           (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__C,V__CA,V__CB] :
   (((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 7995-8005
( ! [V__COLOR,V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__COLOR,s__SecondaryColor) &
             s__attribute(V__OBJ,V__COLOR))
         =>
         (( ? [V__PROCESS, V__RESOURCE1, V__RESOURCE2, V__PRIMARY1, V__PRIMARY2] :
             ((s__instance(V__PROCESS,s__Process) &
                 s__instance(V__RESOURCE1,s__Object) &
                 s__instance(V__RESOURCE2,s__Object) &
                 (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 17516-17529
No TPTP formula. May not be expressible in strict first order. Merge.kif 9791-9806
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 83-92
( ! [V__WEAPON,V__DISMANTLE] :
   (((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 745-753
( ! [V__TYPE,V__ORG,V__INDUSTRY] :
   (((s__subclass(V__TYPE,s__Object) &
         s__instance(V__TYPE,s__Class) &
         s__instance(V__INDUSTRY,s__IndustryAttribute))
       =>
       (((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__ITEM,V__ADVERTISING] :
   (((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__DESCRIPTION,s__Process) &
           s__instance(V__DESCRIPTIONCONTENT,s__Object) &
           (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 2287-2300
( ! [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 16020-16028
( ! [V__PLAN,V__PROC] :
   (((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__PLANNING,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 1183-1193
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25105-25131
( ! [V__R,V__RLIST,V__MLIST,V__M,V__N] :
   (((s__instance(V__RLIST,s__PositiveInteger) &
         s__instance(V__RLIST,s__MeasuringResultList) &
         s__instance(V__MLIST,s__PositiveInteger) &
         s__instance(V__MLIST,s__MeasuringList) &
         s__instance(V__M,s__Process) &
         s__instance(V__N,s__List))
       =>
       (((s__measuringResult(V__MLIST,V__RLIST)
           &
           (V__M = s__ListOrderFn(V__N,V__MLIST))
         &
         (V__R = s__ListOrderFn(V__N,V__RLIST)))
     =>
     (s__result(V__M,V__R)))))
)
)

Weather.kif 1805-1810
( ! [V__WEEK,V__PAPER] :
   ((s__instance(V__PAPER,s__Class) =>
       (((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 13152-13161
( ! [V__AGENT,V__ATTR,V__ENTITY] :
   ((s__instance(V__AGENT,s__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__agent(V__CLASSIFY,V__AGENT)
           &
           s__destination(V__CLASSIFY,V__FOOD)
         &
         s__patient(V__CLASSIFY,V__ATTR))))))))
)
)

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

Mid-level-ontology.kif 19674-19679
( ! [V__FOOD] :
   ((s__instance(V__FOOD,s__Object) =>
       ((s__attribute(V__FOOD,s__CookedAttribute) =>
           (( ? [V__PROC] :
               ((s__instance(V__PROC,s__Heating) &
                   s__result(V__PROC,V__FOOD))))))))
   )
)

Food.kif 22-27
( ! [V__FOOD] :
   ((s__instance(V__FOOD,s__Object) =>
       ((s__attribute(V__FOOD,s__RawAttribute) =>
           (~(( ? [V__PROC] :
                 ((s__instance(V__PROC,s__Cooking) &
                     s__result(V__PROC,V__FOOD)))))))))
   )
)

Mid-level-ontology.kif 19690-19696
( ! [V__FOOD] :
   ((s__instance(V__FOOD,s__Object) =>
       ((s__attribute(V__FOOD,s__RawAttribute) =>
           (~(( ? [V__PROC] :
                 ((s__instance(V__PROC,s__Heating) &
                     s__result(V__PROC,V__FOOD)))))))))
   )
)

Food.kif 38-44
( ! [V__H] :
   ((s__instance(V__H,s__Agent) =>
       ((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 18970-18977

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 is open source software produced by Articulate Software and its partners