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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Process

 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
-------------------------


(documentation Process ChineseLanguage " 这个类别属于发生的事物，它具有时间的部分或阶段。 例子包括：历时颇长的事件如足球比赛或赛跑，行动如追踪、阅读和及各种生物过程。它的形式定义是：任何在某时间发生 而又不是 Object 的存在着。 注：Process 内可以有 Object 参加者介入，例如球赛的球员。四维的 知识本体论认为 Process 的时空幅度可分成大约和时间轴平衡的数个时间阶段。") Merge.kif 1666-1669
(documentation Process 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
(externalImage Process "http://upload.wikimedia.org/wikipedia/commons/3/ 38/ Clepsydra_Geyser_at_Fountain_Paint_Pot_in_Yellowstone-750px.JPG") pictureList.kif 6795-6795
(subclass Process Physical) Merge.kif 1656-1656

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


(instance SEO Process) UXExperimentalTerms.kif 2582-2582
(range AbortedFn Process) MilitaryProcesses.kif 2380-2380
(rangeSubclass OperatingFn Process) Mid-level-ontology.kif 15560-15560
(subclass AddToCart Process) UXExperimentalTerms.kif 1500-1500
(subclass AgentPatientProcess Process) Media.kif 164-164
(subclass AutomatedProcess Process) Facebook.kif 652-652
(subclass BreakingRecord Process) Mid-level-ontology.kif 28108-28108
(subclass CausingHappiness Process) Mid-level-ontology.kif 21662-21662
(subclass CausingUnhappiness Process) Mid-level-ontology.kif 21682-21682
(subclass Checkout Process) UXExperimentalTerms.kif 1664-1664
(subclass ContentBearingProcess Process) Merge.kif 1345-1345
(subclass DualObjectProcess Process) Merge.kif 1671-1671
(subclass IntentionalProcess Process) Merge.kif 10462-10462
(subclass InternalChange Process) Merge.kif 12442-12442
(subclass Motion Process) Merge.kif 10915-10915
(subclass NaturalProcess Process) Merge.kif 10459-10459
(subclass PowerGeneration Process) Economy.kif 2067-2067
(subclass SingleAgentProcess Process) Merge.kif 1684-1684
(subclass WatchItem Process) UXExperimentalTerms.kif 1793-1793
(termFormat ChineseLanguage Process "过程") chinese_format.kif 851-851
(termFormat EnglishLanguage Process "process") english_format.kif 538-538
(termFormat FrenchLanguage Process "processus") french_format.kif 527-527
(termFormat Hindi Process "prakriyaa") terms-hindi.txt 58-58
(termFormat ItalianLanguage Process "Processo") terms-it.txt 59-59
(termFormat PortugueseLanguage 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
-------------------------


(domain AbortedFn 2 Process) MilitaryProcesses.kif 2379-2379
(domain StartFn 1 Process) Mid-level-ontology.kif 580-580
(domain StopFn 1 Process) Mid-level-ontology.kif 594-594
(domain agent 1 Process) Merge.kif 2564-2564
(domain benefits 1 Process) Mid-level-ontology.kif 20762-20762
(domain causes 1 Process) Merge.kif 3880-3880
(domain causes 2 Process) Merge.kif 3881-3881
(domain commentator 2 Process) Mid-level-ontology.kif 13560-13560
(domain conversionEvent 2 Process) UXExperimentalTerms.kif 3033-3033
(domain coordinates 1 Process) MilitaryProcesses.kif 1664-1664
(domain coordinates 2 Process) MilitaryProcesses.kif 1665-1665
(domain destination 1 Process) Merge.kif 2577-2577
(domain direction 1 Process) Merge.kif 17197-17197
(domain eventPartlyLocated 1 Process) Merge.kif 4209-4209
(domain exclusiveEvent 2 Process) UXExperimentalTerms.kif 4528-4528
(domain experiencer 1 Process) Merge.kif 2594-2594
(domain experimentalControlProcess 2 Process) UXExperimentalTerms.kif 4020-4020
(domain experimentalVariableProcess 2 Process) UXExperimentalTerms.kif 4067-4067
(domain hinders 1 Process) Merge.kif 4501-4501
(domain instrument 1 Process) Merge.kif 2609-2609
(domain involvedInEvent 1 Process) Merge.kif 2545-2545
(domain manner 1 Process) Merge.kif 1774-1774
(domain origin 1 Process) Merge.kif 2623-2623
(domain patient 1 Process) Merge.kif 2638-2638
(domain playsRoleInEvent 3 Process) Mid-level-ontology.kif 21108-21108

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))		 Mid-level-ontology.kif 21125-21131
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Process))
    (modalAttribute
        (exists (?S ?LOC)
            (and
                (element ?LOC
                    (PropertyFn ?AGENT))
                (agent ?S ?HOTEL)
                (or
                    (instance ?S ?PHYS)
                    (and
                        (instance ?PROC ?PHY)
                        (subProcess ?S ?PROC)))
                (located ?S ?LOC))) Possibility))		 Hotel.kif 495-510
(=>
    (and
        (freeFunctionRoomAmenity ?FR ?PHYS)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?AGENT))
        (instance ?R Renting)
        (patient ?R ?RM)
        (destination ?R ?CUST)
        (instance ?X ?PHYS)
        (possesses ?AGENT ?X)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))		 Hotel.kif 810-831
(=>
    (and
        (freePropertyAmenity ?AGENT ?PHYS)
        (instance ?X ?PHYS)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))		 Hotel.kif 518-533
(=>
    (and
        (freeRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?O ?OBJ)
        (located ?O ?R)
        (instance ?P Process)
        (agent ?P ?GUEST)
        (or
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))		 Hotel.kif 333-348
(=>
    (and
        (freeRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))		 Hotel.kif 350-363
(=>
    (and
        (instance ?COMMENTING Commenting)
        (instance ?PROCESS Process)
        (patient ?COMMENTING ?PROCESS))
    (exists (?AGENT ?SPEAKING ?LOOKING)
        (and
            (instance ?AGENT Agent)
            (instance ?SPEAKING Speaking)
            (instance ?LOOKING Looking)
            (agent ?SPEAKING ?AGENT)
            (agent ?LOOKING ?AGENT)
            (patient ?LOOKING ?PROCESS)
            (refers ?SPEAKING ?PROCESS))))		 Mid-level-ontology.kif 13543-13556
(=>
    (and
        (instance ?DEV ElectricDevice)
        (instance ?EV Process)
        (instrument ?EV ?DEV))
    (exists (?R)
        (and
            (instance ?R Electricity)
            (resource ?EV ?R))))		 Mid-level-ontology.kif 3010-3018
(=>
    (and
        (instance ?EVP Process)
        (instance ?AGENT Agent)
        (instance ?EXP Experimenting)
        (treatedUser ?AGENT ?EXP)
        (experimentalVariableProcess ?EXP ?EVP)
        (experiencer ?PROC ?AGENT)
        (experiencer ?EVP ?AGENT)
        (exclusiveEvent ?EXP ?PROC))
    (exists (?EXPERIMENTER)
        (and
            (instance ?EXPERIMENTER Agent)
            (experimenter ?EXP ?EXPERIMENTER)
            (believes ?EXPERIMENTER
                (modalAttribute
                    (causes ?EVP ?PROC) Likely)))))		 UXExperimentalTerms.kif 4552-4569
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?PROC Process)
        (represents ?PLAN ?PROC))
    (exists (?PLANNING ?CBO)
        (and
            (instance ?PLANNING Planning)
            (instance ?CBO ContentBearingPhysical)
            (containsInformation ?CBO ?PLAN)
            (result ?PLANNNG ?CBO)
            (earlier
                (BeginFn
                    (WhenFn ?PLANNING))
                (BeginFn
                    (WhenFn ?PROC)))
            (earlier
                (EndFn
                    (WhenFn ?PLANNING))
                (EndFn
                    (WhenFn ?PROC))))))		 Military.kif 32-44
(=>
    (and
        (instance ?PROC Process)
        (eventLocated ?PROC ?LOC)
        (subProcess ?SUB ?PROC))
    (eventLocated ?SUB ?LOC))		 Mid-level-ontology.kif 21386-21391
