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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Coffee

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

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


(disjoint AutonomicProcess IntentionalProcess) Merge.kif 10164-10164 AutonomicProcess è disgiunto da ProcessoIntenzionale
(disjoint Dreaming IntentionalProcess) Mid-level-ontology.kif 18235-18235 Dreaming è disgiunto da ProcessoIntenzionale
(disjoint GeologicalProcess IntentionalProcess) Merge.kif 11191-11191 GeologicalProcess è disgiunto da ProcessoIntenzionale
(disjoint NaturalProcess IntentionalProcess) Merge.kif 10484-10484 NaturalProcess è disgiunto da ProcessoIntenzionale
(disjoint Trembling IntentionalProcess) Mid-level-ontology.kif 19983-19983 Trembling è disgiunto da ProcessoIntenzionale
(disjoint WeatherProcess IntentionalProcess) Merge.kif 11198-11198 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 11139-11139 Ambulating è una sottoclasse di ProcessoIntenzionale
(subclass Ceremony IntentionalProcess) Mid-level-ontology.kif 7920-7920 Ceremony è una sottoclasse di ProcessoIntenzionale
(subclass Commenting IntentionalProcess) Mid-level-ontology.kif 15882-15882 Commenting è una sottoclasse di ProcessoIntenzionale
(subclass ContentDevelopment IntentionalProcess) Merge.kif 12671-12671 SviluppoDelContenuto è una sottoclasse di ProcessoIntenzionale
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13859-13859 CriminalAction è una sottoclasse di ProcessoIntenzionale
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 675-675 DeployingWeaponOfMassDestruction è una sottoclasse di ProcessoIntenzionale
(subclass Designing IntentionalProcess) Merge.kif 10850-10850 Designing è una sottoclasse di ProcessoIntenzionale
(subclass Digging IntentionalProcess) Mid-level-ontology.kif 18007-18007 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 18094-18094 Drilling è una sottoclasse di ProcessoIntenzionale
(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 13118-13118 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 11607-11607 Guidare è una sottoclasse di ProcessoIntenzionale
(subclass ITProcess IntentionalProcess) engineering.kif 1310-1310 ITProcess è una sottoclasse di ProcessoIntenzionale
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10512-10512 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 20488-20488 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 7369-7369 Il numero 2 argomento enjoys è una sottoclasse diProcessoIntenzionale
(domainSubclass hasOccupation 2 IntentionalProcess) Mid-level-ontology.kif 21365-21365 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 10404-10410
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT))
    (exists (?PURP)
        (hasPurposeForAgent ?PROC ?PURP ?AGENT)))		 Merge.kif 10491-10496
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN Awake)))		 Merge.kif 10505-10510
(=>
    (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 14149-14163
(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?PROC ?AGENT))))		 Merge.kif 10498-10503

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 30242-30253
(=>
    (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 12046-12062
(=>
    (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 12014-12026
(=>
    (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 19828-19837
(=>
    (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 26250-26260
(=>
    (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 27047-27069
(=>
    (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 26695-26701
(=>
    (issuedBy ?CERT ?AGENT)
    (exists (?P)
        (and
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?CERT))))		 Mid-level-ontology.kif 16502-16508
(=>
    (musicChartBy ?CHART ?AGENT)
    (exists (?P ?C)
        (and
            (instance ?C ?CHART)
            (instance ?P IntentionalProcess)
            (agent ?P ?AGENT)
            (result ?P ?C))))		 Music.kif 1165-1172


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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