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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalProcess
IntentionalProcess(ProcessoIntenzionale)

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 10510-10511
(documentation IntentionalProcess JapaneseLanguage "Process は、それを実行する Agent に 対し、固有の目的を持つ。") japanese_format.kif 1681-1682
(subclass IntentionalProcess Process) Merge.kif 10508-10508 ProcessoIntenzionale è una sottoclasse di Processo

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


(disjoint AutonomicProcess IntentionalProcess) Merge.kif 10186-10186 AutonomicProcess è disgiunto da ProcessoIntenzionale
(disjoint Dreaming IntentionalProcess) Mid-level-ontology.kif 18234-18234 Dreaming è disgiunto da ProcessoIntenzionale
(disjoint GeologicalProcess IntentionalProcess) Merge.kif 11213-11213 GeologicalProcess è disgiunto da ProcessoIntenzionale
(disjoint NaturalProcess IntentionalProcess) Merge.kif 10506-10506 NaturalProcess è disgiunto da ProcessoIntenzionale
(disjoint Trembling IntentionalProcess) Mid-level-ontology.kif 19982-19982 Trembling è disgiunto da ProcessoIntenzionale
(disjoint WeatherProcess IntentionalProcess) Merge.kif 11220-11220 WeatherProcess è disgiunto da ProcessoIntenzionale
(rangeSubclass StartFn IntentionalProcess) Mid-level-ontology.kif 422-422 I valori resi da StartFn sono sottoclassi diProcessoIntenzionale
(rangeSubclass StopFn IntentionalProcess) Mid-level-ontology.kif 436-436 I valori resi da StopFn sono sottoclassi diProcessoIntenzionale
(subclass Ambulating IntentionalProcess) Merge.kif 11161-11161 Ambulating è una sottoclasse di ProcessoIntenzionale
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7919-7919 Ceremony è una sottoclasse di ProcessoIntenzionale
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 15881-15881 Commenting è una sottoclasse di ProcessoIntenzionale
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12693-12693 SviluppoDelContenuto è una sottoclasse di ProcessoIntenzionale
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13858-13858 CriminalAction è una sottoclasse di ProcessoIntenzionale
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 675-675 DeployingWeaponOfMassDestruction è una sottoclasse di ProcessoIntenzionale
(subclass Designing IntentionalProcess) Merge.kif 10872-10872 Designing è una sottoclasse di ProcessoIntenzionale
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 18006-18006 Digging è una sottoclasse di ProcessoIntenzionale
(subclass DismantlingWeaponOfMassDestruction IntentionalProcess) WMD.kif 731-731 DismantlingWeaponOfMassDestruction è una sottoclasse di ProcessoIntenzionale
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 446-446 Dodging è una sottoclasse di ProcessoIntenzionale
(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 18093-18093 Drilling è una sottoclasse di ProcessoIntenzionale
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 13117-13117 Ducking è una sottoclasse di ProcessoIntenzionale
(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1197-1197 EngineersSubprocess è una sottoclasse di ProcessoIntenzionale
(subclass Evacuation IntentionalProcess) MilitaryProcesses.kif 2489-2489 Evacuation è una sottoclasse di ProcessoIntenzionale
(subclass Guiding IntentionalProcess) Merge.kif 11629-11629 Guidare è una sottoclasse di ProcessoIntenzionale
(subclass ITProcess IntentionalProcess) engineering.kif 1310-1310 ITProcess è una sottoclasse di ProcessoIntenzionale
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10534-10534 ProcessoPsicologicoIntenzionale è una sottoclasse di ProcessoIntenzionale

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 20487-20487 Il numero 1 argomenti di OccupationFn è un istanza di ProcessoIntenzionale
(domainSubclass FailureFn 1 IntentionalProcess) ComputingBrands.kif 4514-4514 Il numero 1 argomento FailureFn è una sottoclasse diProcessoIntenzionale
(domainSubclass distrusts 3 IntentionalProcess) Law.kif 369-369 Il numero 3 argomento distrusts è una sottoclasse diProcessoIntenzionale
(domainSubclass enjoys 2 IntentionalProcess) Mid-level-ontology.kif 7368-7368 Il numero 2 argomento enjoys è una sottoclasse diProcessoIntenzionale
(domainSubclass hasOccupation 2 IntentionalProcess) Mid-level-ontology.kif 21364-21364 Il numero 2 argomento hasOccupation è una sottoclasse diProcessoIntenzionale
(domainSubclass industryServiceType 2 IntentionalProcess) Economy.kif 1643-1643 Il numero 2 argomento industryServiceType è una sottoclasse diProcessoIntenzionale
(domainSubclass organizationServiceType 2 IntentionalProcess) Economy.kif 1661-1661 Il numero 2 argomento organizationServiceType è una sottoclasse diProcessoIntenzionale
(domainSubclass trusts 3 IntentionalProcess) Law.kif 358-358 Il numero 3 argomento trusts è una sottoclasse diProcessoIntenzionale

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 10403-10409
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT))
    (exists (?PURP)
        (hasPurposeForAgent ?PROC ?PURP ?AGENT)))		 Merge.kif 10513-10518
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))		 Merge.kif 10527-10532
(=>
    (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 526-540
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))		 Merge.kif 2732-2738
(=>
    (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 573-588
(=>
    (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 554-571
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))		 Law.kif 515-524
(=>
    (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 14148-14162
(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?PROC ?AGENT))))		 Merge.kif 10520-10525

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 6447-6459
(=>
    (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 30230-30241
(=>
    (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 12068-12084
(=>
    (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 12036-12048
(=>
    (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 19827-19836
(=>
    (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 2336-2346
(=>
    (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 1084-1092
(=>
    (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 889-898
(=>
    (holdsDuring ?T
        (attribute ?H Coma))
    (not
        (exists (?IP)
            (and
                (instance ?IP IntentionalProcess)
                (agent ?IP ?H)
                (during ?T
                    (WhenFn ?IP))))))		 Medicine.kif 5215-5224
(=>
    (holdsDuring ?T
        (attribute ?H Conscious))
    (holdsDuring ?T
        (capability IntentionalProcess agent ?H)))		 Medicine.kif 441-445
(=>
    (inScopeOfInterest ?AGENT ?OBJECT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?OBJECT))))		 Merge.kif 2740-2746
(=>
    (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 2832-2839
(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))		 Merge.kif 1072-1078
(=>
    (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 1994-2006
(=>
    (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 26238-26248
(=>
    (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 27035-27057
(=>
    (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 1336-1350
(=>
    (instance ?X UniformClothing)
    (exists (?PROC ?DESIGN)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?DESIGN)
            (represents ?X ?DESIGN))))		 Mid-level-ontology.kif 26683-26689
(=>
    (issuedBy ?CERT ?AGENT)
    (exists (?P)
        (and
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?CERT))))		 Mid-level-ontology.kif 16501-16507
(=>
    (musicChartBy ?CHART ?AGENT)
    (exists (?P ?C)
        (and
            (instance ?C ?CHART)
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?C))))		 Music.kif 1165-1172


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