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 2456-2456 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 2495-2497
s__domain(s__result__m,n__1,s__Process)

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

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

s__instance(s__result__m,s__CaseRole)

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

s__instance(s__PartialValuedRelation,s__Class)

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

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

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


s__disjointRelation(s__resource__m,s__result__m)

Merge.kif 2454-2454 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 184-184
s__termFormat(s__ChineseLanguage,s__result__m,'"结果"')

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

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

domainEnglishFormat.kif 49777-49777

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11888-11895 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 12231-12236 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 19932-19939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18043-18049
( ! [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 498-507
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19906-19915
( ! [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 19593-19598
( ! [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 9495-9518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9465-9486
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 10423-10431
( ! [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__F,V__W,V__X] :
   ((s__subclass(V__X,s__FruitOrVegetable) =>
       (((s__instance(V__F,s__Fermentation) &
             s__patient(V__F,s__JuiceOfFn(V__X))
         &
         s__instance(V__X,s__WineGrape) &
         s__result(V__F,V__W))
     =>
     (s__instance(V__W,s__Wine)))))
)
)

Food.kif 1105-1112
( ! [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 15327-15332
( ! [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 17326-17332
( ! [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 3155-3165
( ! [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 2820-2826
( ! [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 2856-2862
( ! [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

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 11957-11967 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 6123-6133 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 910-916 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 19924-19930
( ! [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 8305-8315
( ! [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 18585-18598
No TPTP formula. May not be expressible in strict first order. Merge.kif 9834-9849
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 16137-16145
( ! [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 26198-26224
( ! [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 14113-14122
( ! [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 3025-3038
( ! [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 20756-20761
( ! [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 20772-20778
( ! [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 20039-20046

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