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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CognitiveAgent
CognitiveAgent(認識エージェント)

appearance as argument number 1
-------------------------


(documentation CognitiveAgent ChineseLanguage " CognitiveAgent 是一个能够思考、深思熟虑、计划 和体会感情的 Agent。虽然 HumanCognitiveAgent 的子类别,也可以出现非 Human 而却是 CognitiveAgent 的实例。例如:Primate、海豚、鲸鱼和外星人(如果它们存在的话)可以算是 CognitiveAgent。") chinese_format.kif 1689-1692
(documentation CognitiveAgent EnglishLanguage "A CognitiveAgent is an AutonomousAgent that has the ability to reason, deliberate, make plans, and experience emotions. Although Human is a subclass of CognitiveAgent, there may be instances of CognitiveAgent which are not also instances of Human. For example, Primates, dolphins, whales, and some extraterrestrials (if they exist) might be considered CognitiveAgents.") Merge.kif 1578-1584
(documentation CognitiveAgent JapaneseLanguage "CognitiveAgent は、Agent で、論証したり、 熟考したり、計画を立てたり、感情を体験するする能力がある。 HumanCognitiveAgent のサブク ラスだが、Human のインスタンスでもある CognitiveAgent のインスタンスの可能性がある。 例えば、 Primate、イルカ、クジラ、および一部の地球外物(存在する場合)は CognitiveAgent と見なされるか もしれない。") japanese_format.kif 282-286
(subclass CognitiveAgent SentientAgent) Merge.kif 1576-1576 認識エージェント意識[知覚]を持つ代理(人)subclass では %n

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


(subclass Deity CognitiveAgent) People.kif 655-655 Deity認識エージェントsubclass では %n
(subclass Human CognitiveAgent) Merge.kif 14644-14644 人[人間]認識エージェントsubclass では %n
(termFormat ChineseLanguage CognitiveAgent "有认知的主事") chinese_format.kif 850-850
(termFormat EnglishLanguage CognitiveAgent "cognitive agent") english_format.kif 902-902
(termFormat FrenchLanguage CognitiveAgent "agent cognitif") french_format.kif 526-526
(termFormat Hindi CognitiveAgent "sangyaanaatmaka kartaa") terms-hindi.txt 57-57
(termFormat ItalianLanguage CognitiveAgent "AgenteCognitivo") terms-it.txt 60-60
(termFormat JapaneseLanguage CognitiveAgent "認識エージェント") japanese_format.kif 2211-2211
(termFormat PortugueseLanguage CognitiveAgent "Agente Cognitivo") portuguese_format.kif 478-478
(termFormat cz CognitiveAgent "cognitive agent") terms-cz.txt 93-93
(termFormat ro CognitiveAgent "agent cognitiv") relations-ro.kif 547-547
(termFormat tg CognitiveAgent "kinatawan may kaalaman") terms-tg.txt 61-61

appearance as argument number 3
-------------------------


(domain MusicalInterpretationFn 1 CognitiveAgent) Music.kif 845-845 MusicalInterpretationFn の数値 1 引数は 認識エージェントinstance では %n
(domain RemixFn 2 CognitiveAgent) Music.kif 886-886 RemixFn の数値 2 引数は 認識エージェントinstance では %n
(domain accountHolder 2 CognitiveAgent) FinancialOntology.kif 250-250 accountHolder の数値 2 引数は 認識エージェントinstance では %n
(domain administrator 2 CognitiveAgent) FinancialOntology.kif 4015-4015 administrator の数値 2 引数は 認識エージェントinstance では %n
(domain agreementClause 4 CognitiveAgent) Mid-level-ontology.kif 14070-14070 agreementClause の数値 4 引数は 認識エージェントinstance では %n
(domain albumArtist 2 CognitiveAgent) Music.kif 278-278 albumArtist の数値 2 引数は 認識エージェントinstance では %n
(domain allegiance 1 CognitiveAgent) Mid-level-ontology.kif 24159-24159 allegiance の数値 1 引数は 認識エージェントinstance では %n
(domain allegiance 2 CognitiveAgent) Mid-level-ontology.kif 24160-24160 allegiance の数値 2 引数は 認識エージェントinstance では %n
(domain approves 1 CognitiveAgent) Mid-level-ontology.kif 26950-26950 approves の数値 1 引数は 認識エージェントinstance では %n
(domain approves 2 CognitiveAgent) Mid-level-ontology.kif 26951-26951 approves の数値 2 引数は 認識エージェントinstance では %n
(domain believes 1 CognitiveAgent) Merge.kif 2810-2810 believes の数値 1 引数は 認識エージェントinstance では %n
(domain borrower 2 CognitiveAgent) FinancialOntology.kif 1301-1301 borrower の数値 2 引数は 認識エージェントinstance では %n
(domain buys 1 CognitiveAgent) Mid-level-ontology.kif 29959-29959 buys の数値 1 引数は 認識エージェントinstance では %n
(domain checkOutTime 1 CognitiveAgent) Hotel.kif 681-681 checkOutTime の数値 1 引数は 認識エージェントinstance では %n
(domain composer 1 CognitiveAgent) Music.kif 145-145 composer の数値 1 引数は 認識エージェントinstance では %n
(domain confersObligation 3 CognitiveAgent) Merge.kif 17456-17456 confersObligation の数値 3 引数は 認識エージェントinstance では %n
(domain confersRight 3 CognitiveAgent) Merge.kif 17435-17435 confersRight の数値 3 引数は 認識エージェントinstance では %n
(domain considers 1 CognitiveAgent) Merge.kif 2800-2800 considers の数値 1 引数は 認識エージェントinstance では %n
(domain contestEntry 2 CognitiveAgent) Music.kif 1081-1081 contestEntry の数値 2 引数は 認識エージェントinstance では %n
(domain contestOrganizer 2 CognitiveAgent) Music.kif 1064-1064 contestOrganizer の数値 2 引数は 認識エージェントinstance では %n
(domain contestParticipantRepresentation 2 CognitiveAgent) Music.kif 1106-1106 contestParticipantRepresentation の数値 2 引数は 認識エージェントinstance では %n
(domain creditRanking 1 CognitiveAgent) FinancialOntology.kif 2502-2502 creditRanking の数値 1 引数は 認識エージェントinstance では %n
(domain customer 1 CognitiveAgent) Mid-level-ontology.kif 7720-7720 customer の数値 1 引数は 認識エージェントinstance では %n
(domain customerRepresentative 1 CognitiveAgent) FinancialOntology.kif 3628-3628 customerRepresentative の数値 1 引数は 認識エージェントinstance では %n
(domain customerRepresentative 2 CognitiveAgent) FinancialOntology.kif 3629-3629 customerRepresentative の数値 2 引数は 認識エージェントinstance では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?DAMAGE Damaging)
        (agent ?DAMAGE ?PROP)
        (destination ?DAMAGE ?DEST)
        (instance ?DEST CognitiveAgent))
    (believes ?DEST
        (attribute ?PROP Dangerous)))
MilitaryPersons.kif 228-235
(=>
    (and
        (instance ?O OccupationalRole)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O)))
    (exists (?X ?T ?P ?PT)
        (and
            (instance ?X CognitiveAgent)
            (holdsDuring ?T
                (attribute ?X ?O))
            (instance ?P ?PCLASS)
            (agent ?X ?P)
            (time ?P ?PT)
            (temporalPart ?PT ?T))))
Mid-level-ontology.kif 22260-22273
(=>
    (and
        (instance ?OCCD OccupationalDomain)
        (instance ?X
            (AttrFn CognitiveAgent ?OCCD)))
    (exists (?PCLASS)
        (and
            (typicalAction ?PCLASS
                (AttrFn CognitiveAgent ?OCCD))
            (hasPurpose ?X
                (exists (?P)
                    (and
                        (instance ?P ?PCLASS)
                        (agent ?X ?P)))))))
Mid-level-ontology.kif 22280-22293
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))
Merge.kif 2732-2738
(=>
    (and
        (instance ?S SeizingProperty)
        (destination ?S ?A)
        (origin ?S ?V)
        (instance ?V CognitiveAgent))
    (and
        (instance ?A Government)
        (not
            (confersNorm ?V
                (destination ?S ?A) Permission))))
Mid-level-ontology.kif 18701-18712
(=>
    (and
        (instance ?SAMPLE_COLL Collection)
        (instance ?POP_COLL Collection)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT CognitiveAgent)
        (agent ?EXPERIMENT ?AGENT)
        (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
    (forall (?ATTRIBUTE)
        (=>
            (and
                (instance ?ATTRIBUTE Attribute)
                (property ?SAMPLE_COLL ?ATTRIBUTE)
                (inScopeOfInterest ?AGENT ?ATTRIBUTE)
                (not
                    (equal ?ATTRIBUTE RepresentativeSample)))
            (property ?POP_COLL ?ATTRIBUTE))))
UXExperimentalTerms.kif 501-517
(=>
    (and
        (instance ?STEAL Stealing)
        (destination ?STEAL ?AGENT)
        (origin ?STEAL ?VICTIM)
        (instance ?VICTIM CognitiveAgent))
    (not
        (confersRight
            (destination ?STEAL ?AGENT) ?VICTIM ?AGENT)))
Mid-level-ontology.kif 18586-18594
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Nation)
        (instance ?REP CognitiveAgent))
    (employs
        (GovernmentFn ?SENDER) ?REP))
Government.kif 4614-4619
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Organization)
        (instance ?REP CognitiveAgent))
    (employs ?SENDER ?REP))
Government.kif 4607-4612
(=>
    (instance ?AGENT CognitiveAgent)
    (capability Reasoning agent ?AGENT))
Merge.kif 11997-11999

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


(=>
    (and
        (instance ?ARREST PlacingUnderArrest)
        (agent ?ARREST ?AGENT))
    (instance ?AGENT CognitiveAgent))
Mid-level-ontology.kif 23482-23486
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?H))
    (instance ?H CognitiveAgent))
MilitaryProcesses.kif 2542-2546
(=>
    (and
        (instance ?LEARN Learning)
        (agent ?LEARN ?AGENT))
    (instance ?AGENT CognitiveAgent))
Merge.kif 11943-11947
(=>
    (and
        (instance ?O OccupationalRole)
        (property ?X ?O))
    (instance ?X CognitiveAgent))
Mid-level-ontology.kif 22248-22252
(=>
    (and
        (instance ?O OccupationalRole)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O)))
    (exists (?X ?T ?P ?PT)
        (and
            (instance ?X CognitiveAgent)
            (holdsDuring ?T
                (attribute ?X ?O))
            (instance ?P ?PCLASS)
            (agent ?X ?P)
            (time ?P ?PT)
            (temporalPart ?PT ?T))))
Mid-level-ontology.kif 22260-22273
(=>
    (and
        (instance ?OCCD OccupationalDomain)
        (instance ?X
            (AttrFn CognitiveAgent ?OCCD)))
    (exists (?PCLASS)
        (and
            (typicalAction ?PCLASS
                (AttrFn CognitiveAgent ?OCCD))
            (hasPurpose ?X
                (exists (?P)
                    (and
                        (instance ?P ?PCLASS)
                        (agent ?X ?P)))))))
Mid-level-ontology.kif 22280-22293
(=>
    (and
        (instance ?S Searching)
        (patient ?S ?OBJ)
        (instance ?OBJ Physical))
    (exists (?LOC ?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?S ?AGENT)
            (instance ?LOC Object)
            (located ?OBJ ?LOC)
            (hasPurposeForAgent ?S
                (knows ?AGENT
                    (located ?OBJ ?LOC)) ?AGENT))))
Merge.kif 12984-12997
(=>
    (instance ?COMMUNICATE Communication)
    (exists (?PHYS ?ENTITY ?AGENT1 ?AGENT2)
        (and
            (refers ?PHYS ?ENTITY)
            (patient ?COMMUNICATE ?PHYS)
            (instance ?AGENT1 CognitiveAgent)
            (agent ?COMMUNICATE ?AGENT1)
            (instance ?AGENT2 CognitiveAgent)
            (destination ?COMMUNICATE ?AGENT2))))
Merge.kif 13045-13054
(=>
    (instance ?CS CustomerSupport)
    (hasPurpose ?CS
        (exists (?MEMBER ?CUSTOMER ?ORG)
            (and
                (instance ?MEMBER CognitiveAgent)
                (instance ?CUSTOMER CognitiveAgent)
                (instance ?ORG Organization)
                (businessUnit ?CS ?ORG)
                (member ?MEMBER ?CS)
                (customerRepresentative ?MEMBER ?CUSTOMER ?ORG)))))
UXExperimentalTerms.kif 2795-2805
(=>
    (instance ?D Discography)
    (exists (?M ?AC)
        (and
            (instance ?M CognitiveAgent)
            (attribute ?M ?AC)
            (instance ?AC Musician)
            (forall (?X)
                (=>
                    (member ?X ?D)
                    (exists (?I ?T ?R ?DS)
                        (and
                            (musician ?X ?M ?I)
                            (releaseForSale
                                (AlbumCopiesFn ?X ?DS) ?R ?T))))))))
Music.kif 67-80
(=>
    (instance ?DISSEMINATE Disseminating)
    (exists (?AGENT1 ?AGENT2)
        (and
            (destination ?DISSEMINATE ?AGENT1)
            (instance ?AGENT1 CognitiveAgent)
            (destination ?DISSEMINATE ?AGENT2)
            (instance ?AGENT2 CognitiveAgent)
            (not
                (equal ?AGENT1 ?AGENT2)))))
Merge.kif 13062-13070
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))
Mid-level-ontology.kif 22896-22901
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 22903-22908
(=>
    (instance ?FD FoodDistributionOperation)
    (exists (?FOOD ?CA)
        (and
            (instance ?FOOD
                (FoodForFn Animal))
            (instance ?CA CognitiveAgent)
            (patient ?FD ?FOOD)
            (destination ?FD ?CA)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?FD))
                (possesses ?CA ?FOOD)))))
Military.kif 62-71
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))
Mid-level-ontology.kif 22254-22258
(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?PROC ?AGENT))))
Merge.kif 10498-10503
(=>
    (instance ?S Searching)
    (exists (?AGENT ?OBJ ?LOC)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?S ?AGENT)
            (instance ?OBJ Physical)
            (patient ?S ?OBJ)
            (instance ?LOC Object)
            (located ?OBJ ?LOC)
            (hasPurposeForAgent ?S
                (knows ?AGENT
                    (located ?OBJ ?LOC)) ?AGENT))))
Merge.kif 12970-12982
(=>
    (visitorParameter ?VISITOR ?FORMULA ?SITE)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (possesses ?AGENT ?SITE)
            (knows ?AGENT ?FORMULA))))
UXExperimentalTerms.kif 1179-1185


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