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

Merge.kif 2721-2722
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 2718-2720
s__domain(s__result__m,1,s__Process)

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

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

s__instance(s__result__m,s__PartialValuedRelation)

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

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

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


s__disjointRelation(s__resource__m,s__result__m)

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

chinese_format.kif 184-184 "结果" is the printable form of result in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__result__m,'result')

domainEnglishFormat.kif 8723-8723 "result" is the printable form of result in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12376-12383 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] :
   ((s__exists__m[V__BUILD] :
       (s__instance(V__BUILD,s__Constructing)s__and__ms__result(V__BUILD,V__ARTIFACT)))
  s__<=>
  s__instance(V__ARTIFACT,s__StationaryArtifact))
)

Merge.kif 12756-12761 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 18415-18422
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16421-16427
( ! [V__TEXT,V__X,V__WRITE] :
   ((s__subclass(V__TEXT,s__ContentBearingObject)s__and__ms__instance(V__X,s__Agent))
    s__=>((s__attribute(V__X,s__Writer)s__and__m(s__instance(V__TEXT,s__Text)s__or__ms__instance(V__TEXT,s__Document))
      s__and__ms__instance(V__WRITE,s__Writing)s__and__ms__agent(V__WRITE,V__X)
    s__and__ms__result(V__WRITE,V__TEXT))
s__=>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 18390-18399
( ! [V__AGENT,V__CUST,V__LOC1,V__C,V__LOC2] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__instance(V__LOC1,s__Object))
    s__=>((s__instance(V__C,s__CateringService)s__and__ms__agent(V__C,V__AGENT)
      s__and__ms__destination(V__C,V__CUST)
    s__and__ms__located(V__AGENT,V__LOC1)
  s__and__ms__customer(V__CUST,V__AGENT)
s__and__m(s__exists__m[V__S,V__FOOD,V__E] :
(s__instance(V__S,s__Cooking)s__and__ms__agent(V__S,V__AGENT)
s__and__ms__result(V__S,V__FOOD)
s__and__ms__patient(V__C,V__FOOD)
s__and__ms__instance(V__E,s__Eating)s__and__ms__agent(V__E,V__CUST)
s__and__ms__eventLocated(V__E,V__LOC2))))
s__=>(s__not__m(V__LOC1s__equal__mV__LOC2))))
)

Dining.kif 544-560
( ! [V__THING1,V__THING2,V__COPY] :
   ((s__instance(V__THING1,s__Object)s__and__ms__instance(V__THING2,s__Object))
    s__=>((s__instance(V__COPY,s__Copying)s__and__ms__resource(V__COPY,V__THING1)
      s__and__ms__result(V__COPY,V__THING2))
  s__=>s__copy(V__THING1,V__THING2)))
)

Mid-level-ontology.kif 18178-18183
( ! [V__AGENT,V__CREATE,V__PROP] :
   (s__instance(V__AGENT,s__CognitiveAgent)s__=>((s__instance(V__CREATE,s__Creation)s__and__ms__result(V__CREATE,V__PROP)
      s__and__ms__instance(V__PROP,s__Proposition)s__and__ms__agent(V__CREATE,V__AGENT))
  s__=>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__and__ms__result(V__DEVELOP,V__WEAPON))
  s__=>s__instance(V__WEAPON,s__WeaponOfMassDestruction))
)

WMD.kif 685-689
( ! [V__INFO,V__EVENT,V__CBO] :
   (s__instance(V__INFO,s__Proposition)s__=>((s__instance(V__EVENT,s__OperationPlanning)s__and__ms__result(V__EVENT,V__CBO)
      s__and__ms__instance(V__CBO,s__ContentBearingObject)s__and__ms__containsInformation(V__CBO,V__INFO))
  s__=>s__instance(V__INFO,s__OperationPlan)))
)

MilitaryProcesses.kif 1495-1501
( ! [V__EVENT,V__CBO] :
   ((s__instance(V__EVENT,s__Planning)s__and__ms__result(V__EVENT,V__CBO)
    s__and__ms__instance(V__CBO,s__ContentBearingObject))
  s__=>(s__exists__m[V__PLAN] :
     (s__instance(V__PLAN,s__Plan)s__and__ms__containsInformation(V__CBO,V__PLAN))))
)

Merge.kif 10807-10815
( ! [V__EXPERIMENT,V__RESULT] :
   ((s__instance(V__EXPERIMENT,s__Experimenting)s__and__ms__result(V__EXPERIMENT,V__RESULT))
  s__=>s__instance(V__RESULT,s__Formula))
)

UXExperimentalTerms.kif 3989-3993
( ! [V__FACILITY,V__DEVELOP,V__WEAPON] :
   ((s__instance(V__FACILITY,s__NuclearWeaponProductionFacility)s__and__ms__instance(V__DEVELOP,s__DevelopingWeaponOfMassDestruction)s__and__ms__eventLocated(V__DEVELOP,V__FACILITY)
    s__and__ms__result(V__DEVELOP,V__WEAPON))
s__=>s__instance(V__WEAPON,s__NuclearWeapon))
)

WMD.kif 649-655
( ! [V__P,V__D,V__G] :
   ((s__instance(V__P,s__Proposition)s__and__ms__instance(V__D,s__Process))
    s__=>((s__instance(V__G,s__Choreographing)s__and__ms__result(V__G,V__P)
      s__and__ms__realization(V__D,V__P))
  s__=>s__instance(V__D,s__Dancing)))
)

Mid-level-ontology.kif 13701-13706
( ! [V__H,V__C] :
   ((s__instance(V__H,s__Harvesting)s__and__ms__result(V__H,V__C))
  s__=>(s__instance(V__C,s__PlantAnatomicalStructure)s__or__ms__instance(V__C,s__PlantSubstance)))
)

Mid-level-ontology.kif 15780-15786
( ! [V__AGENT,V__RESULT,V__HELPING] :
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__RESULT,s__Physical))
    s__=>((s__instance(V__HELPING,s__Helping)s__and__ms__agent(V__HELPING,V__AGENT)
      s__and__ms__result(V__HELPING,V__RESULT))
  s__=>(s__exists__m[V__PATIENT] :
     (s__instance(V__PATIENT,s__CognitiveAgent)s__and__m((s__patient(V__HELPING,V__PATIENT)
      s__or__ms__experiencer(V__HELPING,V__PATIENT))
  s__and__ms__wants(V__PATIENT,V__RESULT))))))
)

