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

KB Term:  Term intersection
English Word: 

Sigma KEE - CognitiveAgent
CognitiveAgent

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


(subclass CognitiveAgent SentientAgent) Merge.kif 1671-1671
(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 1673-1679

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


(subclass Human CognitiveAgent) Merge.kif 14956-14956
(subclass Deity CognitiveAgent) People.kif 689-689
(termFormat EnglishLanguage CognitiveAgent "cognitive agent") english_format.kif 906-906

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


(domain prefers 1 CognitiveAgent) Merge.kif 2795-2795
(domain inScopeOfInterest 1 CognitiveAgent) Merge.kif 2832-2832
(domain needs 1 CognitiveAgent) Merge.kif 2860-2860
(domain wants 1 CognitiveAgent) Merge.kif 2874-2874
(domain desires 1 CognitiveAgent) Merge.kif 2897-2897
(domain considers 1 CognitiveAgent) Merge.kif 2909-2909
(domain believes 1 CognitiveAgent) Merge.kif 2919-2919
(domain knows 1 CognitiveAgent) Merge.kif 2935-2935
(domain says 1 CognitiveAgent) Merge.kif 2955-2955
(domain expects 1 CognitiveAgent) Merge.kif 10835-10835
(domain employs 2 CognitiveAgent) Merge.kif 16996-16996
(domain holdsRight 1 CognitiveAgent) Merge.kif 17776-17776
(domain confersRight 2 CognitiveAgent) Merge.kif 17784-17784
(domain holdsObligation 1 CognitiveAgent) Merge.kif 17795-17795
(domain confersObligation 2 CognitiveAgent) Merge.kif 17804-17804
(domain patientMedical 2 CognitiveAgent) Mid-level-ontology.kif 6787-6787
(domain enjoys 1 CognitiveAgent) Mid-level-ontology.kif 8664-8664
(domain fears 1 CognitiveAgent) Mid-level-ontology.kif 8683-8683
(domain hopes 1 CognitiveAgent) Mid-level-ontology.kif 8717-8717
(domain doubts 1 CognitiveAgent) Mid-level-ontology.kif 8730-8730
(domain dislikes 1 CognitiveAgent) Mid-level-ontology.kif 8745-8745
(domain disapproves 1 CognitiveAgent) Mid-level-ontology.kif 8760-8760
(domain lacks 1 CognitiveAgent) Mid-level-ontology.kif 8769-8769
(domain customer 1 CognitiveAgent) Mid-level-ontology.kif 9041-9041
(domain partyToAgreement 1 CognitiveAgent) Mid-level-ontology.kif 15599-15599

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))		 Merge.kif 2841-2847
(=>
    (instance ?AGENT CognitiveAgent)
    (capability Reasoning agent ?AGENT))		 Merge.kif 12283-12285
(=>
    (instance ?A CognitiveAgent)
    (exists (?E)
        (and
            (instance ?E EmotionalState)
            (attribute ?A ?E))))		 Merge.kif 18635-18640
(=>
    (and
        (instance ?STEAL Stealing)
        (destination ?STEAL ?AGENT)
        (origin ?STEAL ?VICTIM)
        (instance ?VICTIM CognitiveAgent))
    (not
        (confersRight ?VICTIM ?AGENT
            (destination ?STEAL ?AGENT))))		 Mid-level-ontology.kif 20505-20513
(=>
    (and
        (instance ?S SeizingProperty)
        (destination ?S ?A)
        (origin ?S ?V)
        (instance ?V CognitiveAgent))
    (and
        (instance ?A Government)
        (not
            (confersNorm ?V Permission
                (destination ?S ?A)))))		 Mid-level-ontology.kif 20623-20634
(=>
    (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 24538-24551
(=>
    (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 24558-24571
(=>
    (and
        (instance ?NOTIFY Notifying)
        (instance ?AGENT CognitiveAgent)
        (containsFormula ?NOTIFY ?FORMULA)
        (destination ?NOTIFY ?AGENT))
    (not
        (holdsDuring
            (BeginFn
                (WhenFn ?NOTIFY))
            (knows ?AGENT ?FORMULA))))		 Facebook.kif 620-630
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Organization)
        (instance ?REP CognitiveAgent))
    (employs ?SENDER ?REP))		 Government.kif 4599-4604
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Nation)
        (instance ?REP CognitiveAgent))
    (employs
        (GovernmentFn ?SENDER) ?REP))		 Government.kif 4606-4611
(=>
    (and
        (instance ?DAMAGE Damaging)
        (agent ?DAMAGE ?PROP)
        (destination ?DAMAGE ?DEST)
        (instance ?DEST CognitiveAgent))
    (believes ?DEST
        (attribute ?PROP Dangerous)))		 MilitaryPersons.kif 231-238
(=>
    (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
        (attribute ?A Compassion)
        (instance ?A CognitiveAgent))
    (not
        (desires ?A
            (exists (?D ?O)
                (and
                    (instance ?D Damaging)
                    (patient ?D ?O)
                    (instance ?O Object))))))		 emotion.kif 1660-1670

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


(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (agent ?PROC ?AGENT))))		 Merge.kif 10743-10748
(=>
    (and
        (instance ?LEARN Learning)
        (agent ?LEARN ?AGENT))
    (instance ?AGENT CognitiveAgent))		 Merge.kif 12219-12223
(=>
    (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 ?AGENT
                (knows ?AGENT
                    (located ?OBJ ?LOC))))))		 Merge.kif 13268-13280
(=>
    (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 ?AGENT
                (knows ?AGENT
                    (located ?OBJ ?LOC))))))		 Merge.kif 13282-13295
(=>
    (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 13343-13352
(=>
    (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 13360-13368
(=>
    (instance ?S Spear)
    (hasPurpose ?S
        (exists (?P ?A)
            (and
                (instance ?A CognitiveAgent)
                (or
                    (instance ?P Poking)
                    (instance ?P Hunting)
                    (instance ?P Attacking))
                (instrument ?P ?S)
                (agent ?P ?A)))))		 Mid-level-ontology.kif 1235-1246
(=>
    (and
        (instance ?O OccupationalRole)
        (property ?X ?O))
    (instance ?X CognitiveAgent))		 Mid-level-ontology.kif 24526-24530
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))		 Mid-level-ontology.kif 24532-24536
(=>
    (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 24538-24551
(=>
    (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 24558-24571
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))		 Mid-level-ontology.kif 25214-25219
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))		 Mid-level-ontology.kif 25221-25226
(=>
    (and
        (instance ?ARREST PlacingUnderArrest)
        (agent ?ARREST ?AGENT))
    (instance ?AGENT CognitiveAgent))		 Mid-level-ontology.kif 25800-25804
(=>
    (attribute ?OBJECT ForSale)
    (exists (?CA ?S)
        (and
            (instance ?CA CognitiveAgent)
            (instance ?OBJECT Object)
            (capability Selling agent ?CA)
            (capability Selling patient ?OBJECT)
            (desires ?CA
                (and
                    (instance ?S Selling)
                    (agent ?S ?CA)
                    (patient ?S ?OBJECT))))))		 Economy.kif 6687-6699
(=>
    (and
        (instance ?AUTO AutomatedSystem)
        (agent ?PROCESS ?AUTO))
    (and
        (instance ?COG CognitiveAgent)
        (not
            (agent ?PROCESS ?COG))))		 Facebook.kif 653-660
(=>
    (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-73
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?H))
    (instance ?H CognitiveAgent))		 MilitaryProcesses.kif 2617-2621
(=>
    (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
(=>
    (visitorParameter ?VISITOR ?FORMULA ?SITE)
    (exists (?AGENT)
        (and
            (instance ?AGENT CognitiveAgent)
            (possesses ?AGENT ?SITE)
            (knows ?AGENT ?FORMULA))))		 UXExperimentalTerms.kif 1179-1185
(=>
    (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 2796-2806
(=>
    (instance ?WA WeatherAssessment)
    (containsFormula ?WA
        (exists (?R ?A ?WP)
            (and
                (instance ?R Reasoning)
                (instance ?A CognitiveAgent)
                (agent ?R ?A)
                (instance ?WP WeatherProcess)
                (patient ?R ?WP)
                (result ?R ?WA)
                (earlier
                    (WhenFn ?WP)
                    (WhenFn ?WA))))))		 Weather.kif 4461-4472
(=>
    (instance ?ER ExpenseReport)
    (exists (?PHYS ?ENTITY ?AGENT1 ?AGENT2)
        (and
            (refers ?PHYS ?ENTITY)
            (patient ?ER ?PHYS)
            (instance ?AGENT1 CognitiveAgent)
            (agent ?ER ?AGENT1)
            (instance ?AGENT2 CognitiveAgent)
            (destination ?ER ?AGENT2)
            (employs ?AGENT2 ?AGENT1))))		 TravelPolicies.kif 627-637


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners