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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalProcess
IntentionalProcess(intentional process)Advent, Christianize, Frenchify, Parousia, Second_Advent, Second_Coming, Second_Coming_of_Christ, abide, ablactate, abort, absorb, abstain, abuse, accept, accidental, accidentally, accommodate, accomplished_fact, accomplishment, accustom, achievement, acoustic_phenomenon, acquit, act, act_on, acting_out, action, activity, actual_possession, actualise, actualize, adapt, address, adhere, adjourn, adjournment, adjust, administration, advisedly, agency, agitate, aim, air, air_out, alcohol_abuse, alcoholic_abuse, alcoholism_abuse, alienation, alignment, allow...

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 9846-9847
(subclass IntentionalProcess Process) Merge.kif 9844-9844 Intentional process is a subclass of process

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


(disjoint AutonomicProcess IntentionalProcess) Merge.kif 9554-9554 Autonomic process is disjoint from intentional process
(disjoint Dreaming IntentionalProcess) Mid-level-ontology.kif 15980-15980 Dreaming is disjoint from intentional process
(disjoint GeologicalProcess IntentionalProcess) Merge.kif 10438-10438 Geological process is disjoint from intentional process
(disjoint NaturalProcess IntentionalProcess) Merge.kif 9842-9842 Natural process is disjoint from intentional process
(disjoint Trembling IntentionalProcess) Mid-level-ontology.kif 17794-17794 Trembling is disjoint from intentional process
(disjoint WeatherProcess IntentionalProcess) Merge.kif 10445-10445 Weather process is disjoint from intentional process
(rangeSubclass StartFn IntentionalProcess) Mid-level-ontology.kif 580-580 The values returned by start are subclasses of intentional process
(rangeSubclass StopFn IntentionalProcess) Mid-level-ontology.kif 594-594 The values returned by stop are subclasses of intentional process
(subclass Ambulating IntentionalProcess) Merge.kif 10387-10387 Ambulating is a subclass of intentional process
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7637-7637 Ceremony is a subclass of intentional process
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 13590-13590 Commenting is a subclass of intentional process
(subclass ContentDevelopment IntentionalProcess) Merge.kif 11724-11724 Content development is a subclass of intentional process
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 11521-11521 Criminal action is a subclass of intentional process
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 670-670 Deploying weapon of mass destruction is a subclass of intentional process
(subclass Designing IntentionalProcess) Merge.kif 10113-10113 Designing is a subclass of intentional process
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 15763-15763 Digging is a subclass of intentional process
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 726-726 Dismantling weapon of mass destruction is a subclass of intentional process
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 604-604 Dodging is a subclass of intentional process
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 15841-15841 Drilling is a subclass of intentional process
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 10778-10778 Ducking is a subclass of intentional process
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1196-1196 Engineers subprocess is a subclass of intentional process
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2469-2469 Evacuation is a subclass of intentional process
(subclass Guiding IntentionalProcess) Merge.kif 10807-10807 Guiding is a subclass of intentional process
(subclass ITProcess IntentionalProcess) engineering.kif 1308-1308 IT process is a subclass of intentional process
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 9870-9870 Intentional psychological process is a subclass of intentional process

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 18256-18256 The number 1 argument of occupation is an instance of intentional process
(domainSubclass FailureFn 1 IntentionalProcess) ComputingBrands.kif 4439-4439 The number 1 argument of FailureFn is a subclass of intentional process
(domainSubclass distrusts 3 IntentionalProcess) Law.kif 412-412 The number 3 argument of distrusts is a subclass of intentional process
(domainSubclass enjoys 2 IntentionalProcess) Mid-level-ontology.kif 7042-7042 The number 2 argument of enjoys is a subclass of intentional process
(domainSubclass hasOccupation 2 IntentionalProcess) Mid-level-ontology.kif 19078-19078 The number 2 argument of has occupation is a subclass of intentional process
(domainSubclass industryServiceType 2 IntentionalProcess) Economy.kif 1647-1647 The number 2 argument of industry service type is a subclass of intentional process
(domainSubclass organizationServiceType 2 IntentionalProcess) Economy.kif 1665-1665 The number 2 argument of organization service type is a subclass of intentional process
(domainSubclass trusts 3 IntentionalProcess) Law.kif 401-401 The number 3 argument of trusts is a subclass of intentional process

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 9849-9854
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))
Merge.kif 9863-9868
(=>
    (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 11824-11838
(=>
    (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 9856-9861

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


(<=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 991-997 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
(=>
    (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 28451-28462
(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?AGENT)
        (patient ?DECIDE ?PROCESS))
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)))
Merge.kif 11185-11192
(=>
    (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 19445-19452
(=>
    (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 24302-24312
(=>
    (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 25352-25372
(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))
Mid-level-ontology.kif 19252-19257
(=>
    (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 24891-24897
(=>
    (issuedBy ?CERT ?AGENT)
    (exists (?P)
        (and
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?CERT))))
Mid-level-ontology.kif 14144-14150
(=>
    (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