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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalProcess
IntentionalProcess

VerbNet: admire-31.2|tolerate, refrain-69|desist, adjust-26.9|accommodate, adjust-26.9|accommodate, other_cos-45.4|air, other_cos-45.4|air, conjecture-29.5|allow, confront-98|approach, stop-55.4|stop, try-61|attempt, try-61|attempt, avoid-52|avoid, begin-55.1|start, amalgamate-22.2|conflate, marvel-31.3|bother, cheat-10.6|break, separate-23.1|sever, confront-98|breast, admire-31.2|tolerate, acquiesce-95|yield, steal-10.5|capture, other_cos-45.4|centralize, other_cos-45.4|centralize, cope-83|get_through, amalgamate-22.2|conflate, other_cos-45.4|coarsen, force-59|pressure, obtain-13.5.2|collect, amalgamate-22.2|conflate, cope-83|get_through, amalgamate-22.2|conflate, force-59|commission, complete-55.2|complete, other_cos-45.4|centralize, adjust-26.9|accommodate, suspect-81|condemn, judgment-33|excuse, amalgamate-22.2|conflate, confront-98|confront, amalgamate-22.2|confuse, conspire-71|scheme, stop-55.4|stop, continue-55.3|continue, amalgamate-22.2|mate, learn-14|cram, forbid-67|hamper, forbid-67|inhibit, cope-83|deal, other_cos-45.4|decentralize, other_cos-45.4|decentralize, ...


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


(documentation IntentionalProcess ChineseLanguage "这是一个对于执行的 Agent 有特定目的的 Process。") chinese_format.kif 2930-2931
(documentation IntentionalProcess EnglishLanguage "A Process that has a specific purpose for the Agent who performs it.") Merge.kif 9836-9837
(subclass IntentionalProcess Process) Merge.kif 9834-9834 subclass IntentionalProcess and Process

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


(disjoint AutonomicProcess IntentionalProcess) Merge.kif 9544-9544 disjoint AutonomicProcess and IntentionalProcess
(disjoint Dreaming IntentionalProcess) Mid-level-ontology.kif 15928-15928 disjoint Dreaming and IntentionalProcess
(disjoint GeologicalProcess IntentionalProcess) Merge.kif 10428-10428 disjoint GeologicalProcess and IntentionalProcess
(disjoint NaturalProcess IntentionalProcess) Merge.kif 9832-9832 disjoint NaturalProcess and IntentionalProcess
(disjoint Trembling IntentionalProcess) Mid-level-ontology.kif 17742-17742 disjoint Trembling and IntentionalProcess
(disjoint WeatherProcess IntentionalProcess) Merge.kif 10435-10435 disjoint WeatherProcess and IntentionalProcess
(rangeSubclass StartFn IntentionalProcess) Mid-level-ontology.kif 580-580 rangeSubclass StartFn and IntentionalProcess
(rangeSubclass StopFn IntentionalProcess) Mid-level-ontology.kif 594-594 rangeSubclass StopFn and IntentionalProcess
(subclass Ambulating IntentionalProcess) Merge.kif 10377-10377 subclass Ambulating and IntentionalProcess
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7631-7631 subclass Ceremony and IntentionalProcess
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 13538-13538 subclass Commenting and IntentionalProcess
(subclass ContentDevelopment IntentionalProcess) Merge.kif 11714-11714 subclass ContentDevelopment and IntentionalProcess
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 11469-11469 subclass CriminalAction and IntentionalProcess
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 670-670 subclass DeployingWeaponOfMassDestruction and IntentionalProcess
(subclass Designing IntentionalProcess) Merge.kif 10103-10103 subclass Designing and IntentionalProcess
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 15711-15711 subclass Digging and IntentionalProcess
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 726-726 subclass DismantlingWeaponOfMassDestruction and IntentionalProcess
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 604-604 subclass Dodging and IntentionalProcess
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 15789-15789 subclass Drilling and IntentionalProcess
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 10726-10726 subclass Ducking and IntentionalProcess
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1196-1196 subclass EngineersSubprocess and IntentionalProcess
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2469-2469 subclass Evacuation and IntentionalProcess
(subclass Guiding IntentionalProcess) Merge.kif 10797-10797 subclass Guiding and IntentionalProcess
(subclass ITProcess IntentionalProcess) engineering.kif 1308-1308 subclass ITProcess and IntentionalProcess
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 9860-9860 subclass IntentionalPsychologicalProcess and IntentionalProcess

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain OccupationFn 1 IntentionalProcess) Mid-level-ontology.kif 18204-18204 domain OccupationFn, 1 and IntentionalProcess
(domainSubclass FailureFn 1 IntentionalProcess) ComputingBrands.kif 4439-4439 domainSubclass FailureFn, 1 and IntentionalProcess
(domainSubclass distrusts 3 IntentionalProcess) Law.kif 412-412 domainSubclass distrusts, 3 and IntentionalProcess
(domainSubclass enjoys 2 IntentionalProcess) Mid-level-ontology.kif 7036-7036 domainSubclass enjoys, 2 and IntentionalProcess
(domainSubclass hasOccupation 2 IntentionalProcess) Mid-level-ontology.kif 19026-19026 domainSubclass hasOccupation, 2 and IntentionalProcess
(domainSubclass industryServiceType 2 IntentionalProcess) Economy.kif 1647-1647 domainSubclass industryServiceType, 2 and IntentionalProcess
(domainSubclass organizationServiceType 2 IntentionalProcess) Economy.kif 1665-1665 domainSubclass organizationServiceType, 2 and IntentionalProcess
(domainSubclass trusts 3 IntentionalProcess) Law.kif 401-401 domainSubclass trusts, 3 and IntentionalProcess

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


(=>
    (and
        (facility ?AGENT ?OBJ)
        (customer ?CUST ?AGENT)
        (instance ?X ?OBJ)
        (desires ?CUST
            (exists (?PROC)
                (and
                    (instance ?PROC IntentionalProcess)
                    (patient ?PROC ?X)
                    (agent ?PROC ?CUST)))))
    (modalAttribute
        (confersRight
            (uses ?CUST ?X) ?AGENT ?CUST) Possibility))
Dining.kif 332-346
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT))
    (exists (?PURP)
        (hasPurposeForAgent ?PROC ?PURP ?AGENT)))
Merge.kif 9839-9844
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))
Merge.kif 9853-9858
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (exists (?O ?A ?A1 ?A2)
        (and
            (instance ?O Offering)
            (instance ?A ReachingAgreement)
            (refers ?O ?AG)
            (refers ?A ?AG)
            (agent ?O ?A1)
            (agent ?A ?A2)
            (earlier
                (WhenFn ?O)
                (WhenFn ?A)))))
Law.kif 574-588
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))
Merge.kif 2633-2639
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (located ?PROC ?LOC)
        (instance ?LOC GeopoliticalArea)
        (ageOfMajorityForProcess
            (MeasureFn ?N YearDuration) ?LOC ?PROC)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (and
            (age ?A1
                (MeasureFn ?N2 YearDuration))
            (greaterThan ?N2 ?N))))
Law.kif 621-636
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (located ?PROC ?LOC)
        (instance ?LOC Nation)
        (located ?PROC ?LOC2)
        (instance ?LOC2 GeopoliticalArea)
        (ageOfMajorityForProcess
            (MeasureFn ?N2 YearDuration) ?LOC ?PROC)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (holdsDuring
            (WhenFn ?PROC)
            (and
                (age ?A1
                    (MeasureFn ?N3 YearDuration))
                (greaterThan ?N3 ?N2))))
    (attribute ?AG Legal))
Law.kif 602-619
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))
Law.kif 563-572
(=>
    (and
        (property ?AGREEMENT Contract)
        (partyToAgreement ?AGENT1 ?AGREEMENT)
        (partyToAgreement ?AGENT2 ?AGREEMENT)
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT1)
        (realization ?PROC ?PROP)
        (not
            (consistent ?PROP ?AGREEMENT)))
    (modalAttribute
        (exists (?LEGAL)
            (and
                (instance ?LEGAL LegalAction)
                (plaintiff ?LEGAL ?AGENT2)
                (defendant ?LEGAL ?AGENT1))) Possibility))
Mid-level-ontology.kif 11772-11786
(=>
    (and
        (standardRetailHours ?TIMEINT ?AGENT)
        (potentialCustomer ?C ?AGENT)
        (instance ?P IntentionalProcess)
        (destination ?P ?C)
        (instance ?START
            (StartFn ?P))
        (conditionalProbability
            (during
                (WhenFn ?START) ?TIMEINT)
            (agent ?P ?AGENT) ?NUMBER1)
        (conditionalProbability
            (not
                (during
                    (WhenFn ?START) ?TIMEINT))
            (agent ?P ?AGENT) ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))
Dining.kif 371-382
(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?PROC ?AGENT))))
Merge.kif 9846-9851

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


(<=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 991-997 instance Entity and SyntheticSubstance Process instance Process and IntentionalProcess result Process and Entity instance Entity and Substance
(=>
    (and
        (instance ?A Agent)
        (holdsDuring ?T
            (attribute ?A Motionless)))
    (not
        (exists (?P)
            (and
                (instance ?P BodyMotion)
                (instance ?P IntentionalProcess)
                (agent ?P ?A)
                (during
                    (WhenFn ?P) ?T)))))
Mid-level-ontology.kif 28399-28410
(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?AGENT)
        (patient ?DECIDE ?PROCESS))
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)))
Merge.kif 11175-11182
(=>
    (and
        (reservationStart ?TIME1 ?R)
        (reservationEnd ?TIME2 ?R)
        (reservingEntity ?CUST ?R)
        (fulfillingEntity ?AGENT ?R))
    (modalAttribute
        (holdsDuring
            (TimeIntervalFn ?TIME1 ?TIME2)
            (exists (?P)
                (and
                    (instance ?P IntentionalProcess)
                    (agent ?P ?AGENT)
                    (destination ?P ?CUST)))) Likely))
