Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Process
Process
عَمَلِيَّة, Carnot's_ideal_cycle, Carnot_cycle, Christianisation, Christianization, Doppler_effect, Doppler_shift, Processo, Renaissance, Renascence, ability, abiogenesis, abort, about-face, absence, absenteeism, abut, access, accident, accompaniment, account, acoustic_impedance, acoustic_reactance, acoustic_resistance, acquire, act_of_God, action, activate, activation, active, activity, actuate, adapted, adaptive_radiation, add_on, add_up, addle, address, adiabatic_process, adjoin, adjournment, adjustment, adopt, adulteration, advance, advent, aetiology, affect, affinity, affirm...

appearance as argument number 1
-------------------------


s__documentation(s__Process,s__ChineseLanguage,' 这个类别属于发生的事物,它具有时间的部分或阶段。 例子包括:历时颇长的事件如足球比赛或赛跑,行动如追踪、阅读和及各种生物过程。它的形式定义是:任何在某时间发生 而又不是 Object 的存在着。 注:Process 内可以有 Object 参加者介入,例如球赛的球员。四维的 知识本体论认为 Process 的时空幅度可分成大约和时间轴平衡的数个时间阶段。')

Merge.kif 1666-1669
s__documentation(s__Process,s__EnglishLanguage,'The class of things that happen and have temporal parts or stages. Examples include extended events like a football match or a race, actions like Pursuing and Reading, and biological processes. The formal definition is: anything that occurs in time but is not an Object. Note that a Process may have participants inside it which are Objects, such as the players in a football match. In a 4D ontology, a Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis.')

Merge.kif 1657-1665
s__externalImage(s__Process,'http://upload.wikimedia.org/wikipedia/commons/3/38/Clepsydra_Geyser_at_Fountain_Paint_Pot_in_Yellowstone-750px.JPG')

pictureList.kif 6795-6795
s__subclass(s__Process,s__Physical)

Merge.kif 1656-1656

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


s__instance(s__SEO,s__Process)

UXExperimentalTerms.kif 2582-2582
s__range(s__AbortedFn__m,s__Process)

MilitaryProcesses.kif 2380-2380
s__rangeSubclass(s__OperatingFn__m,s__Process)

Mid-level-ontology.kif 15560-15560
s__instance(s__AddToCart,s__SetOrClass)

UXExperimentalTerms.kif 1500-1500
s__subclass(s__AgentPatientProcess,s__Process)

Media.kif 164-164
s__instance(s__AutomatedProcess,s__SetOrClass)

Facebook.kif 652-652
s__subclass(s__BreakingRecord,s__Process)

Mid-level-ontology.kif 28108-28108
s__instance(s__CausingHappiness,s__SetOrClass)

Mid-level-ontology.kif 21662-21662
s__subclass(s__CausingUnhappiness,s__Process)

Mid-level-ontology.kif 21682-21682
s__instance(s__Checkout,s__SetOrClass)

UXExperimentalTerms.kif 1664-1664
s__subclass(s__ContentBearingProcess,s__Process)

Merge.kif 1345-1345
s__subclass(s__DualObjectProcess,s__Process)

Merge.kif 1671-1671
s__instance(s__IntentionalProcess,s__SetOrClass)

Merge.kif 10462-10462
s__subclass(s__InternalChange,s__Process)

Merge.kif 12442-12442
s__instance(s__Motion,s__SetOrClass)

Merge.kif 10915-10915
s__subclass(s__NaturalProcess,s__Process)

Merge.kif 10459-10459
s__instance(s__PowerGeneration,s__SetOrClass)

Economy.kif 2067-2067
s__instance(s__SingleAgentProcess,s__SetOrClass)

Merge.kif 1684-1684
s__subclass(s__WatchItem,s__Process)

UXExperimentalTerms.kif 1793-1793
s__termFormat(s__ChineseLanguage,s__Process,'过程')

chinese_format.kif 851-851
s__termFormat(s__EnglishLanguage,s__Process,'process')

english_format.kif 538-538
s__termFormat(s__FrenchLanguage,s__Process,'processus')

french_format.kif 527-527
s__termFormat(s__Hindi,s__Process,'prakriyaa')

terms-hindi.txt 58-58
s__termFormat(s__ItalianLanguage,s__Process,'Processo')

