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


KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalProcess
IntentionalProcess(processus intentionnel)

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 AutonomousAgent who performs it.") Merge.kif 10623-10624
(documentation IntentionalProcess JapaneseLanguage "Process は、それを実行する Agent に 対し、固有の目的を持つ。") japanese_format.kif 1681-1682
(subclass IntentionalProcess Process) Merge.kif 10621-10621 Processus intentionnel est une sous-classe de processus

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


(disjoint AutonomicProcess IntentionalProcess) Merge.kif 10301-10301 AutonomicProcess est disjoint de processus intentionnel
(disjoint Dreaming IntentionalProcess) Mid-level-ontology.kif 19792-19792 Dreaming est disjoint de processus intentionnel
(disjoint GeologicalProcess IntentionalProcess) Merge.kif 11326-11326 GeologicalProcess est disjoint de processus intentionnel
(disjoint NaturalProcess IntentionalProcess) Merge.kif 10619-10619 NaturalProcess est disjoint de processus intentionnel
(disjoint Trembling IntentionalProcess) Mid-level-ontology.kif 21558-21558 Trembling est disjoint de processus intentionnel
(disjoint WeatherProcess IntentionalProcess) Merge.kif 11333-11333 WeatherProcess est disjoint de processus intentionnel
(rangeSubclass StartFn IntentionalProcess) Mid-level-ontology.kif 415-415 Les valeurs retourn�es par StartFn sont des sous-classes de processus intentionnel
(rangeSubclass StopFn IntentionalProcess) Mid-level-ontology.kif 429-429 Les valeurs retourn�es par StopFn sont des sous-classes de processus intentionnel
(subclass Ambulating IntentionalProcess) Merge.kif 11274-11274 Ambulating est une sous-classe de processus intentionnel
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 9082-9082 Ceremony est une sous-classe de processus intentionnel
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 17258-17258 Commenting est une sous-classe de processus intentionnel
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12822-12822 D�veloppement de contenu est une sous-classe de processus intentionnel
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 15220-15220 CriminalAction est une sous-classe de processus intentionnel
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 675-675 DeployingWeaponOfMassDestruction est une sous-classe de processus intentionnel
(subclass Designing IntentionalProcess) Merge.kif 10985-10985 Designing est une sous-classe de processus intentionnel
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 19564-19564 Digging est une sous-classe de processus intentionnel
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 731-731 DismantlingWeaponOfMassDestruction est une sous-classe de processus intentionnel
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 439-439 Dodging est une sous-classe de processus intentionnel
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 19651-19651 Drilling est une sous-classe de processus intentionnel
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 14440-14440 Ducking est une sous-classe de processus intentionnel
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1510-1510 EngineersSubprocess est une sous-classe de processus intentionnel
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2523-2523 Evacuation est une sous-classe de processus intentionnel
(subclass Guiding IntentionalProcess) Merge.kif 11754-11754 Guider est une sous-classe de processus intentionnel
(subclass ITProcess IntentionalProcess) engineering.kif 1623-1623 ITProcess est une sous-classe de processus intentionnel
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10647-10647 Processus psycholoqique intentionnel est une sous-classe de processus intentionnel

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 22093-22093 Le nombre 1 argument de OccupationFn est une instance de processus intentionnel
(domainSubclass FailureFn 1 IntentionalProcess) ComputingBrands.kif 4509-4509 Le nombre 1 argument de FailureFn est une sous-classe de processus intentionnel
(domainSubclass distrusts 3 IntentionalProcess) Law.kif 375-375 Le nombre 3 argument de distrusts est une sous-classe de processus intentionnel
(domainSubclass enjoys 2 IntentionalProcess) Mid-level-ontology.kif 8526-8526 Le nombre 2 argument de enjoys est une sous-classe de processus intentionnel
(domainSubclass hasOccupation 2 IntentionalProcess) Mid-level-ontology.kif 22970-22970 Le nombre 2 argument de hasOccupation est une sous-classe de processus intentionnel
(domainSubclass industryServiceType 2 IntentionalProcess) Economy.kif 1768-1768 Le nombre 2 argument de industryServiceType est une sous-classe de processus intentionnel
(domainSubclass organizationServiceType 2 IntentionalProcess) Economy.kif 1786-1786 Le nombre 2 argument de organizationServiceType est une sous-classe de processus intentionnel
(domainSubclass trusts 3 IntentionalProcess) Law.kif 364-364 Le nombre 3 argument de trusts est une sous-classe de processus intentionnel

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 ?X ?CUST) ?AGENT ?CUST) Possibility))		 Dining.kif 336-350
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))		 Mid-level-ontology.kif 11729-11735
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT))
    (exists (?PURP)
        (hasPurposeForAgent ?PROC ?PURP ?AGENT)))		 Merge.kif 10626-10631
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))		 Merge.kif 10640-10645
(=>
    (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 532-546
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))		 Merge.kif 2743-2749
(=>
    (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 579-594
(=>
    (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 560-577
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))		 Law.kif 521-530
(=>
    (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 15509-15523
(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?PROC ?AGENT))))		 Merge.kif 10633-10638

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


(=>
    (and
        (holdsDuring ?T
            (attribute ?H AVPUVerbalStatus))
        (instance ?S Speaking)
        (destination ?S ?H)
        (during
            (WhenFn ?S) ?T))
    (exists (?IA)
        (and
            (instance ?IA IntentionalProcess)
            (agent ?IA ?H)
            (during
                (WhenFn ?IA) ?T)
            (causes ?S ?IA))))		 Medicine.kif 6466-6478
(=>
    (and
        (instance ?A AutonomousAgent)
        (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 32143-32154
(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?A)
        (patient ?DECIDE ?S)
        (instance ?S Set)
        (result ?DECIDE ?X)
        (instance ?X ContentBearingPhysical))
    (containsFormula ?X
        (holdsDuring
            (FutureFn
                (WhenFn ?DECIDE))
            (exists (?M)
                (and
                    (element ?M ?S)
                    (instance ?M IntentionalProcess)
                    (agent ?M ?A))))))		 Merge.kif 12193-12209
(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?AGENT)
        (instance ?S Set)
        (patient ?DECIDE ?S)
        (element ?M ?S))
    (believes ?AGENT
        (exists (?CLASS)
            (and
                (instance ?M ?CLASS)
                (subclass ?CLASS IntentionalProcess)
                (capability ?CLASS agent ?AGENT)))))		 Merge.kif 12161-12173
(=>
    (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 711-724
(=>
    (attribute ?A Bored)
    (exists (?DO)
        (and
            (instance ?DO IntentionalProcess)
            (agent ?DO ?A)
            (holdsDuring
                (WhenFn ?DO)
                (desires ?A
                    (not
                        (agent ?DO ?A)))))))		 Mid-level-ontology.kif 21403-21412
(=>
    (attribute ?HUMAN
        (ProfessionalFn ?SOCIALROLE))
    (exists (?WORK ?PROC)
        (and
            (instance ?WORK Working)
            (agent ?WORK ?HUMAN)
            (subProcess ?PROC ?WORK)
            (instance ?PROC ?CLASS)
            (subclass ?CLASS IntentionalProcess)
            (hasSkillInRole ?CLASS ?SOCIALROLE ?HUMAN))))		 Mid-level-ontology.kif 9447-9457
(=>
    (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 2347-2357
(=>
    (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 10451-10461
(=>
    (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 1086-1094
(=>
    (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
(=>
    (holdsDuring ?T
        (attribute ?H Coma))
    (not
        (exists (?IP)
            (and
                (instance ?IP IntentionalProcess)
                (agent ?IP ?H)
                (during ?T
                    (WhenFn ?IP))))))		 Medicine.kif 5223-5232
(=>
    (holdsDuring ?T
        (attribute ?H Conscious))
    (holdsDuring ?T
        (capability IntentionalProcess agent ?H)))		 Medicine.kif 430-434
(=>
    (inScopeOfInterest ?AGENT ?OBJECT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?OBJECT))))		 Merge.kif 2751-2757
(=>
    (instance ?ORGANISM GeneticallyEngineeredOrganism)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?ORGANISM))))		 WMD.kif 239-244
(=>
    (instance ?PM ProcessedMilk)
    (exists (?P ?M)
        (and
            (instance ?P IntentionalProcess)
            (instance ?M CowMilk)
            (patient ?P ?M)
            (result ?P ?PM))))		 Food.kif 2839-2846
(=>
    (instance ?R Robot)
    (hasPurpose ?R
        (exists (?PROC ?COMP)
            (and
                (instance ?PROC ComputerProcess)
                (instance ?COMP ComputerProgram)
                (computerRunning ?PROC ?COMP)
                (patient ?PROC ?R)
                (holdsDuring
                    (WhenFn ?PROC)
                    (exists (?INT)
                        (and
                            (instance ?INT IntentionalProcess)
                            (instrument ?INT ?R))))))))		 engineering.kif 999-1013
(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))		 Merge.kif 1082-1088
(=>
    (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 2005-2017
(=>
    (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 28136-28146
(=>
    (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)
                        (holdsDuring
                            (ImmediateFutureFn
                                (WhenFn ?PROC))
                            (modalAttribute
                                (exists (?COMM)
                                    (and
                                        (instance ?COMM Communication)
                                        (origin ?COMM ?ORIGIN)
                                        (destination ?COMM ?DEST))) Possibility))))))))		 Mid-level-ontology.kif 28929-28951
(=>
    (instance ?X PreparedFood)
    (exists (?PROC)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?X))))		 Food.kif 319-324
(=>
    (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 1338-1352
(=>
    (instance ?X UniformClothing)
    (exists (?PROC ?DESIGN)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?DESIGN)
            (represents ?X ?DESIGN))))		 Mid-level-ontology.kif 28577-28583
(=>
    (issuedBy ?CERT ?AGENT)
    (exists (?P)
        (and
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?CERT))))		 Mid-level-ontology.kif 17875-17881

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 3.0 is open source software produced by Articulate Software and its partners