(=>
    (and
        (instance ?PROCESS ?PROCESS_CLASS)
        (subclass ?PROCESS_CLASS Process)
        (instance ?ACCESSING AccessingWebPage)
        (instance ?AGENT Agent)
        (agent ?PROCESS ?AGENT)
        (agent ?ACCESSING ?AGENT)
        (during ?PROCESS ?ACCESSING)
        (instance ?TIMETOFIRST TimeInterval)
        (not
            (exists (?PROCESS2)
                (and
                    (instance ?PROCESS2 ?PROCESS_CLASS)
                    (agent ?PROCESS2 ?AGENT)
                    (during ?PROCESS2 ?ACCESSING)
                    (before
                        (BeginFn
                            (WhenFn ?PROCESS2))
                        (BeginFn
                            (WhenFn ?PROCESS))))))
        (equal
            (BeginFn
                (WhenFn ?ACCESSING))
            (BeginFn
                (WhenFn ?TIMETOFIRST)))
        (equal
            (BeginFn
                (WhenFn ?PROCESS))
            (EndFn
                (WhenFn ?TIMETOFIRST))))
    (equal
        (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))		 UXExperimentalTerms.kif 1703-1725
(=>
    (and
        (instance ?RAINFALL Process)
        (patient ?RAINFALL ?RAIN)
        (instance ?RAIN Water)
        (measure ?RAIN
            (MeasureFn ?PH PHValue)))
    (lessThan ?PH 5.6))		 Geography.kif 2490-2496
(=>
    (and
        (instance ?ROLE CaseRole)
        (?ROLE ?ARG1 ?ARG2)
        (instance ?ARG1 ?PROC)
        (subclass ?PROC Process))
    (capability ?PROC ?ROLE ?ARG2))		 Merge.kif 4026-4032
(=>
    (and
        (instance ?TEST MultivariateTest)
        (instance ?EXPERIMENT1 Experimenting)
        (instance ?EXPERIMENT2 Experimenting)
        (instance ?VARIABLE1 Process)
        (instance ?VARIABLE2 Process)
        (experimentalVariableProcess ?EXPERIMENT1 ?VARIABLE1)
        (experimentalVariableProcess ?EXPERIMENT2 ?VARIABLE2))
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (subProcess ?VARIABLE1 ?PROCESS)
            (subProcess ?VARIABLE2 ?PROCESS)
            (not
                (equal ?VARIABLE1 ?VARIABLE2)))))		 UXExperimentalTerms.kif 4693-4708
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT Agent)
        (experiencer ?AGENT Agent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?CONTROL_GROUP)
        (and
            (instance ?CONTROL_GROUP Collection)
            (member ?AGENT ?CONTROL_GROUP)
            (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))		 UXExperimentalTerms.kif 4046-4057
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT Agent)
        (experiencer ?AGENT Agent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?TREATMENT_GROUP)
        (and
            (instance ?TREATMENT_GROUP Collection)
            (member ?AGENT ?TREATMENT_GROUP)
            (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))		 UXExperimentalTerms.kif 4163-4174
(=>
    (and
        (instance ?VISITOR Human)
        (instance ?COLL Collection)
        (forall (?EXPERIMENTING ?EVENT)
            (=>
                (and
                    (instance ?EXPERIMENTING Experimenting)
                    (instance ?EVENT Process)
                    (member ?EVENT
                        (QualifyingEventsFn ?EXPERIMENT))
                    (capability ?EVENT experiencer ?VISITOR))
                (member ?EVENT ?COLL)))
        (=>
            (member ?PROC ?COLL)
            (and
                (instance ?PROC Process)
                (exists (?EXP)
                    (and
                        (instance ?EXP Experimenting)
                        (member ?PROC
                            (QualifyingEventsFn ?EXP))
                        (capability ?PROC experiencer ?VISITOR))))))
    (equal
        (QualifiedTreatmentsFn ?VISITOR) ?COLL))		 UXExperimentalTerms.kif 4439-4462
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (subclass ?TYPE Process))
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (located ?ITEM ?AREA)
            (overlapsTemporally
                (WhenFn ?ITEM)
                (WhenFn ?AREA)))))		 Geography.kif 2215-2223
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINST ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINST ?OBJ))
    (capability ?PROCESS agent ?AGENT))		 Catalog.kif 97-106
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process))
    (capability ?CLASS agent ?AGENT))		 Catalog.kif 87-92
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINSTANCE ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINSTANCE ?OBJ))
    (capabilityDuring ?PROCESS agent ?AGENT ?TIMEINT))		 Catalog.kif 136-145
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process))
    (capabilityDuring ?CLASS agent ?AGENT ?TIMEINT))		 Catalog.kif 129-134