terms-it.txt 59-59
s__termFormat(s__PortugueseLanguage,s__Process,'Processo')

portuguese_format.kif 479-479

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__AbortedFn__m,2,s__Process)

MilitaryProcesses.kif 2379-2379
s__domain(s__StartFn__m,1,s__Process)

Mid-level-ontology.kif 580-580
s__domain(s__StopFn__m,1,s__Process)

Mid-level-ontology.kif 594-594
s__domain(s__agent__m,1,s__Process)

Merge.kif 2564-2564
s__domain(s__benefits__m,1,s__Process)

Mid-level-ontology.kif 20762-20762
s__domain(s__causes__m,1,s__Process)

Merge.kif 3880-3880
s__domain(s__causes__m,2,s__Process)

Merge.kif 3881-3881
s__domain(s__commentator__m,2,s__Process)

Mid-level-ontology.kif 13560-13560
s__domain(s__conversionEvent__m,2,s__Process)

UXExperimentalTerms.kif 3033-3033
s__domain(s__coordinates__m,1,s__Process)

MilitaryProcesses.kif 1664-1664
s__domain(s__coordinates__m,2,s__Process)

MilitaryProcesses.kif 1665-1665
s__domain(s__destination__m,1,s__Process)

Merge.kif 2577-2577
s__domain(s__direction__m,1,s__Process)

Merge.kif 17197-17197
s__domain(s__eventPartlyLocated__m,1,s__Process)

Merge.kif 4209-4209
s__domain(s__exclusiveEvent__m,2,s__Process)

UXExperimentalTerms.kif 4528-4528
s__domain(s__experiencer__m,1,s__Process)

Merge.kif 2594-2594
s__domain(s__experimentalControlProcess__m,2,s__Process)

UXExperimentalTerms.kif 4020-4020
s__domain(s__experimentalVariableProcess__m,2,s__Process)

UXExperimentalTerms.kif 4067-4067
s__domain(s__hinders__m,1,s__Process)

Merge.kif 4501-4501
s__domain(s__instrument__m,1,s__Process)

Merge.kif 2609-2609
s__domain(s__involvedInEvent__m,1,s__Process)

Merge.kif 2545-2545
s__domain(s__manner__m,1,s__Process)

Merge.kif 1774-1774
s__domain(s__origin__m,1,s__Process)

Merge.kif 2623-2623
s__domain(s__patient__m,1,s__Process)

Merge.kif 2638-2638
s__domain(s__playsRoleInEvent__m,3,s__Process)

Mid-level-ontology.kif 21108-21108

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__EVENT,V__OBJ] :
   ((s__webVisitor(V__EVENT,V__OBJ)
     &
     s__instance(s__webVisitor__m,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__webVisitor__m,V__EVENT))
)

Mid-level-ontology.kif 21125-21131
No TPTP formula. May not be expressible in strict first order. Hotel.kif 495-510
( ! [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X] :
   ((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
     &
     s__instance(V__RM,V__FR)
   &
   s__element(V__RM,s__PropertyFn(V__AGENT))
&
s__instance(V__R,s__Renting) &
s__patient(V__R,V__RM)
&
s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
s__price(V__X,s__MeasureFn(0,s__UnitedStatesDollar),V__AGENT))
)

Hotel.kif 810-831
( ! [V__AGENT,V__PHYS,V__X,V__CUST] :
   ((s__freePropertyAmenity(V__AGENT,V__PHYS)
     &
     s__instance(V__X,V__PHYS)
   &
   s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
     (s__agent(V__X,V__CUST)
     |
     s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
s__price(V__X,s__MeasureFn(0,s__UnitedStatesDollar),V__AGENT))
)

Hotel.kif 518-533
( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P] :
   ((s__freeRoomAmenity(V__ROOM,V__OBJ)
     &
     s__subclass(V__OBJ,s__Object) &
     s__instance(V__R,V__ROOM)
   &
   s__stays(V__GUEST,V__R)
&
s__element(V__R,s__PropertyFn(V__HOTEL))
&
s__instance(V__O,V__OBJ)
&
s__located(V__O,V__R)
&
s__instance(V__P,s__Process) &
s__agent(V__P,V__GUEST)
&
(s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 333-348
( ! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S] :
   ((s__freeRoomAmenity(V__ROOM,V__PROC)
     &
     s__subclass(V__PROC,s__Process) &
     s__instance(V__R,V__ROOM)
   &
   s__stays(V__GUEST,V__R)
&
s__element(V__R,s__PropertyFn(V__HOTEL))
&
(s__instance(V__P,V__PROC)
|
(s__instance(V__S,V__PROC)
&
s__subProcess(V__P,V__S)))
&
s__located(V__P,V__R))
=>
s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 350-363
( ! [V__COMMENTING,V__PROCESS] :
   ((s__instance(V__COMMENTING,s__Commenting) &
       s__instance(V__PROCESS,s__Process) &
       s__patient(V__COMMENTING,V__PROCESS))
   =>
   (? [V__AGENT,V__SPEAKING,V__LOOKING] :
     (s__instance(V__AGENT,s__Agent) &
       s__instance(V__SPEAKING,s__Speaking) &
       s__instance(V__LOOKING,s__Looking) &
       s__agent(V__SPEAKING,V__AGENT)
     &
     s__agent(V__LOOKING,V__AGENT)
   &
   s__patient(V__LOOKING,V__PROCESS)
&
s__refers(V__SPEAKING,V__PROCESS))))
)

Mid-level-ontology.kif 13543-13556
( ! [V__DEV,V__EV] :
   ((s__instance(V__DEV,s__ElectricDevice) &
       s__instance(V__EV,s__Process) &
       s__instrument(V__EV,V__DEV))
   =>
   (? [V__R] :
     (s__instance(V__R,s__Electricity) &
       s__resource(V__EV,V__R))))
)

Mid-level-ontology.kif 3010-3018
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4552-4569
( ! [V__PLAN,V__PROC,V__PLANNNG] :
   ((s__instance(V__PLAN,s__Plan) &
       s__instance(V__PROC,s__Process) &
       s__represents(V__PLAN,V__PROC))
   =>
   (? [V__PLANNING,V__CBO] :
     (s__instance(V__PLANNING,s__Planning) &
       s__instance(V__CBO,s__ContentBearingPhysical) &
       s__containsInformation(V__CBO,V__PLAN)
     &
     s__result(V__PLANNNG,V__CBO)
   &
   s__earlier(s__BeginFn(s__WhenFn(V__PLANNING))
,s__BeginFn(s__WhenFn(V__PROC)))
&
s__earlier(s__EndFn(s__WhenFn(V__PLANNING))
,s__EndFn(s__WhenFn(V__PROC))))))
)

Military.kif 32-44
( ! [V__PROC,V__LOC,V__SUB] :
   ((s__instance(V__PROC,s__Process) &
       s__eventLocated(V__PROC,V__LOC)
     &
     s__subProcess(V__SUB,V__PROC))
=>
s__eventLocated(V__SUB,V__LOC))
)

Mid-level-ontology.kif 21386-21391
( ! [V__PROCESS,V__PROCESS_CLASS,V__ACCESSING,V__AGENT,V__TIMETOFIRST] :
   ((s__instance(V__PROCESS,V__PROCESS_CLASS)
     &
     s__subclass(V__PROCESS_CLASS,s__Process) &
     s__instance(V__ACCESSING,s__AccessingWebPage) &
     s__instance(V__AGENT,s__Agent) &
     s__agent(V__PROCESS,V__AGENT)
   &
   s__agent(V__ACCESSING,V__AGENT)
&
s__during(V__PROCESS,V__ACCESSING)
&
s__instance(V__TIMETOFIRST,s__TimeInterval) &
(~ (? [V__PROCESS2] :
   (s__instance(V__PROCESS2,V__PROCESS_CLASS)
   &
   s__agent(V__PROCESS2,V__AGENT)
&
s__during(V__PROCESS2,V__ACCESSING)
&
s__before(s__BeginFn(s__WhenFn(V__PROCESS2))
,s__BeginFn(s__WhenFn(V__PROCESS))))))
&
(s__BeginFn(s__WhenFn(V__ACCESSING))
= s__BeginFn(s__WhenFn(V__TIMETOFIRST)))
&
(s__BeginFn(s__WhenFn(V__PROCESS))
= s__EndFn(s__WhenFn(V__TIMETOFIRST))))
=>
(s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING)
= V__TIMETOFIRST))
)

UXExperimentalTerms.kif 1703-1725
( ! [V__RAINFALL,V__RAIN,V__PH] :
   ((s__instance(V__RAINFALL,s__Process) &
       s__patient(V__RAINFALL,V__RAIN)
     &
     s__instance(V__RAIN,s__Water) &
     s__measure(V__RAIN,s__MeasureFn(V__PH,s__PHValue)))
=>
s__lessThan(V__PH,5.6))
)

Geography.kif 2490-2496
( ! [V__ARG1,V__ARG2,V__PROC] :
   ((s__instance(s__eventPartlyLocated__m,s__CaseRole) &
       s__eventPartlyLocated(V__ARG1,V__ARG2)
     &
     s__instance(V__ARG1,V__PROC)
   &
   s__subclass(V__PROC,s__Process))
=>
s__capability(V__PROC,s__eventPartlyLocated__m,V__ARG2))
)

Merge.kif 4026-4032
( ! [V__TEST,V__EXPERIMENT1,V__EXPERIMENT2,V__VARIABLE1,V__VARIABLE2] :
   ((s__instance(V__TEST,s__MultivariateTest) &
       s__instance(V__EXPERIMENT1,s__Experimenting) &
       s__instance(V__EXPERIMENT2,s__Experimenting) &
       s__instance(V__VARIABLE1,s__Process) &
       s__instance(V__VARIABLE2,s__Process) &
       s__experimentalVariableProcess(V__EXPERIMENT1,V__VARIABLE1)
     &
     s__experimentalVariableProcess(V__EXPERIMENT2,V__VARIABLE2))
=>
(? [V__PROCESS] :
   (s__instance(V__PROCESS,s__Process) &
     s__subProcess(V__VARIABLE1,V__PROCESS)
   &
   s__subProcess(V__VARIABLE2,V__PROCESS)
&
(~ (V__VARIABLE1 = V__VARIABLE2)))))
)

UXExperimentalTerms.kif 4693-4708
( ! [V__VARIABLE,V__EXPERIMENT,V__AGENT] :
   ((s__instance(V__VARIABLE,s__Process) &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__AGENT,s__Agent) &
       s__experiencer(V__AGENT,s__Agent) &
       s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
   =>
   (? [V__CONTROL_GROUP] :
     (s__instance(V__CONTROL_GROUP,s__Collection) &
       s__member(V__AGENT,V__CONTROL_GROUP)
     &
     s__controlGroup(V__CONTROL_GROUP,V__EXPERIMENT))))
)

UXExperimentalTerms.kif 4046-4057
( ! [V__VARIABLE,V__EXPERIMENT,V__AGENT] :
   ((s__instance(V__VARIABLE,s__Process) &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__AGENT,s__Agent) &
       s__experiencer(V__AGENT,s__Agent) &
       s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
   =>
   (? [V__TREATMENT_GROUP] :
     (s__instance(V__TREATMENT_GROUP,s__Collection) &
       s__member(V__AGENT,V__TREATMENT_GROUP)
     &
     s__treatmentGroup(V__TREATMENT_GROUP,V__EXPERIMENT))))
)

UXExperimentalTerms.kif 4163-4174
( ! [V__VISITOR,V__COLL,V__EXPERIMENT,V__PROC] :
   ((s__instance(V__VISITOR,s__Human) &
       s__instance(V__COLL,s__Collection) &
       (! [V__EXPERIMENTING,V__EVENT] :
         ((s__instance(V__EXPERIMENTING,s__Experimenting) &
             s__instance(V__EVENT,s__Process) &
             s__member(V__EVENT,s__QualifyingEventsFn(V__EXPERIMENT))
         &
         s__capability(V__EVENT,s__experiencer__m,V__VISITOR))
     =>
     s__member(V__EVENT,V__COLL)))
&
(s__member(V__PROC,V__COLL)
=>
(s__instance(V__PROC,s__Process) &
(? [V__EXP] :
   (s__instance(V__EXP,s__Experimenting) &
     s__member(V__PROC,s__QualifyingEventsFn(V__EXP))
&
s__capability(V__PROC,s__experiencer__m,V__VISITOR))))))
=>
(s__QualifiedTreatmentsFn(V__VISITOR)
= V__COLL))
)

UXExperimentalTerms.kif 4439-4462
( ! [V__AREA,V__TYPE] :
   ((s__naturalHazardTypeInArea(V__AREA,V__TYPE)
     &
     s__subclass(V__TYPE,s__Process))
   =>
   (? [V__ITEM] :
     (s__instance(V__ITEM,V__TYPE)
     &
     s__located(V__ITEM,V__AREA)
   &
   s__overlapsTemporally(s__WhenFn(V__ITEM)
,s__WhenFn(V__AREA)))))
)

Geography.kif 2215-2223
( ! [V__AGENT,V__CATALOG,V__CLASS,V__PROCESSINST,V__PROCESS,V__OBJ] :
   ((s__offers(V__AGENT,V__CATALOG)
     &
     s__catalogItem(V__CLASS,V__CATALOG)
   &
   s__subclass(V__CLASS,s__Object) &
   s__instance(V__PROCESSINST,V__PROCESS)
&
s__subclass(V__PROCESS,s__Process) &
s__instance(V__OBJ,V__CLASS)
&
s__patient(V__PROCESSINST,V__OBJ))
=>
s__capability(V__PROCESS,s__agent__m,V__AGENT))
)

Catalog.kif 97-106
( ! [V__AGENT,V__CATALOG,V__CLASS] :
   ((s__offers(V__AGENT,V__CATALOG)
     &
     s__catalogItem(V__CLASS,V__CATALOG)
   &
   s__subclass(V__CLASS,s__Process))
=>
s__capability(V__CLASS,s__agent__m,V__AGENT))
)

Catalog.kif 87-92
( ! [V__AGENT,V__CATALOG,V__TIMEINT,V__CLASS,V__PROCESSINSTANCE,V__PROCESS,V__OBJ] :
   ((s__offersAtTime(V__AGENT,V__CATALOG,V__TIMEINT)
     &
     s__catalogItem(V__CLASS,V__CATALOG)
   &
   s__subclass(V__CLASS,s__Object) &
   s__instance(V__PROCESSINSTANCE,V__PROCESS)
&
s__subclass(V__PROCESS,s__Process) &
s__instance(V__OBJ,V__CLASS)
&
s__patient(V__PROCESSINSTANCE,V__OBJ))
=>
s__capabilityDuring(V__PROCESS,s__agent__m,V__AGENT,V__TIMEINT))
)

Catalog.kif 136-145
( ! [V__AGENT,V__CATALOG,V__TIMEINT,V__CLASS] :
   ((s__offersAtTime(V__AGENT,V__CATALOG,V__TIMEINT)
     &
     s__catalogItem(V__CLASS,V__CATALOG)
   &
   s__subclass(V__CLASS,s__Process))
=>
s__capabilityDuring(V__CLASS,s__agent__m,V__AGENT,V__TIMEINT))
)

Catalog.kif 129-134
( ! [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X,V__PRICE] :
   ((s__paidFunctionRoomAmenity(V__FR,V__PHYS)
     &
     s__instance(V__RM,V__FR)
   &
   s__element(V__RM,s__PropertyFn(V__AGENT))
&
s__instance(V__R,s__Renting) &
s__patient(V__R,V__RM)
&
s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
(s__price(V__X,V__PRICE,V__AGENT)
&
s__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar))))
)

Hotel.kif 840-863
( ! [V__AGENT,V__PHYS,V__X,V__CUST,V__PRICE] :
   ((s__paidPropertyAmenity(V__AGENT,V__PHYS)
     &
     s__instance(V__X,V__PHYS)
   &
   s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
     (s__agent(V__X,V__CUST)
     |
     s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
(s__price(V__X,V__PRICE,V__AGENT)
&
s__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar))))
)

Hotel.kif 541-558

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
( ! [V__AJT,V__A] :
   ((s__instance(V__AJT,s__AppraisalAsJustTreatment) &
       s__agent(V__AJT,V__A))
   =>
   (? [V__P,V__A2] :
     (s__instance(V__P,s__Process) &
       s__refers(V__AJT,V__P)
     &
     s__agent(V__P,V__A2)
   &
   (~ (V__A = V__A2))
   &
   s__patient(V__P,V__A)
&
s__wants(V__A,V__P))))
)

emotion.kif 371-383
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2483-2497
( ! [V__EXPERIMENT,V__SUBJECT] :
   ((s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__SUBJECT,s__Human) &
       s__experimentalSubject(V__EXPERIMENT,V__SUBJECT))
   =>
   (? [V__PROCESS] :
     (s__instance(V__PROCESS,s__Process) &
       s__experiencer(V__PROCESS,V__SUBJECT)
     &
     (s__experimentalControlProcess(V__EXPERIMENT,V__PROCESS)
     |
     s__experimentalVariableProcess(V__EXPERIMENT,V__PROCESS)))))
)

UXExperimentalTerms.kif 4118-4129
( ! [V__TEST,V__EXPERIMENT1,V__EXPERIMENT2,V__VARIABLE1,V__VARIABLE2] :
   ((s__instance(V__TEST,s__MultivariateTest) &
       s__instance(V__EXPERIMENT1,s__Experimenting) &
       s__instance(V__EXPERIMENT2,s__Experimenting) &
       s__instance(V__VARIABLE1,s__Process) &
       s__instance(V__VARIABLE2,s__Process) &
       s__experimentalVariableProcess(V__EXPERIMENT1,V__VARIABLE1)
     &
     s__experimentalVariableProcess(V__EXPERIMENT2,V__VARIABLE2))
=>
(? [V__PROCESS] :
   (s__instance(V__PROCESS,s__Process) &
     s__subProcess(V__VARIABLE1,V__PROCESS)
   &
   s__subProcess(V__VARIABLE2,V__PROCESS)
&
(~ (V__VARIABLE1 = V__VARIABLE2)))))
)

UXExperimentalTerms.kif 4693-4708
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28110-28139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25089-25115
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14142-14154
( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P,V__PRICE] :
   ((s__paidRoomAmenity(V__ROOM,V__OBJ)
     &
     s__subclass(V__OBJ,s__Object))
   =>
   ((s__instance(V__R,V__ROOM)
     &
     s__stays(V__GUEST,V__R)
   &
   s__element(V__R,s__PropertyFn(V__HOTEL))
&
s__instance(V__O,V__OBJ)
&
s__located(V__O,V__R)
&
s__instance(V__P,s__Process) &
s__agent(V__P,V__GUEST)
&
(s__located(V__P,V__O)
|
s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
(s__price(V__P,V__PRICE,V__HOTEL)
&
s__greaterThan(V__PRICE,s__MeasureFn(0,s__UnitedStatesDollar)))))
)

Hotel.kif 372-392
( ! [V__A,V__AJT] :
   (s__attribute(V__A,s__AppraisalAsUnjustTreatment) =>
     (? [V__P,V__A2] :
       (s__instance(V__P,s__Process) &
         s__refers(V__AJT,V__P)
       &
       s__agent(V__P,V__A2)
     &
     (~ (V__A = V__A2))
     &
     s__patient(V__P,V__A)
   &
   (~ s__wants(V__A,V__P)))))
)

emotion.kif 349-360
( ! [V__H] :
   (s__attribute(V__H,s__NewsReporter) =>
     (? [V__T,V__EV] :
       (s__instance(V__EV,s__Process) &
         s__overlapsTemporally(s__WhenFn(V__EV)
      ,s__WhenFn(V__H))
   &
   s__authors(V__H,V__T)
&
s__refers(V__T,V__EV))))
)

Mid-level-ontology.kif 18683-18692
No TPTP formula. May not be expressible in strict first order. Dining.kif 913-937
( ! [V__TEST] :
   (s__attribute(V__TEST,s__ABTest) =>
     (? [V__PROCESS] :
       (s__instance(V__PROCESS,s__Process) &
         s__experimentalControlProcess(V__TEST,V__PROCESS))))
)

UXExperimentalTerms.kif 4620-4625
( ! [V__TEST] :
   (s__attribute(V__TEST,s__ABTest) =>
     (? [V__PROCESS] :
       (s__instance(V__PROCESS,s__Process) &
         s__experimentalVariableProcess(V__TEST,V__PROCESS))))
)

UXExperimentalTerms.kif 4627-4632
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2770-2777
( ! [V__OBJECT,V__DATE,V__AGENT] :
   (s__dateUsed(V__OBJECT,V__DATE,V__AGENT)
   =>
   (? [V__PROCESS] :
     (s__instance(V__PROCESS,s__Process) &
       s__patient(V__PROCESS,V__OBJECT)
     &
     s__agent(V__PROCESS,V__AGENT)
   &
   s__uses(V__OBJECT,V__AGENT)
&
s__overlapsTemporally(V__DATE,s__WhenFn(V__PROCESS)))))
)

Mid-level-ontology.kif 1384-1392
( ! [V__EXP,V__PROC] :
   (s__exclusiveEvent(V__EXP,V__PROC)
   =>
   (? [V__EVP,V__AGENT] :
     (s__instance(V__EVP,s__Process) &
       s__instance(V__AGENT,s__Agent) &
       s__treatedUser(V__AGENT,V__EXP)
     &
     s__experimentalVariableProcess(V__EXP,V__EVP)
   &
   s__experiencer(V__PROC,V__AGENT)
&
s__experiencer(V__EVP,V__AGENT)
&
s__earlier(s__WhenFn(V__EVP)
,s__WhenFn(V__PROC)))))
)

UXExperimentalTerms.kif 4540-4550
( ! [V__ING,V__FOOD] :
   (s__ingredient(V__ING,V__FOOD)
   =>
   (? [V__PROC,V__X,V__Y] :
     (s__instance(V__PROC,s__Process) &
       s__instance(V__X,V__ING)
     &
     s__patient(V__PROC,V__X)
   &
   s__instance(V__Y,V__ING)
&
s__result(V__PROC,V__Y))))
)

Food.kif 102-110
( ! [V__ING,V__FOOD,V__AMT] :
   (s__ingredientAmount(V__ING,V__FOOD,V__AMT)
   =>
   (? [V__PROC,V__X,V__Y] :
     (s__instance(V__X,V__ING)
     &
     s__measure(V__X,V__AMT)
   &
   s__instance(V__Y,V__FOOD)
&
s__instance(V__PROC,s__Process) &
s__patient(V__PROC,V__X)
&
s__result(V__PROC,V__Y))))
)

Food.kif 121-130
( ! [V__A] :
   (s__instance(V__A,s__Awarding) =>
     (? [V__RECIPIENT,V__GIVER,V__PROCESS,V__AWARD] :
       (s__instance(V__RECIPIENT,s__Agent) &
         s__instance(V__GIVER,s__Agent) &
         s__instance(V__PROCESS,s__Process) &
         s__instance(V__AWARD,s__Object) &
         s__agent(V__PROCESS,V__RECIPIENT)
       &
       s__agent(V__A,V__GIVER)
     &
     s__patient(V__A,V__AWARD)
   &
   s__destination(V__A,V__RECIPIENT)
&
s__causes(V__PROCESS,V__A))))
)

Mid-level-ontology.kif 16198-16210
( ! [V__B] :
   (s__instance(V__B,s__Burrow) =>
     (? [V__P,V__A] :
       (s__instance(V__P,s__Process) &
         s__agent(V__P,V__A)
       &
       s__instance(V__A,s__Animal) &
       (~ s__instance(V__A,s__Human))
       &
       s__result(V__P,V__B))))
)

Geography.kif 5613-5622
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2803-2812
( ! [V__CHECK] :
   (s__instance(V__CHECK,s__CheckInService) =>
     (? [V__AGENT,V__CUST,V__GREET,V__SERVICE] :
       (s__customer(V__CUST,V__AGENT)
       &
       s__serviceProvider(V__CHECK,V__AGENT)
     &
     s__instance(V__GREET,s__Greeting) &
     s__agent(V__GREET,V__CUST)
   &
   s__destination(V__GREET,V__AGENT)
&
s__subProcess(V__GREET,V__CHECK)
&
s__instance(V__SERVICE,s__Process) &
s__agent(V__SERVICE,V__AGENT)
&
s__causes(V__CHECK,V__SERVICE))))
)

Hotel.kif 2095-2107
No TPTP formula. May not be expressible in strict first order. engineering.kif 1134-1146

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