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 2416-2416 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 2455-2457
s__domain(s__result__m,n__1,s__Process)

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

Merge.kif 2453-2453 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 2450-2450 result is an instance of case role
s__instance(s__PartialValuedRelation,s__SetOrClass)

s__instance(s__result__m,s__PartialValuedRelation)

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

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

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


s__disjointRelation(s__resource__m,s__result__m)

Merge.kif 2414-2414 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 49693-49693
s__termFormat(s__EnglishLanguage,s__result__m,'"result"')

domainEnglishFormat.kif 49692-49692

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11520-11527 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 11862-11867 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 18417-18424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16510-16516
( ! [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 18392-18401
( ! [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 18180-18185
( ! [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 195-204
( ! [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 10093-10101
( ! [V__RESULT,V__EXPERIMENT] :
   ((s__instance(V__EXPERIMENT,s__Experimenting) &
       s__result(V__EXPERIMENT,V__RESULT))
   =>
   s__instance(V__RESULT,s__Formula) )
)

UXExperimentalTerms.kif 3996-4000
( ! [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 13701-13706
( ! [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 15781-15787
( ! [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 3130-3140
( ! [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 3366-3372
( ! [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 3402-3408
( ! [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
( ! [V__BAROMETER,V__OBJ,V__MEASURE,V__QUANTITY] :
   ((s__instance(V__OBJ,s__SelfConnectedObject) &
       s__instance(V__QUANTITY,s__LengthMeasure))
     =>
     (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 1488-1496
( ! [V__MEASURE,V__ALTIMETER,V__QUANTITY] :
   ((s__instance(V__MEASURE,s__Measuring) &
       s__result(V__MEASURE,V__QUANTITY)
     &
     s__instrument(V__MEASURE,V__ALTIMETER)
   &
   s__instance(V__ALTIMETER,s__Altimeter))
=>
s__instance(V__QUANTITY,s__AltitudeMeasure) )
)

MilitaryDevices.kif 1426-1432

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 11589-11599 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 6166-6176 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 991-997 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 1350-1356 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 18409-18415
( ! [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 8405-8415
( ! [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 17160-17173
No TPTP formula. May not be expressible in strict first order. Merge.kif 9602-9617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 207-216
( ! [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__SetOrClass) &
       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 2282-2295
( ! [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 15596-15604
( ! [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 25182-25208
( ! [V__WEEK,V__PAPER] :
   (s__instance(V__PAPER,s__SetOrClass) =>
     (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__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 2998-3011
( ! [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 19269-19274
( ! [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 19285-19291
( ! [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 18533-18540
( ! [V__ROOM] :
   (s__instance(V__ROOM,s__Object) =>
     s__attribute(V__ROOM,s__ThemeRoom) =>
     ( ? [V__DESIGN, V__PROP] :
       ((s__instance(V__DESIGN,s__Designing) &
           s__result(V__DESIGN,V__PROP)
         &
         s__represents(V__ROOM,V__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