Dining.kif 665-678
(=>
    (attribute ?X TourArrangementAndReservationServices)
    (hasPurpose ?X
        (exists (?PROC ?RESERVE)
            (and
                (instance ?RESERVE TourReservation)
                (instance ?PROC IntentionalProcess)
                (agent ?PROC ?X)
                (or
                    (result ?PROC ?RESERVE)
                    (patient ?PROC ?RESERVE))))))
Hotel.kif 2282-2292
(=>
    (attribute ?X TravelArrangementAndReservationServices)
    (hasPurpose ?X
        (exists (?PROC ?RESERVE)
            (and
                (instance ?RESERVE TravelReservation)
                (instance ?PROC IntentionalProcess)
                (agent ?PROC ?X)
                (or
                    (result ?PROC ?RESERVE)
                    (patient ?PROC ?RESERVE))))))
naics.kif 10374-10384
(=>
    (contestEntry ?ENT ?AGENT ?CONT)
    (exists (?P ?J)
        (and
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?ENT)
            (instance ?J Judging)
            (patient ?J ?ENT))))
Music.kif 1076-1084
(=>
    (equal ?S
        (RemixFn ?M ?A))
    (exists (?P)
        (and
            (instance ?P IntentionalProcess)
            (patient ?P ?M)
            (agent ?P ?A)
            (result ?P ?S)
            (not
                (equal ?S ?M))
            (not
                (copy ?S ?M)))))
Music.kif 885-894
(=>
    (inScopeOfInterest ?AGENT ?OBJECT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?OBJECT))))
Merge.kif 2641-2647
(=>
    (instance ?F Flour)
    (exists (?P ?C)
        (and
            (instance ?P IntentionalProcess)
            (resource ?P ?C)
            (instance ?C CerealGrain)
            (result ?P ?F))))
Mid-level-ontology.kif 19393-19400
(=>
    (instance ?ORGANISM GeneticallyEngineeredOrganism)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?ORGANISM))))
WMD.kif 239-244
(=>
    (instance ?SVC WakeUpService)
    (hasPurpose ?SVC
        (exists (?WAKE ?CUST ?AGENT ?PROC)
            (and
                (agent ?SVC ?AGENT)
                (experiencer ?SVC ?CUST)
                (instance ?PROC IntentionalProcess)
                (agent ?PROC ?AGENT)
                (experiencer ?PROC ?CUST)
                (instance ?WAKE WakingUp)
                (experiencer ?WAKE ?CUST)
                (result ?PROC ?WAKE)))))
Hotel.kif 1942-1954
(=>
    (instance ?X AudioRecorder)
    (hasPurpose ?X
        (exists (?RS ?RECORD ?PROC)
            (and
                (instance ?RS RadiatingSound)
                (instance ?PROC IntentionalProcess)
                (instrument ?PROC ?X)
                (patient ?PROC ?RS)
                (result ?PROC ?RECORD)
                (instance ?RECORD AudioRecording)))))
Mid-level-ontology.kif 24250-24260
(=>
    (instance ?X OperatorAssistedTelephoneCommunication)
    (exists (?ORIGIN ?DEST ?OPERATOR)
        (and
            (origin ?X ?ORIGIN)
            (destination ?X ?DEST)
            (instance ?OPERATOR Human)
            (hasPurpose ?OPERATOR
                (exists (?PROC)
                    (and
                        (instance ?PROC IntentionalProcess)
                        (agent ?PROC ?OPERATOR)
                        (subProcess ?PROC ?X)
                        (result ?PROC ?RESULT)
                        (equal ?RESULT
                            (modalAttribute
                                (exists (?COMM)
                                    (and
                                        (instance ?COMM Communication)
                                        (origin ?COMM ?ORIGIN)
                                        (destination ?COMM ?DEST))) Possibility))))))))
Mid-level-ontology.kif 25300-25320
(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))
Mid-level-ontology.kif 19200-19205
(=>
    (instance ?X TapeRecorder)
    (hasPurpose ?X
        (exists (?AUDIO ?TAPE ?PROC)
            (and
                (instance ?PROC IntentionalProcess)
                (instrument ?PROC ?X)
                (result ?PROC ?AUDIO)
                (instance ?AUDIO AudioRecording)
                (instance ?TAPE RecordingTape)
                (holdsDuring ?PROC
                    (connected ?TAPE ?X))
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn
                            (part ?AUDIO ?TAPE))))))))
Media.kif 1340-1354
(=>
    (instance ?X UniformClothing)
    (exists (?PROC ?DESIGN)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?DESIGN)
            (represents ?X ?DESIGN))))
Mid-level-ontology.kif 24839-24845
(=>
    (issuedBy ?CERT ?AGENT)
    (exists (?P)
        (and
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?CERT))))
Mid-level-ontology.kif 14092-14098
(=>
    (musicChartBy ?CHART ?AGENT)
    (exists (?P ?C)
        (and
            (instance ?C ?CHART)
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?C))))
Music.kif 1157-1164


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