MilitaryProcesses.kif 1407-1417
( ! [V__N1,V__IC,V__P,V__E1,V__E2] :
   ((s__instance(V__N1,s__RealNumber)s__and__ms__instance(V__N1,s__UnitOfMeasure))
    s__=>((s__instance(V__IC,s__IgnitionCoil)s__and__ms__instance(V__P,s__ElectricTransmission)s__and__ms__resource(V__P,V__E1)
      s__and__ms__instance(V__E1,s__Electricity)s__and__ms__instance(V__E2,s__Electricity)s__and__ms__result(V__P,V__E2)
    s__and__ms__instrument(V__P,V__IC)
  s__and__ms__measure(V__E1,s__MeasureFn(s__Volt,V__N1)))
s__=>s__approximateValue(V__N1,12)))
)

Cars.kif 3126-3136
( ! [V__M,V__Q,V__C] :
   ((s__instance(V__M,s__Measuring)s__and__ms__result(V__M,V__Q)
    s__and__ms__instrument(V__M,V__C)
  s__and__ms__instance(V__C,s__Clock))
s__=>s__instance(V__Q,s__TimeMeasure))
)

Mid-level-ontology.kif 3371-3377
( ! [V__M,V__Q,V__T] :
   ((s__instance(V__M,s__Measuring)s__and__ms__result(V__M,V__Q)
    s__and__ms__instrument(V__M,V__T)
  s__and__ms__instance(V__T,s__Thermometer))
s__=>s__instance(V__Q,s__TemperatureMeasure))
)

Mid-level-ontology.kif 3406-3412
( ! [V__OBJ,V__QUANTITY,V__MEASURE,V__ABSOLUTEMETER] :
   ((s__instance(V__OBJ,s__Physical)s__and__ms__instance(V__QUANTITY,s__LengthMeasure))
    s__=>((s__instance(V__MEASURE,s__Measuring)s__and__ms__patient(V__MEASURE,V__OBJ)
      s__and__ms__result(V__MEASURE,V__QUANTITY)
    s__and__ms__instrument(V__MEASURE,V__ABSOLUTEMETER)
  s__and__ms__instance(V__ABSOLUTEMETER,s__AbsoluteAltimeter))
s__=>(s__exists__m[V__OBJ2] :
   (s__instance(V__OBJ2,s__SelfConnectedObject)s__and__m(s__altitude(V__OBJ,V__OBJ2,V__QUANTITY)
  s__and__ms__surface(V__OBJ2,s__PlanetEarth))))))
)

MilitaryDevices.kif 1440-1450
( ! [V__OBJ,V__QUANTITY,V__MEASURE,V__BAROMETER] :
   ((s__instance(V__OBJ,s__Physical)s__and__ms__instance(V__QUANTITY,s__LengthMeasure))
    s__=>((s__instance(V__MEASURE,s__Measuring)s__and__ms__patient(V__MEASURE,V__OBJ)
      s__and__ms__result(V__MEASURE,V__QUANTITY)
    s__and__ms__instrument(V__MEASURE,V__BAROMETER)
  s__and__ms__instance(V__BAROMETER,s__BarometricAltimeter))
s__=>s__altitude(V__OBJ,s__SeaLevel,V__QUANTITY)))
)

MilitaryDevices.kif 1476-1483
( ! [V__OBJ,V__QUANTITY,V__MEASURE,V__BAROMETER] :
   ((s__instance(V__OBJ,s__SelfConnectedObject)s__and__ms__instance(V__QUANTITY,s__LengthMeasure))
    s__=>((s__instance(V__MEASURE,s__Measuring)s__and__ms__patient(V__MEASURE,V__OBJ)
      s__and__ms__surface(V__OBJ,s__PlanetEarth)s__and__ms__result(V__MEASURE,V__QUANTITY)
    s__and__ms__instrument(V__MEASURE,V__BAROMETER)
  s__and__ms__instance(V__BAROMETER,s__BarometricAltimeter))
s__=>s__elevation(V__OBJ,V__QUANTITY)))
)

MilitaryDevices.kif 1487-1495
( ! [V__MEASURE,V__QUANTITY,V__ALTIMETER] :
   ((s__instance(V__MEASURE,s__Measuring)s__and__ms__result(V__MEASURE,V__QUANTITY)
    s__and__ms__instrument(V__MEASURE,V__ALTIMETER)
  s__and__ms__instance(V__ALTIMETER,s__Altimeter))
s__=>s__instance(V__QUANTITY,s__AltitudeMeasure))
)

MilitaryDevices.kif 1425-1431

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)s__<=>
    (s__exists__m[V__ELEMENT1,V__ELEMENT2,V__PROCESS] :
       (s__instance(V__ELEMENT1,s__ElementalSubstance)s__and__ms__instance(V__ELEMENT2,s__ElementalSubstance)s__and__m(s__not__m(V__ELEMENT1s__equal__mV__ELEMENT2))
      s__and__ms__instance(V__PROCESS,s__ChemicalSynthesis)s__and__ms__resource(V__PROCESS,V__ELEMENT1)
    s__and__ms__resource(V__PROCESS,V__ELEMENT2)
  s__and__ms__result(V__PROCESS,V__COMPOUND))))
)

Merge.kif 12449-12459 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)s__<=>
    (s__exists__m[V__C1,V__C2,V__P] :
       (s__instance(V__C1,s__CompoundSubstance)s__and__ms__instance(V__C2,s__CompoundSubstance)s__and__m(s__not__m(V__C1s__equal__mV__C2))
      s__and__ms__instance(V__P,s__ChemicalSynthesis)s__and__ms__resource(V__P,V__C1)
    s__and__ms__resource(V__P,V__C2)
  s__and__ms__result(V__P,V__CS))))
)

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)s__<=>
    (s__exists__m[V__PROCESS] :
       (s__instance(V__PROCESS,s__IntentionalProcess)s__and__ms__result(V__PROCESS,V__SUBSTANCE)
      s__and__ms__instance(V__SUBSTANCE,s__Substance))))
)

Merge.kif 1100-1106 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__and__ms__instance(V__Y,s__Integer))
    s__=>(s__yearOfFounding(V__O,V__Y)
    s__<=>
    (s__exists__m[V__F] :
       (s__overlapsTemporally(V__F,s__YearFn(V__Y))
    s__and__ms__instance(V__F,s__Founding)s__and__ms__result(V__F,V__O)))))
)

Mid-level-ontology.kif 1355-1361 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__and__ms__instance(V__ACTOR,s__Human))
    s__=>(s__actedIn(V__ACTOR,V__O)
    s__=>(s__exists__m[V__PERF] :
       (s__instance(V__PERF,s__DramaticActing)s__and__ms__patient(V__PERF,V__ACTOR)
      s__and__ms__result(V__PERF,V__O)))))
)

Mid-level-ontology.kif 18407-18413
( ! [V__MSG,V__TELEX,V__M] :
   ((s__destination(V__MSG,V__TELEX)
    s__and__ms__instance(V__MSG,s__Messaging)s__and__ms__patient(V__MSG,V__M)
  s__and__ms__instance(V__TELEX,s__Telex))
s__=>(s__exists__m[V__PROC,V__TEXT] :
   (s__instance(V__PROC,s__Process)s__and__m(s__instrument(V__PROC,V__TELEX)
  s__and__ms__result(V__PROC,V__TEXT)
s__and__ms__represents(V__TEXT,V__M)
s__and__ms__instance(V__TEXT,s__Text)s__and__ms__before(s__BeginFn(s__WhenFn(V__MSG))
,s__BeginFn(s__WhenFn(V__PROC)))))))
)

Communications.kif 202-214
( ! [V__CA,V__CB,V__C] :
   ((s__instance(V__CA,s__ChemicalAcid)s__and__ms__instance(V__CB,s__ChemicalBase)s__and__ms__instance(V__C,s__ChemicalProcess)s__and__ms__patient(V__C,V__CA)
    s__and__ms__patient(V__C,V__CB))
s__=>(s__exists__m[V__CS] :
   (s__instance(V__CS,s__ChemicalSalt)s__and__ms__result(V__C,V__CS))))
)

Mid-level-ontology.kif 8402-8412
( ! [V__OBJ,V__COLOR] :
   (s__instance(V__OBJ,s__Object)s__=>((s__instance(V__COLOR,s__SecondaryColor)s__and__ms__attribute(V__OBJ,V__COLOR))
    s__=>(s__exists__m[V__PROCESS,V__RESOURCE1,V__RESOURCE2,V__PRIMARY1,V__PRIMARY2] :
       (s__instance(V__PROCESS,s__Process)s__and__ms__instance(V__RESOURCE1,s__Object)s__and__ms__instance(V__RESOURCE2,s__Object)s__and__m(s__result(V__PROCESS,V__OBJ)
      s__and__ms__resource(V__PROCESS,V__RESOURCE1)
    s__and__ms__resource(V__PROCESS,V__RESOURCE2)
  s__and__ms__attribute(V__RESOURCE1,V__PRIMARY1)
s__and__ms__attribute(V__RESOURCE2,V__PRIMARY2)
s__and__ms__instance(V__PRIMARY1,s__PrimaryColor)s__and__ms__instance(V__PRIMARY2,s__PrimaryColor)s__and__m(s__not__m(V__PRIMARY1s__equal__mV__PRIMARY2)))))))
)

Mid-level-ontology.kif 17158-17171
No TPTP formula. May not be expressible in strict first order. Merge.kif 10280-10295
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__and__ms__patient(V__DISMANTLE,V__WEAPON))
  s__=>(s__exists__m[V__DEVELOP] :
     (s__instance(V__DEVELOP,s__DevelopingWeaponOfMassDestruction)s__and__ms__result(V__DEVELOP,V__WEAPON)
    s__and__ms__earlier(s__WhenFn(V__DEVELOP)
  ,s__WhenFn(V__DISMANTLE)))))
)

WMD.kif 744-752
( ! [V__TYPE,V__INDUSTRY,V__ORG] :
   ((s__subclass(V__TYPE,s__Object)s__and__ms__instance(V__TYPE,s__SetOrClass)s__and__ms__instance(V__INDUSTRY,s__IndustryAttribute))
    s__=>((s__instance(V__ORG,s__Organization)s__and__ms__attribute(V__ORG,V__INDUSTRY)
      s__and__ms__industryProductType(V__INDUSTRY,V__TYPE))
  s__=>(s__exists__m[V__EVENT,V__ITEM] :
     (s__instance(V__EVENT,s__Making)s__and__ms__instance(V__ITEM,V__TYPE)
    s__and__ms__agent(V__EVENT,V__ORG)
  s__and__ms__result(V__EVENT,V__ITEM)))))
)

Economy.kif 1611-1621
( ! [V__PAGE,V__ADVERTISING,V__ITEM] :
   ((s__instance(V__PAGE,s__ViewItemPage)s__and__ms__instance(V__ADVERTISING,s__WebListing)s__and__ms__component(V__ADVERTISING,V__PAGE)
    s__and__ms__patient(V__ADVERTISING,V__ITEM)
  s__and__ms__instance(V__ITEM,s__Physical))
s__=>(s__exists__m[V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] :
   (s__instance(V__DESCRIPTION,s__Process)s__and__ms__instance(V__DESCRIPTIONCONTENT,s__Object)s__and__m(s__instance(V__STATING,s__Stating)s__and__ms__patient(V__STATING,V__DESCRIPTION)
  s__and__ms__refers(V__DESCRIPTION,V__ITEM)
s__and__ms__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT)
s__and__ms__part(V__DESCRIPTIONCONTENT,V__PAGE)))))
)

UXExperimentalTerms.kif 2284-2297
( ! [V__PLAN,V__OBJ] :
   ((s__instance(V__PLAN,s__Plan)s__and__ms__instance(V__OBJ,s__ContentBearingObject)s__and__ms__containsInformation(V__OBJ,V__PLAN))
  s__=>(s__exists__m[V__PLANNING] :
     (s__instance(V__PLANNING,s__Planning)s__and__ms__result(V__PLANNING,V__OBJ))))
)

Merge.kif 17094-17102
( ! [V__PLANNNG,V__PLAN,V__PROC] :
   (s__instance(V__PLANNNG,s__Process)s__=>((s__instance(V__PLAN,s__Plan)s__and__ms__instance(V__PROC,s__Process)s__and__ms__represents(V__PLAN,V__PROC))
    s__=>(s__exists__m[V__PLANNING,V__CBO] :
       (s__instance(V__PLANNING,s__Planning)s__and__ms__instance(V__CBO,s__ContentBearingPhysical)s__and__ms__containsInformation(V__CBO,V__PLAN)
      s__and__ms__result(V__PLANNNG,V__CBO)
    s__and__ms__earlier(s__BeginFn(s__WhenFn(V__PLANNING))
,s__BeginFn(s__WhenFn(V__PROC)))
s__and__ms__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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25169-25195
( ! [V__PAPER,V__WEEK] :
   (s__instance(V__PAPER,s__SetOrClass)s__=>((s__subclass(V__PAPER,s__Newspaper)s__and__ms__instance(V__WEEK,s__Week))
      s__=>(s__exists__m[V__PUBLICATION,V__ISSUE] :
         (s__instance(V__PUBLICATION,s__Publication)s__and__ms__temporalPart(s__WhenFn(V__PUBLICATION)
        ,V__WEEK)
      s__and__ms__result(V__PUBLICATION,V__ISSUE)
    s__and__ms__instance(V__ISSUE,V__PAPER)))))
)

Mid-level-ontology.kif 12533-12542
( ! [V__AGENT,V__ENTITY,V__ATTR] :
   (s__instance(V__AGENT,s__Agent)s__=>((s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT)
      s__and__ms__instance(V__ATTR,s__FoodRating)s__and__ms__instance(V__ENTITY,s__Agent))
    s__=>(s__exists__m[V__FOOD,V__COOK,V__CLASSIFY] :
       (s__instance(V__COOK,s__Cooking)s__and__ms__agent(V__COOK,V__ENTITY)
      s__and__ms__result(V__COOK,V__FOOD)
    s__and__ms__instance(V__CLASSIFY,s__Classifying)s__and__ms__destination(V__CLASSIFY,V__FOOD)
  s__and__ms__patient(V__CLASSIFY,V__ATTR)))))
)

Hotel.kif 2992-3004
( ! [V__FOOD] :
   (s__instance(V__FOOD,s__Object)s__=>(s__attribute(V__FOOD,s__CookedAttribute)s__=>(s__exists__m[V__PROC] :
         (s__instance(V__PROC,s__Cooking)s__and__ms__result(V__PROC,V__FOOD)))))
)

Mid-level-ontology.kif 19256-19261
( ! [V__FOOD] :
   (s__instance(V__FOOD,s__Object)s__=>(s__attribute(V__FOOD,s__RawAttribute)s__=>(s__not__m(s__exists__m[V__PROC] :
         (s__instance(V__PROC,s__Cooking)s__and__ms__result(V__PROC,V__FOOD))))))
)

Mid-level-ontology.kif 19272-19278
( ! [V__H] :
   (s__instance(V__H,s__Agent)s__=>(s__attribute(V__H,s__Potter)s__=>(s__exists__m[V__M,V__P] :
         (s__instance(V__P,s__Pottery)s__and__ms__instance(V__M,s__Making)s__and__ms__agent(V__M,V__H)
        s__and__ms__result(V__M,V__P)))))
)

Mid-level-ontology.kif 18531-18538
( ! [V__ROOM] :
   (s__instance(V__ROOM,s__Object)s__=>(s__attribute(V__ROOM,s__ThemeRoom)s__=>(s__exists__m[V__DESIGN,V__PROP] :
         (s__instance(V__DESIGN,s__Designing)s__and__ms__result(V__DESIGN,V__PROP)
        s__and__ms__represents(V__ROOM,V__PROP)))))
)

Hotel.kif 1041-1047
( ! [V__X] :
   (s__instance(V__X,s__Agent)s__=>(s__attribute(V__X,s__AeronauticalEngineer)s__=>(s__exists__m[V__SKILL] :
         (s__instance(V__SKILL,s__SetOrClass)s__and__ms__subclass(V__SKILL,s__Process)s__and__m(s__hasSkill(V__SKILL,V__X)
        s__and__m(s__forall__m[V__P] :
         (s__instance(V__P,s__Process)s__=>(s__instance(V__P,V__SKILL)
          s__=>((s__exists__m[V__CONS,V__OBJ,V__PT] :
               (s__subclass(V__PT,s__Object)s__and__ms__instance(V__PT,s__SetOrClass)s__and__m(s__instance(V__CONS,s__Making)s__and__m(s__instance(V__OBJ,s__Aircraft)s__or__m(s__instance(V__OBJ,V__PT)
              s__and__ms__typicalPart(V__PT,s__Aircraft)))
          s__and__ms__result(V__CONS,V__OBJ)
        s__and__ms__subProcess(V__P,V__CONS))))
s__or__m(s__exists__m[V__DESIGN,V__PLAN,V__OBJ,V__PT] :
(s__subclass(V__PT,s__Object)s__and__ms__instance(V__PT,s__SetOrClass)s__and__m(s__instance(V__DESIGN,s__Designing)s__and__m(s__instance(V__OBJ,s__Aircraft)s__or__m(s__instance(V__OBJ,V__PT)
s__and__ms__typicalPart(V__PT,s__Aircraft)))
s__and__ms__result(V__DESIGN,V__PLAN)
s__and__ms__represents(V__PLAN,V__OBJ)
s__and__ms__subProcess(V__P,V__DESIGN)))))))))))))
)

Biography.kif 203-232
No TPTP formula. May not be expressible in strict first order. Economy.kif 4632-4652

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