(=>
    (and
        (paidFunctionRoomAmenity ?FR ?PHYS)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?AGENT))
        (instance ?R Renting)
        (patient ?R ?RM)
        (destination ?R ?CUST)
        (instance ?X ?PHYS)
        (possesses ?AGENT ?X)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (and
        (price ?X ?PRICE ?AGENT)
        (greaterThan ?PRICE
            (MeasureFn 0 UnitedStatesDollar))))		 Hotel.kif 840-863
(=>
    (and
        (paidPropertyAmenity ?AGENT ?PHYS)
        (instance ?X ?PHYS)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (and
        (price ?X ?PRICE ?AGENT)
        (greaterThan ?PRICE
            (MeasureFn 0 UnitedStatesDollar))))		 Hotel.kif 541-558

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Object)
        (instance ?X ?PHYS))
    (confersRight
        (exists (?PROC)
            (and
                (instance ?PROC Process)
                (or
                    (resource ?PROC ?X)
                    (instrument ?PROC ?X)
                    (patient ?PROC ?X))
                (or
                    (agent ?PROC ?CUST)
                    (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))		 Hotel.kif 477-493
(=>
    (and
        (functionRoomAmenity ?FR ?PHY)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?HOTEL))
        (instance ?RENT Renting)
        (patient ?RENT ?RM)
        (agent ?RENT ?HOTEL)
        (destination ?RENT ?CUST)
        (subclass ?PHY Object))
    (modalAttribute
        (exists (?O ?P)
            (and
                (instance ?O ?PHY)
                (instance ?P Process)
                (or
                    (resource ?P ?O)
                    (instrument ?P ?O)
                    (patient ?P ?O))
                (or
                    (agent ?P ?CUST)
                    (experiencer ?P ?CUST)))) Possibility))		 Hotel.kif 780-801
(=>
    (and
        (instance ?AJT AppraisalAsJustTreatment)
        (agent ?AJT ?A))
    (exists (?P ?A2)
        (and
            (instance ?P Process)
            (refers ?AJT ?P)
            (agent ?P ?A2)
            (not
                (equal ?A ?A2))
            (patient ?P ?A)
            (wants ?A ?P))))		 emotion.kif 371-383
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?OR)
        (agent ?EV ?A))
    (exists (?P)
        (and
            (instance ?P Process)
            (geographicSubregion ?OR
                (WhereFn ?P
                    (BeginFn
                        (WhenFn ?EV))))
            (causes ?P ?EV)
            (believes ?A
                (attribute ?P Dangerous)))))		 MilitaryProcesses.kif 2483-2497
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (instance ?SUBJECT Human)
        (experimentalSubject ?EXPERIMENT ?SUBJECT))
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experiencer ?PROCESS ?SUBJECT)
            (or
                (experimentalControlProcess ?EXPERIMENT ?PROCESS)
                (experimentalVariableProcess ?EXPERIMENT ?PROCESS)))))		 UXExperimentalTerms.kif 4118-4129
(=>
    (and
        (instance ?TEST MultivariateTest)
        (instance ?EXPERIMENT1 Experimenting)
        (instance ?EXPERIMENT2 Experimenting)
        (instance ?VARIABLE1 Process)
        (instance ?VARIABLE2 Process)
        (experimentalVariableProcess ?EXPERIMENT1 ?VARIABLE1)
        (experimentalVariableProcess ?EXPERIMENT2 ?VARIABLE2))
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (subProcess ?VARIABLE1 ?PROCESS)
            (subProcess ?VARIABLE2 ?PROCESS)
            (not
                (equal ?VARIABLE1 ?VARIABLE2)))))		 UXExperimentalTerms.kif 4693-4708
(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (instance ?A1 ?AC)
            (subclass ?PC Process)
            (subclass ?L Region)
            (instance ?TP TimePoint)
            (instance ?Q Quantity)
            (refers ?X ?Q)
            (refers ?Q ?PC)
            (playsRoleInEvent ?A1 ?ROLE ?P1)
            (eventLocated ?P1 ?L)
            (not
                (exists (?A2 ?P2)
                    (and
                        (instance ?A2 ?AC)
                        (not
                            (equal ?A2 ?A1))
                        (instance ?P2 ?PC)
                        (holdsDuring
                            (TimeIntervalFn ?TP
                                (EndFn
                                    (WhenFn ?X)))
                            (and
                                (playsRoleInEvent ?A2 ?ROLE ?P2)
                                (eventLocated ?P2 ?L)))))))))		 Mid-level-ontology.kif 28110-28139
(=>
    (and
        (instance ?X SurveillanceSystem)
        (member ?X ?VIDEO)
        (member ?X ?DISPLAY)
        (located ?VIDEO ?LOC1)
        (instance ?VIDEO Camera)
        (located ?DISPLAY ?LOC2)
        (not
            (equal ?LOC1 ?LOC2))
        (instance ?DISPLAY VideoDisplay))
    (hasPurpose ?X
        (exists (?PROC ?VID ?RL ?CAPTURE)
            (and
                (instance ?PROC Process)
                (eventLocated ?PROC ?LOC1)
                (represents ?VID ?PROC)
                (instrument ?CAPTURE Camera)
                (result ?CAPTURE ?VID)
                (instance ?RL RadiatingLight)
                (instrument ?RL ?DISPLAY)
                (patient ?RL ?VID)
                (before
                    (BeginFn ?PROC)
                    (BeginFn ?CAPTURE))
                (before
                    (BeginFn ?CAPTURE)
                    (BeginFn ?RL))))))		 Mid-level-ontology.kif 25089-25115
(=>
    (and
        (issuedBy ?TICKET ?AGENT)
        (instance ?TICKET Ticket)
        (possesses ?CUST ?TICKET))
    (confersNorm ?AGENT
        (exists (?T)
            (holdsDuring ?T
                (exists (?P)
                    (and
                        (instance ?P Process)
                        (agent ?P ?AGENT)
                        (experiencer ?P ?CUST))))) Permission))		 Mid-level-ontology.kif 14142-14154
(=>
    (and
        (paidRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (=>
        (and
            (instance ?R ?ROOM)
            (stays ?GUEST ?R)
            (element ?R
                (PropertyFn ?HOTEL))
            (instance ?O ?OBJ)
            (located ?O ?R)
            (instance ?P Process)
            (agent ?P ?GUEST)
            (or
                (located ?P ?O)
                (patient ?P ?O)
                (instrument ?P ?O)
                (resource ?P ?O)))
        (and
            (price ?P ?PRICE ?HOTEL)
            (greaterThan ?PRICE
                (MeasureFn 0 UnitedStatesDollar)))))		 Hotel.kif 372-392
(=>
    (attribute ?A AppraisalAsUnjustTreatment)
    (exists (?P ?A2)
        (and
            (instance ?P Process)
            (refers ?AJT ?P)
            (agent ?P ?A2)
            (not
                (equal ?A ?A2))
            (patient ?P ?A)
            (not
                (wants ?A ?P)))))		 emotion.kif 349-360
(=>
    (attribute ?H NewsReporter)
    (exists (?T ?EV)
        (and
            (instance ?EV Process)
            (overlapsTemporally
                (WhenFn ?EV)
                (WhenFn ?H))
            (authors ?H ?T)
            (refers ?T ?EV))))		 Mid-level-ontology.kif 18683-18692
(=>
    (attribute ?ROOM OpenLayout)
    (and
        (instance ?ROOM Room)
        (exists (?R1 ?R2)
            (and
                (instance ?R1 Region)
                (instance ?R2 Region)
                (located ?R1 ?ROOM)
                (located ?R2 ?ROOM)
                (not
                    (equal ?R1 ?R2))
                (orientation ?R1 ?R2 Adjacent)
                (exists (?P1 ?P2)
                    (and
                        (instance ?P1 Process)
                        (instance ?P2 Process)
                        (hasPurpose ?R1 ?P1)
                        (hasPurpose ?R2 ?P2)))
                (=>
                    (and
                        (instance ?H Agent)
                        (located ?H ?R2))
                    (and
                        (capability Seeing agent ?H)
                        (capability Seeing patient ?R1)))))))		 Dining.kif 913-937
(=>
    (attribute ?TEST ABTest)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experimentalControlProcess ?TEST ?PROCESS))))		 UXExperimentalTerms.kif 4620-4625
(=>
    (attribute ?TEST ABTest)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experimentalVariableProcess ?TEST ?PROCESS))))		 UXExperimentalTerms.kif 4627-4632
(=>
    (businessUnit ?BU ?ORG)
    (hasPurpose ?BU
        (exists (?PROCESS)
            (and
                (instance ?PROCESS Process)
                (agent ?PROCESS ?BU)
                (benefits ?PROCESS ?ORG)))))		 UXExperimentalTerms.kif 2770-2777
(=>
    (dateUsed ?OBJECT ?DATE ?AGENT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (patient ?PROCESS ?OBJECT)
            (agent ?PROCESS ?AGENT)
            (uses ?OBJECT ?AGENT)
            (overlapsTemporally ?DATE
                (WhenFn ?PROCESS)))))		 Mid-level-ontology.kif 1384-1392
(=>
    (exclusiveEvent ?EXP ?PROC)
    (exists (?EVP ?AGENT)
        (and
            (instance ?EVP Process)
            (instance ?AGENT Agent)
            (treatedUser ?AGENT ?EXP)
            (experimentalVariableProcess ?EXP ?EVP)
            (experiencer ?PROC ?AGENT)
            (experiencer ?EVP ?AGENT)
            (earlier
                (WhenFn ?EVP)
                (WhenFn ?PROC)))))		 UXExperimentalTerms.kif 4540-4550
(=>
    (ingredient ?ING ?FOOD)
    (exists (?PROC ?X ?Y)
        (and
            (instance ?PROC Process)
            (instance ?X ?ING)
            (patient ?PROC ?X)
            (instance ?Y ?ING)
            (result ?PROC ?Y))))		 Food.kif 102-110
(=>
    (ingredientAmount ?ING ?FOOD ?AMT)
    (exists (?PROC ?X ?Y)
        (and
            (instance ?X ?ING)
            (measure ?X ?AMT)
            (instance ?Y ?FOOD)
            (instance ?PROC Process)
            (patient ?PROC ?X)
            (result ?PROC ?Y))))		 Food.kif 121-130
(=>
    (instance ?A Awarding)
    (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD)
        (and
            (instance ?RECIPIENT Agent)
            (instance ?GIVER Agent)
            (instance ?PROCESS Process)
            (instance ?AWARD Object)
            (agent ?PROCESS ?RECIPIENT)
            (agent ?A ?GIVER)
            (patient ?A ?AWARD)
            (destination ?A ?RECIPIENT)
            (causes ?PROCESS ?A))))		 Mid-level-ontology.kif 16198-16210
(=>
    (instance ?B Burrow)
    (exists (?P ?A)
        (and
            (instance ?P Process)
            (agent ?P ?A)
            (instance ?A Animal)
            (not
                (instance ?A Human))
            (result ?P ?B))))		 Geography.kif 5613-5622
(=>
    (instance ?BRD BusinessRequirementDocument)
    (exists (?PLAN ?BU ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?BU Business)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (desires ?BU ?PROC)
            (containsInformation ?BRD ?PLAN))))		 UXExperimentalTerms.kif 2803-2812
(=>
    (instance ?CHECK CheckInService)
    (exists (?AGENT ?CUST ?GREET ?SERVICE)
        (and
            (customer ?CUST ?AGENT)
            (serviceProvider ?CHECK ?AGENT)
            (instance ?GREET Greeting)
            (agent ?GREET ?CUST)
            (destination ?GREET ?AGENT)
            (subProcess ?GREET ?CHECK)
            (instance ?SERVICE Process)
            (agent ?SERVICE ?AGENT)
            (causes ?CHECK ?SERVICE))))		 Hotel.kif 2095-2107
(=>
    (instance ?CTRL TemperatureControl)
    (exists (?DEVICE ?TEMP)
        (and
            (instance ?DEVICE ElectricDevice)
            (part ?CTRL ?DEVICE)
            (hasPurpose ?DEVICE
                (exists (?PROC ?AREA)
                    (and
                        (instance ?AREA Region)
                        (instance ?PROC Process)
                        (instrument ?PROC ?X)
                        (result ?PROC
                            (airTemperature ?AREA ?TEMP))))))))		 engineering.kif 1134-1146

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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