Process

-------------------------


(=>
    (instance ?A Awarding)
    (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD)
        (and
            (instance ?RECIPIENT AutonomousAgent)
            (instance ?GIVER AutonomousAgent)
            (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 18645-18657
(=>
    (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 6031-6040
(=>
    (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 2596-2605
(=>
    (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 2154-2166
(=>
    (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 ?CTRL)
                        (result ?PROC
                            (airTemperature ?AREA ?TEMP))))))))
engineering.kif 1139-1151
(=>
    (instance ?ECM EngineControlModule)
    (hasPurpose ?ECM
        (exists (?A ?E ?P1 ?P2)
            (and
                (instance ?A Automobile)
                (instance ?E Engine)
                (instance ?P1 Process)
                (instance ?P2 Process)
                (part ?E ?A)
                (part ?ECM ?A)
                (eventLocated ?P1 ?ECM)
                (eventLocated ?P2 ?E)
                (causes ?P1 ?P2)))))
Cars.kif 2519-2532
(=>
    (instance ?EXPERIMENT Experimenting)
    (exists (?QUALIFYING_EVENTS)
        (and
            (instance ?QUALIFYING_EVENTS Collection)
            (forall (?EVENT)
                (=>
                    (and
                        (instance ?EVENT Process)
                        (or
                            (experimentalControlProcess ?EXPERIMENT ?EVENT)
                            (experimentalVariableProcess ?EXPERIMENT ?EVENT)))
                    (member ?EVENT ?QUALIFYING_EVENTS)))
            (equal
                (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS))))
UXExperimentalTerms.kif 4208-4223
(=>
    (instance ?G Generator)
    (hasPurpose ?G
        (exists (?P ?E)
            (and
                (instance ?P Process)
                (instance ?E Electricity)
                (result ?P ?E)
                (instrument ?P ?G)))))
Cars.kif 1194-1202
(=>
    (instance ?H HydraulicFluid)
    (hasPurpose ?H
        (exists (?P)
            (and
                (instance ?P Process)
                (instrument ?P ?H)
                (holdsDuring
                    (WhenFn ?P)
                    (attribute ?H Liquid))))))
Cars.kif 1587-1596
(=>
    (instance ?PE ProtectiveEyewear)
    (hasPurpose ?PE
        (=>
            (exists (?PERSON)
                (and
                    (instance ?PERSON Human)
                    (wears ?PERSON ?PE)))
            (exists (?PROTECT ?EYE ?INJ ?I ?T)
                (and
                    (instance ?PROTECT Process)
                    (instrument ?PROTECT ?PE)
                    (subclass ?INJ
                        (KappaFn ?I
                            (exists (?HUMAN)
                                (and
                                    (instance ?I Injuring)
                                    (instance ?EYE Eye)
                                    (instance ?HUMAN Human)
                                    (properPart ?EYE ?HUMAN)
                                    (patient ?I ?EYE)
                                    (=>
                                        (holdsDuring ?T
                                            (patient ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROTECT ?PERSON))))))))
                    (prevents ?PROTECT ?INJ))))))
Cars.kif 3482-3509
(=>
    (instance ?PKU PeacekeepingUnit)
    (capability
        (KappaFn ?P
            (and
                (instance ?P Process)
                (instance ?V ViolentContest)
                (prevents ?P ?V))) agent ?PKU))
Military.kif 89-96
(=>
    (instance ?R Recording)
    (exists (?P)
        (and
            (instance ?P Process)
            (record ?R ?P))))
Mid-level-ontology.kif 14388-14393
(=>
    (instance ?TEAM CrossFunctionalTeam)
    (exists (?SKILL ?MEMBER1 ?MEMBER2 ?INST)
        (and
            (subclass ?SKILL Process)
            (instance ?MEMBER1 Human)
            (instance ?MEMBER2 Human)
            (member ?MEMBER1 ?TEAM)
            (member ?MEMBER2 ?TEAM)
            (hasSkill ?SKILL ?MEMBER1)
            (not
                (hasSkill ?SKILL ?MEMBER2))
            (instance ?INST ?SKILL)
            (inScopeOfInterest ?TEAM ?INST))))
UXExperimentalTerms.kif 2630-2643
(=>
    (instance ?TPS TestProtocolSpecification)
    (exists (?PLAN ?EXPERIMENT ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?EXPERIMENT Experimenting)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (subProcess ?EXPERIMENT ?PROC)
            (containsInformation ?TPS ?PLAN))))
UXExperimentalTerms.kif 2754-2763
(=>
    (instance ?TRANS TransferSwitch)
    (hasPurpose ?TRANS
        (exists (?PROC ?POWER1 ?POWER2 ?E)
            (and
                (instance ?PROC Process)
                (instance ?POWER1 PowerSource)
                (instance ?POWER2 PowerSource)
                (instance ?E Electricity)
                (instrument ?PROC ?TRANS)
                (holdsDuring
                    (BeginFn
                        (WhenFn ?PROC))
                    (origin ?E ?POWER1))
                (holdsDuring
                    (EndFn
                        (WhenFn ?PROC))
                    (origin ?E ?POWER1))
                (not
                    (equal ?POWER1 ?POWER2))))))
engineering.kif 882-901
(=>
    (instance ?V Valve)
    (hasPurpose ?V
        (exists (?FLUID ?PROC ?FLOW)
            (and
                (instance ?FLOW Transfer)
                (path ?FLOW ?V)
                (patient ?FLOW ?FLUID)
                (attribute ?FLUID Fluid)
                (instance ?PROC Process)
                (instrument ?PROC ?V)
                (patient ?PROC ?FLOW)))))
engineering.kif 914-925
(=>
    (instance ?X AirConditioner)
    (hasPurpose ?X
        (exists (?PROC ?TEMP ?AREA)
            (and
                (located ?X ?AREA)
                (instance ?PROC Process)
                (instrument ?PROC ?X)
                (result ?PROC
                    (airTemperature ?AREA ?TEMP))))))
Mid-level-ontology.kif 25994-26002
(=>
    (instance ?X Earphone)
    (hasPurpose ?X
        (exists (?ES ?RS ?SIGNAL ?EAR ?PROC)
            (and
                (instance ?ES ElectricalSignalling)
                (patient ?ES ?SIGNAL)
                (destination ?ES ?X)
                (instance ?PROC Process)
                (instrument ?PROC ?X)
                (patient ?PROC ?SIGNAL)
                (result ?PROC ?RS)
                (instance ?RS RadiatingSound)
                (origin ?RS ?X)
                (before
                    (BeginFn
                        (WhenFn ?ES))
                    (BeginFn
                        (WhenFn ?PROC)))
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn ?RS)))
                (instance ?EAR Ear)
                (orientation ?X ?EAR Adjacent)))))
Mid-level-ontology.kif 26053-26074
(=>
    (instance ?X SafetyDevice)
    (hasPurpose ?X
        (exists (?P ?H ?I ?T)
            (and
                (instance ?H Human)
                (instance ?P Process)
                (patient ?P ?H)
                (instrument ?P ?X)
                (prevents ?P
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (=>
                                (holdsDuring ?T
                                    (experiencer ?I ?H))
                                (not
                                    (holdsDuring ?T
                                        (patient ?P ?H)))))))))))
Cars.kif 3355-3373
(=>
    (instance ?X SeatBelt)
    (hasPurpose ?X
        (exists (?PERSON ?STOP ?VEHICLE ?M)
            (and
                (instance ?VEHICLE Vehicle)
                (part ?X ?VEHICLE)
                (instance ?PERSON Human)
                (contains ?VEHICLE ?PERSON)
                (instance ?STOP Process)
                (prevents ?STOP
                    (KappaFn ?M
                        (and
                            (instance ?M Translocation)
                            (patient ?M ?PERSON)
                            (exists (?COLLISION)
                                (and
                                    (or
                                        (instance ?COLLISION Decelerating)
                                        (instance ?COLLISION Impacting))
                                    (experiencer ?COLLISION ?VEHICLE)
                                    (causes ?COLLISION ?M)))
                            (modalAttribute
                                (exists (?INJ ?IMP)
                                    (and
                                        (instance ?INJ Injuring)
                                        (instance ?IMP Impacting)
                                        (causes ?M ?INJ)
                                        (patient ?INJ ?PERSON)
                                        (subProcess ?IMP ?INJ))) Possibility))))))))
Cars.kif 3675-3704
(=>
    (instance ?X Tripod)
    (hasPurpose ?X
        (exists (?OBJ ?PUT ?PROC)
            (and
                (instance ?OBJ Artifact)
                (instance ?PUT Putting)
                (patient ?PUT ?OBJ)
                (destination ?PUT ?X)
                (instance ?PROC Process)
                (instrument ?PROC ?OBJ)
                (before
                    (EndFn
                        (WhenFn ?PUT))
                    (BeginFn
                        (WhenFn ?PROC)))))))
Mid-level-ontology.kif 26719-26732
(=>
    (instance ?X VideoRecording)
    (exists (?EV)
        (and
            (instance ?EV Process)
            (represents ?X ?EV)
            (capability RadiatingLight patient ?X))))
Mid-level-ontology.kif 14433-14439
(=>
    (produced ?R ?A)
    (exists (?M ?P)
        (and
            (instance ?M Managing)
            (agent ?M ?A)
            (patient ?M ?P)
            (instance ?P Process)
            (result ?P ?R))))
Mid-level-ontology.kif 20693-20701
(=>
    (producedOn ?R ?D)
    (exists (?P)
        (and
            (instance ?P Process)
            (result ?P ?R)
            (equal ?D
                (WhenFn
                    (EndFn ?P))))))
Music.kif 96-104
(=>
    (property ?TEST ABTest)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experimentalControlProcess ?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners