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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CognitiveAgent
CognitiveAgent(cognitive agent)Adonis, Aeolian, Aesculapius, Aether, Agdistis, Ahriman, Alcides, Andvari, Antichrist, Antum, Anunnaki, Argus, Ariadne, Asclepius, Asklepios, Asterope, Atlas, Avalokiteshvara, Avalokitesvara, Babar, Balarama, Beelzebub, Brer_Rabbit, Brunhild, Brunnhilde, Brynhild, Bunyan, Cadmus, Calliope, Calypso, Chandi, Charon, Circe, Clio, Cocus, Cora, Crius, Cyclops, Damon_and_Pythias, Despoina, Devil, Dido, Doris, Enuki, Epimetheus, Erato, Euryale, Eurydice, Euterpe, Gorgon...

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


s__documentation(s__CognitiveAgent,s__ChineseLanguage,'" CognitiveAgent 是一个能够思考、深思熟虑、计划 和体会感情的 Agent。虽然 HumanCognitiveAgent 的子类别,也可以出现非 Human 而却是 CognitiveAgent 的实例。例如:Primate、海豚、鲸鱼和外星人(如果它们存在的话)可以算是 CognitiveAgent。"')

chinese_format.kif 1689-1692
s__documentation(s__CognitiveAgent,s__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 1475-1481
s__instance(s__SentientAgent,s__SetOrClass)

s__instance(s__CognitiveAgent,s__SetOrClass)

s__subclass(s__CognitiveAgent,s__SentientAgent)

Merge.kif 1461-1461 Cognitive agent is a subclass of sentient agent

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


s__instance(s__CognitiveAgent,s__SetOrClass)

s__subclass(s__Deity,s__CognitiveAgent)

s__instance(s__Deity,s__SetOrClass)

People.kif 657-657 Deity is a subclass of cognitive agent
s__instance(s__CognitiveAgent,s__SetOrClass)

s__instance(s__Human,s__SetOrClass)

s__subclass(s__Human,s__CognitiveAgent)

Merge.kif 13573-13573 Human is a subclass of cognitive agent
s__termFormat(s__ChineseLanguage,s__CognitiveAgent,'"有认知的主事"')

chinese_format.kif 850-850
s__termFormat(s__EnglishLanguage,s__CognitiveAgent,'"cognitive agent"')

english_format.kif 907-907

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


s__domain(s__MusicalInterpretationFn__m,n__1,s__CognitiveAgent)

Music.kif 841-841 The number 1 argument of musical interpretation is an instance of cognitive agent
s__domain(s__RemixFn__m,n__2,s__CognitiveAgent)

Music.kif 882-882 The number 2 argument of remix function is an instance of cognitive agent
s__domain(s__accountHolder__m,n__2,s__CognitiveAgent)

FinancialOntology.kif 250-250 The number 2 argument of account holder is an instance of cognitive agent
s__domain(s__administrator__m,n__2,s__CognitiveAgent)

FinancialOntology.kif 3858-3858 The number 2 argument of administrator is an instance of cognitive agent
s__domain(s__agreementClause__m,n__4,s__CognitiveAgent)

Mid-level-ontology.kif 11679-11679 The number 4 argument of agreement clause is an instance of cognitive agent
s__domain(s__albumArtist__m,n__2,s__CognitiveAgent)

Music.kif 275-275 The number 2 argument of album artist is an instance of cognitive agent
s__domain(s__allegiance__m,n__1,s__CognitiveAgent)

Mid-level-ontology.kif 21935-21935 The number 1 argument of allegiance is an instance of cognitive agent
s__domain(s__allegiance__m,n__2,s__CognitiveAgent)

Mid-level-ontology.kif 21936-21936 The number 2 argument of allegiance is an instance of cognitive agent
s__domain(s__approves__m,n__1,s__CognitiveAgent)

Mid-level-ontology.kif 25137-25137 The number 1 argument of approves is an instance of cognitive agent
s__domain(s__approves__m,n__2,s__CognitiveAgent)

Mid-level-ontology.kif 25138-25138 The number 2 argument of approves is an instance of cognitive agent
s__domain(s__believes__m,n__1,s__CognitiveAgent)

Merge.kif 2711-2711 The number 1 argument of believes is an instance of cognitive agent
s__domain(s__borrower__m,n__2,s__CognitiveAgent)

FinancialOntology.kif 1242-1242 The number 2 argument of borrower is an instance of cognitive agent
s__domain(s__buys__m,n__1,s__CognitiveAgent)

Mid-level-ontology.kif 28130-28130 The number 1 argument of buys is an instance of cognitive agent
s__domain(s__buys__m,n__2,s__CognitiveAgent)

Mid-level-ontology.kif 28131-28131 The number 2 argument of buys is an instance of cognitive agent
s__domain(s__checkOutTime__m,n__1,s__CognitiveAgent)

Hotel.kif 654-654 The number 1 argument of check-out time is an instance of cognitive agent
s__domain(s__composer__m,n__1,s__CognitiveAgent)

Music.kif 144-144 The number 1 argument of composer is an instance of cognitive agent
s__domain(s__confersObligation__m,n__3,s__CognitiveAgent)

Merge.kif 16220-16220 The number 3 argument of confers obligation is an instance of cognitive agent
s__domain(s__confersRight__m,n__3,s__CognitiveAgent)

Merge.kif 16199-16199 The number 3 argument of confers right is an instance of cognitive agent
s__domain(s__considers__m,n__1,s__CognitiveAgent)

Merge.kif 2701-2701 The number 1 argument of considers is an instance of cognitive agent
s__domain(s__contestEntry__m,n__2,s__CognitiveAgent)

Music.kif 1073-1073 The number 2 argument of contest entry is an instance of cognitive agent
s__domain(s__contestOrganizer__m,n__2,s__CognitiveAgent)

Music.kif 1056-1056 The number 2 argument of contest organizer is an instance of cognitive agent
s__domain(s__contestParticipantRepresentation__m,n__2,s__CognitiveAgent)

Music.kif 1098-1098 The number 2 argument of contest representation is an instance of cognitive agent
s__domain(s__creditRanking__m,n__1,s__CognitiveAgent)

FinancialOntology.kif 2424-2424 The number 1 argument of credit ranking is an instance of cognitive agent
s__domain(s__customer__m,n__1,s__CognitiveAgent)

Mid-level-ontology.kif 7425-7425 The number 1 argument of customer is an instance of cognitive agent
s__domain(s__customer__m,n__2,s__CognitiveAgent)

Mid-level-ontology.kif 7426-7426 The number 2 argument of customer is an instance of cognitive agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 228-235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20100-20113
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20120-20133
( ! [V__AGENT,V__PROCESS,V__OBJECT] :
   ((s__instance(V__PROCESS,s__IntentionalProcess) &
       s__agent(V__PROCESS,V__AGENT)
     &
     s__instance(V__AGENT,s__CognitiveAgent) &
     s__patient(V__PROCESS,V__OBJECT))
=>
s__inScopeOfInterest(V__AGENT,V__OBJECT)
)
)

Merge.kif 2633-2639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16371-16382
( ! [V__AGENT,V__POP_COLL,V__EXPERIMENT,V__SAMPLE_COLL] :
   ((s__instance(V__SAMPLE_COLL,s__Collection) &
       s__instance(V__POP_COLL,s__Collection) &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__AGENT,s__CognitiveAgent) &
       s__agent(V__EXPERIMENT,V__AGENT)
     &
     s__statisticalPopulation(V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT))
=>
( ! [V__ATTRIBUTE] :
   ((s__instance(V__ATTRIBUTE,s__Attribute) &
       s__property(V__SAMPLE_COLL,V__ATTRIBUTE)
     &
     s__inScopeOfInterest(V__AGENT,V__ATTRIBUTE)
   &
   ~((V__ATTRIBUTE = s__RepresentativeSample)))
   =>
   s__property(V__POP_COLL,V__ATTRIBUTE)))
)
)

UXExperimentalTerms.kif 625-641
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16258-16266
( ! [V__REP,V__RECEIVER,V__SENDER] :
   (s__instance(V__RECEIVER,s__Agent) =>
     (s__representativeAgentToAgent(V__SENDER,V__REP,V__RECEIVER)
     &
     s__instance(V__SENDER,s__Nation) &
     s__instance(V__REP,s__CognitiveAgent))
   =>
   s__employs(s__GovernmentFn(V__SENDER)
,V__REP)
)
)

Government.kif 4545-4550
( ! [V__REP,V__RECEIVER,V__SENDER] :
   (s__instance(V__RECEIVER,s__Agent) =>
     (s__representativeAgentToAgent(V__SENDER,V__REP,V__RECEIVER)
     &
     s__instance(V__SENDER,s__Organization) &
     s__instance(V__REP,s__CognitiveAgent))
   =>
   s__employs(V__SENDER,V__REP)
)
)

Government.kif 4538-4543
( ! [V__AGENT] :
   (s__instance(V__AGENT,s__CognitiveAgent) =>
     s__capability(s__Reasoning,s__agent__m,V__AGENT)
   )
)

Merge.kif 11161-11163

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


( ! [V__AGENT,V__ARREST] :
   (s__instance(V__AGENT,s__Agent) =>
     (s__instance(V__ARREST,s__PlacingUnderArrest) &
       s__agent(V__ARREST,V__AGENT))
   =>
   s__instance(V__AGENT,s__CognitiveAgent) )
)

Mid-level-ontology.kif 21406-21410
( ! [V__EV,V__H] :
   (s__instance(V__H,s__Agent) =>
     (s__instance(V__EV,s__Evacuation) &
       s__agent(V__EV,V__H))
   =>
   s__instance(V__H,s__CognitiveAgent) )
)

MilitaryProcesses.kif 2522-2526
( ! [V__AGENT,V__LEARN] :
   (s__instance(V__AGENT,s__Agent) =>
     (s__instance(V__LEARN,s__Learning) &
       s__agent(V__LEARN,V__AGENT))
   =>
   s__instance(V__AGENT,s__CognitiveAgent) )
)

Merge.kif 11107-11111
( ! [V__O,V__X] :
   ((s__instance(V__O,s__OccupationalRole) &
       s__property(V__X,V__O))
   =>
   s__instance(V__X,s__CognitiveAgent) )
)

Mid-level-ontology.kif 20088-20092
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20100-20113
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20120-20133
No TPTP formula. May not be expressible in strict first order. Merge.kif 12011-12024
( ! [V__COMMUNICATE] :
   (s__instance(V__COMMUNICATE,s__Communication) =>
     ( ? [V__PHYS, V__ENTITY, V__AGENT1, V__AGENT2] :
       ((s__refers(V__PHYS,V__ENTITY)
         &
         s__patient(V__COMMUNICATE,V__PHYS)
       &
       s__instance(V__AGENT1,s__CognitiveAgent) &
       s__agent(V__COMMUNICATE,V__AGENT1)
     &
     s__instance(V__AGENT2,s__CognitiveAgent) &
     s__destination(V__COMMUNICATE,V__AGENT2))))
)
)

Merge.kif 12068-12077
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3000-3010
( ! [V__D] :
   (s__instance(V__D,s__Discography) =>
     ( ? [V__M, V__AC] :
       ((s__instance(V__M,s__CognitiveAgent) &
           s__attribute(V__M,V__AC)
         &
         s__instance(V__AC,s__Musician) &
         ( ! [V__X] :
           ((s__instance(V__X,s__Album) &
               s__instance(V__X,s__MusicRecording))
             =>
             s__member(V__X,V__D)
           =>
           ( ? [V__I, V__T, V__R, V__DS] :
             ((s__subclass(V__I,s__MakingMusic) &
                 s__instance(V__R,s__GeographicArea) &
                 s__subclass(V__DS,s__DataStorageDevice) &
                 (s__musician(V__X,V__M,V__I)
                 &
                 s__releaseForSale(s__AlbumCopiesFn(V__X,V__DS)
              ,V__R,V__T))))))))))
)
)

Music.kif 67-80
( ! [V__DISSEMINATE] :
   (s__instance(V__DISSEMINATE,s__Disseminating) =>
     ( ? [V__AGENT1, V__AGENT2] :
       ((s__destination(V__DISSEMINATE,V__AGENT1)
         &
         s__instance(V__AGENT1,s__CognitiveAgent) &
         s__destination(V__DISSEMINATE,V__AGENT2)
       &
       s__instance(V__AGENT2,s__CognitiveAgent) &
       ~((V__AGENT1 = V__AGENT2)))))
)
)

Merge.kif 12085-12093
( ! [V__EVENT] :
   (s__instance(V__EVENT,s__ServiceProcess) =>
     ( ? [V__PROVIDER] :
       ((s__instance(V__PROVIDER,s__CognitiveAgent) &
           s__serviceProvider(V__EVENT,V__PROVIDER))))
   )
)

Mid-level-ontology.kif 20789-20794
( ! [V__EVENT] :
   (s__instance(V__EVENT,s__ServiceProcess) =>
     ( ? [V__RECEIVER] :
       ((s__instance(V__RECEIVER,s__CognitiveAgent) &
           s__serviceRecipient(V__EVENT,V__RECEIVER))))
   )
)

Mid-level-ontology.kif 20797-20802
No TPTP formula. May not be expressible in strict first order. Military.kif 62-71
( ! [V__O] :
   (s__instance(V__O,s__OccupationalRole) =>
     ( ? [V__PCLASS] :
       ((s__subclass(V__PCLASS,s__Process) &
           s__typicalAction(V__PCLASS,s__AttrFn(s__CognitiveAgent,V__O)))))
)
)

Mid-level-ontology.kif 20094-20098
( ! [V__PROC] :
   (s__instance(V__PROC,s__IntentionalProcess) =>
     ( ? [V__AGENT] :
       ((s__instance(V__AGENT,s__CognitiveAgent) &
           s__agent(V__PROC,V__AGENT))))
   )
)

Merge.kif 9846-9851
No TPTP formula. May not be expressible in strict first order. Merge.kif 11997-12009
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1373-1379


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners