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 Agent 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 1481-1487
(subclass CognitiveAgent SentientAgent) Merge.kif 1467-1467

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


(subclass Deity CognitiveAgent) People.kif 658-658
(subclass Human CognitiveAgent) Merge.kif 13950-13950
(termFormat ChineseLanguage CognitiveAgent "有认知的主事") chinese_format.kif 850-850
(termFormat EnglishLanguage CognitiveAgent "cognitive agent") english_format.kif 907-907

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


(domain MusicalInterpretationFn 1 CognitiveAgent) Music.kif 841-841
(domain RemixFn 2 CognitiveAgent) Music.kif 882-882
(domain accountHolder 2 CognitiveAgent) FinancialOntology.kif 250-250
(domain administrator 2 CognitiveAgent) FinancialOntology.kif 3906-3906
(domain agreementClause 4 CognitiveAgent) Mid-level-ontology.kif 12311-12311
(domain albumArtist 2 CognitiveAgent) Music.kif 275-275
(domain allegiance 1 CognitiveAgent) Mid-level-ontology.kif 22207-22207
(domain allegiance 2 CognitiveAgent) Mid-level-ontology.kif 22208-22208
(domain approves 1 CognitiveAgent) Mid-level-ontology.kif 24890-24890
(domain approves 2 CognitiveAgent) Mid-level-ontology.kif 24891-24891
(domain believes 1 CognitiveAgent) Merge.kif 2718-2718
(domain borrower 2 CognitiveAgent) FinancialOntology.kif 1255-1255
(domain buys 1 CognitiveAgent) Mid-level-ontology.kif 27935-27935
(domain buys 2 CognitiveAgent) Mid-level-ontology.kif 27936-27936
(domain checkOutTime 1 CognitiveAgent) Hotel.kif 660-660
(domain composer 1 CognitiveAgent) Music.kif 144-144
(domain confersObligation 3 CognitiveAgent) Merge.kif 16647-16647
(domain confersRight 3 CognitiveAgent) Merge.kif 16626-16626
(domain considers 1 CognitiveAgent) Merge.kif 2708-2708
(domain contestEntry 2 CognitiveAgent) Music.kif 1073-1073
(domain contestOrganizer 2 CognitiveAgent) Music.kif 1056-1056
(domain contestParticipantRepresentation 2 CognitiveAgent) Music.kif 1098-1098
(domain creditRanking 1 CognitiveAgent) FinancialOntology.kif 2443-2443
(domain customer 1 CognitiveAgent) Mid-level-ontology.kif 7046-7046
(domain customer 2 CognitiveAgent) Mid-level-ontology.kif 7047-7047

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 20348-20361
(=>
    (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 20368-20381
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))
Merge.kif 2640-2646
(=>
    (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 16715-16726
(=>
    (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 16600-16608
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Nation)
        (instance ?REP CognitiveAgent))
    (employs
        (GovernmentFn ?SENDER) ?REP))
Government.kif 4577-4582
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Organization)
        (instance ?REP CognitiveAgent))
    (employs ?SENDER ?REP))
Government.kif 4570-4575
(=>
    (instance ?AGENT CognitiveAgent)
    (capability Reasoning agent ?AGENT))
Merge.kif 11444-11446

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


(=>
    (and
        (instance ?ARREST PlacingUnderArrest)
        (agent ?ARREST ?AGENT))
    (instance ?AGENT CognitiveAgent))
Mid-level-ontology.kif 21537-21541
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?H))
    (instance ?H CognitiveAgent))
MilitaryProcesses.kif 2522-2526
(=>
    (and
        (instance ?LEARN Learning)
        (agent ?LEARN ?AGENT))
    (instance ?AGENT CognitiveAgent))
Merge.kif 11390-11394
(=>
    (and
        (instance ?O OccupationalRole)
        (property ?X ?O))
    (instance ?X CognitiveAgent))
Mid-level-ontology.kif 20336-20340
(=>
    (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 20348-20361
(=>
    (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 20368-20381
(=>
    (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 12332-12345
(=>
    (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 12389-12398
(=>
    (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 12406-12414
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))
Mid-level-ontology.kif 20951-20956
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 20958-20963
(=>
    (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 20342-20346
(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?PROC ?AGENT))))
Merge.kif 10056-10061
(=>
    (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 12318-12330
(=>
    (visitorParameter ?VISITOR ?FORMULA ?SITE)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (possesses ?AGENT ?SITE)
            (knows ?AGENT ?FORMULA))))
UXExperimentalTerms.kif 1376-1382


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