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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CognitiveAgent

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 1534-1540
(subclass CognitiveAgent SentientAgent) Merge.kif 1532-1532 subclass CognitiveAgent and SentientAgent

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


(subclass Deity CognitiveAgent) People.kif 681-681 subclass Deity and CognitiveAgent
(subclass Human CognitiveAgent) Merge.kif 14459-14459 subclass Human and CognitiveAgent
(termFormat ChineseLanguage CognitiveAgent "有认知的主事") chinese_format.kif 850-850
(termFormat EnglishLanguage CognitiveAgent "cognitive agent") english_format.kif 902-902

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


(domain MusicalInterpretationFn 1 CognitiveAgent) Music.kif 843-843 domain MusicalInterpretationFn, 1 and CognitiveAgent
(domain RemixFn 2 CognitiveAgent) Music.kif 884-884 domain RemixFn, 2 and CognitiveAgent
(domain accountHolder 2 CognitiveAgent) FinancialOntology.kif 250-250 domain accountHolder, 2 and CognitiveAgent
(domain administrator 2 CognitiveAgent) FinancialOntology.kif 4025-4025 domain administrator, 2 and CognitiveAgent
(domain agreementClause 4 CognitiveAgent) Mid-level-ontology.kif 13930-13930 domain agreementClause, 4 and CognitiveAgent
(domain albumArtist 2 CognitiveAgent) Music.kif 277-277 domain albumArtist, 2 and CognitiveAgent
(domain believes 1 CognitiveAgent) Merge.kif 2766-2766 domain believes, 1 and CognitiveAgent
(domain borrower 2 CognitiveAgent) FinancialOntology.kif 1301-1301 domain borrower, 2 and CognitiveAgent
(domain checkOutTime 1 CognitiveAgent) Hotel.kif 681-681 domain checkOutTime, 1 and CognitiveAgent
(domain composer 1 CognitiveAgent) Music.kif 144-144 domain composer, 1 and CognitiveAgent
(domain confersObligation 3 CognitiveAgent) Merge.kif 17263-17263 domain confersObligation, 3 and CognitiveAgent
(domain confersRight 3 CognitiveAgent) Merge.kif 17242-17242 domain confersRight, 3 and CognitiveAgent
(domain considers 1 CognitiveAgent) Merge.kif 2756-2756 domain considers, 1 and CognitiveAgent
(domain contestEntry 2 CognitiveAgent) Music.kif 1079-1079 domain contestEntry, 2 and CognitiveAgent
(domain contestOrganizer 2 CognitiveAgent) Music.kif 1062-1062 domain contestOrganizer, 2 and CognitiveAgent
(domain contestParticipantRepresentation 2 CognitiveAgent) Music.kif 1104-1104 domain contestParticipantRepresentation, 2 and CognitiveAgent
(domain creditRanking 1 CognitiveAgent) FinancialOntology.kif 2515-2515 domain creditRanking, 1 and CognitiveAgent
(domain customer 1 CognitiveAgent) Mid-level-ontology.kif 7693-7693 domain customer, 1 and CognitiveAgent
(domain customerRepresentative 1 CognitiveAgent) FinancialOntology.kif 3638-3638 domain customerRepresentative, 1 and CognitiveAgent
(domain customerRepresentative 2 CognitiveAgent) FinancialOntology.kif 3639-3639 domain customerRepresentative, 2 and CognitiveAgent
(domain defendant 2 CognitiveAgent) Mid-level-ontology.kif 16120-16120 domain defendant, 2 and CognitiveAgent
(domain desires 1 CognitiveAgent) Merge.kif 2744-2744 domain desires, 1 and CognitiveAgent
(domain disapproves 1 CognitiveAgent) Mid-level-ontology.kif 7413-7413 domain disapproves, 1 and CognitiveAgent
(domain discography 1 CognitiveAgent) Music.kif 239-239 domain discography, 1 and CognitiveAgent
(domain dislikes 1 CognitiveAgent) Mid-level-ontology.kif 7398-7398 domain dislikes, 1 and CognitiveAgent

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 ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))
Merge.kif 2688-2694
(=>
    (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 18496-18507
(=>
    (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 629-645
(=>
    (and
        (instance ?STEAL Stealing)
        (destination ?STEAL ?AGENT)
        (origin ?STEAL ?VICTIM)
        (instance ?VICTIM CognitiveAgent))
    (not
        (confersRight
            (destination ?STEAL ?AGENT) ?VICTIM ?AGENT)))
Mid-level-ontology.kif 18381-18389
(=>
    (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 11873-11875

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


(=>
    (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 11819-11823
(=>
    (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 12799-12812
(=>
    (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 12860-12869
(=>
    (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 3005-3015
(=>
    (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 12877-12885
(=>
    (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 ?PROC IntentionalProcess)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?PROC ?AGENT))))
Merge.kif 10445-10450
(=>
    (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 12785-12797
(=>
    (visitorParameter ?VISITOR ?FORMULA ?SITE)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (possesses ?AGENT ?SITE)
            (knows ?AGENT ?FORMULA))))
UXExperimentalTerms.kif 1376-1382


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