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。") Merge.kif 14437-14438
(documentation IntentionalProcess EnglishLanguage "A Process that has a specific purpose for the Agent who performs it.") Merge.kif 14434-14435
(documentation IntentionalProcess JapaneseLanguage "Process は、それを実行する Agent に 対し、固有の目的を持つ。") Merge.kif 14440-14441
(subclass IntentionalProcess Process) Merge.kif 14432-14432 Intentional process is a subclass of process

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


(disjoint AutonomicProcess IntentionalProcess) Merge.kif 14036-14036 Autonomic process is disjoint from intentional process
(disjoint Dreaming IntentionalProcess) Mid-level-ontology.kif 15928-15928 Dreaming is disjoint from intentional process
(disjoint GeologicalProcess IntentionalProcess) Merge.kif 15297-15297 Geological process is disjoint from intentional process
(disjoint NaturalProcess IntentionalProcess) Merge.kif 14430-14430 Natural process is disjoint from intentional process
(disjoint Trembling IntentionalProcess) Mid-level-ontology.kif 17741-17741 Trembling is disjoint from intentional process
(disjoint WeatherProcess IntentionalProcess) Merge.kif 15310-15310 Weather process is disjoint from intentional process
(rangeSubclass StartFn IntentionalProcess) Mid-level-ontology.kif 581-581 The values returned by start are subclasses of intentional process
(rangeSubclass StopFn IntentionalProcess) Mid-level-ontology.kif 595-595 The values returned by stop are subclasses of intentional process
(subclass Ambulating IntentionalProcess) Merge.kif 15216-15216 Ambulating is a subclass of intentional process
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7630-7630 Ceremony is a subclass of intentional process
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 13539-13539 Commenting is a subclass of intentional process
(subclass ContentDevelopment IntentionalProcess) Merge.kif 16957-16957 Content development is a subclass of intentional process
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 11464-11464 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 14840-14840 Designing is a subclass of intentional process
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 15711-15711 Digging is a subclass of intentional process
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 725-725 Dismantling weapon of mass destruction is a subclass of intentional process
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 605-605 Dodging is a subclass of intentional process
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 15789-15789 Drilling is a subclass of intentional process
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 10721-10721 Ducking is a subclass of intentional process
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1192-1192 Engineers subprocess is a subclass of intentional process
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2456-2456 Evacuation is a subclass of intentional process
(subclass Guiding IntentionalProcess) Merge.kif 15831-15831 Guiding is a subclass of intentional process
(subclass ITProcess IntentionalProcess) engineering.kif 1304-1304 IT process is a subclass of intentional process
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 14464-14464 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 18203-18203 The number 1 argument of occupation is an instance of intentional process
(domainSubclass distrusts 3 IntentionalProcess) Law.kif 408-408 The number 3 argument of distrusts is a subclass of intentional process
(domainSubclass enjoys 2 IntentionalProcess) Mid-level-ontology.kif 7036-7036 The number 2 argument of enjoys is a subclass of intentional process
(domainSubclass hasOccupation 2 IntentionalProcess) Mid-level-ontology.kif 19015-19015 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 397-397 The number 3 argument of trusts is a subclass of intentional process

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


(=>
    (and
        (customer ?CUST ?AGENT)
        (corkageFee ?AMT ?ITEM ?AGENT)
        (instance ?X ?ITEM)
        (not
            (exists (?B)
                (and
                    (instance ?B Buying)
                    (patient ?B ?X)
                    (destination ?B ?CUST)
                    (origin ?B ?AGENT))))
        (holdsDuring
            (WhenFn
                (located ?CUST ?LOC))
            (and
                (instance ?P IntentionalProcess)
                (or
                    (patient ?P ?X)
                    (resource ?P ?X)
                    (instrument ?P ?X))
                (agent ?P ?CUST))))
    (exists (?C)
        (and
            (instance ?C Corkage)
            (agent ?C ?CUST)
            (destination ?C ?AGENT))))
Dining.kif 130-153
(=>
    (and
        (facility ?AGENT ?OBJ)
        (customer ?CUST ?AGENT)
        (instance ?X ?OBJ)
        (exists (?PROC)
            (and
                (instance ?PROC IntentionalProcess)
                (patient ?PROC ?X)
                (agent ?PROC ?CUST))))
    (confersRight
        (uses ?CUST ?X) ?AGENT ?CUST))
Dining.kif 339-350
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT))
    (exists (?PURP)
        (hasPurposeForAgent ?PROC ?PURP ?AGENT)))
Merge.kif 14443-14448
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))
Merge.kif 14457-14462
(=>
    (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 570-584
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))
Merge.kif 4418-4424
(=>
    (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 617-632
(=>
    (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 598-615
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))
Law.kif 559-568
(=>
    (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 11767-11781
(=>
    (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 375-386
(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?PROC ?AGENT))))
Merge.kif 14450-14455

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


(<=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 1632-1638 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 28391-28402
(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?AGENT)
        (patient ?DECIDE ?PROCESS))
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)))
Merge.kif 16341-16348
(=>
    (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 669-682
(=>
    (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 2277-2287
(=>
    (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 10376-10386
(=>
    (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 1082-1090
(=>
    (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 891-900
(=>
    (inScopeOfInterest ?AGENT ?OBJECT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?OBJECT))))
Merge.kif 4426-4432
(=>
    (instance ?F Flour)
    (exists (?P ?C)
        (and
            (instance ?P IntentionalProcess)
            (resource ?P ?C)
            (instance ?C CerealGrain)
            (result ?P ?F))))
Mid-level-ontology.kif 19381-19388
(=>
    (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 1938-1950
(=>
    (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 24238-24248
(=>
    (instance ?X DirectDialTelephoneCommunication)
    (not
        (exists (?OPERATOR)
            (and
                (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 25317-25336
(=>
    (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 25288-25308
(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))
Mid-level-ontology.kif 19189-19194
(=>
    (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 24827-24833
(=>
    (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 1163-1170


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