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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CognitiveAgent
CognitiveAgentعَامِل مُدْرِك, Adonis, Aeolian, Aesculapius, Aether, Agdistis, AgenteCognitivo, Agente_Cognitivo, 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...

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


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

Merge.kif 1604-1607
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 1597-1603
s__instance(s__CognitiveAgent,s__SetOrClass)

Merge.kif 1584-1584

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


s__instance(s__ComputerUser,s__SetOrClass)

QoSontology.kif 1698-1698
s__instance(s__CognitiveAgent,s__SetOrClass)

People.kif 657-657
s__instance(s__CognitiveAgent,s__SetOrClass)

Merge.kif 14681-14681
s__termFormat(s__ChineseLanguage,s__CognitiveAgent,'有认知的主事')

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

english_format.kif 537-537
s__termFormat(s__FrenchLanguage,s__CognitiveAgent,'agent cognitif')

french_format.kif 526-526
s__termFormat(s__Hindi,s__CognitiveAgent,'sangyaanaatmaka kartaa')

terms-hindi.txt 57-57
s__termFormat(s__ItalianLanguage,s__CognitiveAgent,'AgenteCognitivo')

terms-it.txt 58-58
s__termFormat(s__PortugueseLanguage,s__CognitiveAgent,'Agente Cognitivo')

portuguese_format.kif 478-478
s__termFormat(s__ar__m,s__CognitiveAgent,'عَامِل مُدْرِك')

arabic_format.kif 262-262
s__termFormat(s__cz__m,s__CognitiveAgent,'cognitive agent')

terms-cz.txt 93-93
s__termFormat(s__tg__m,s__CognitiveAgent,'kinatawan may kaalaman')

terms-tg.txt 61-61

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


s__domain(s__MusicalInterpretationFn__m,1,s__CognitiveAgent)

Music.kif 847-847
s__domain(s__RemixFn__m,2,s__CognitiveAgent)

Music.kif 888-888
s__domain(s__accountHolder__m,2,s__CognitiveAgent)

FinancialOntology.kif 250-250
s__domain(s__administrator__m,2,s__CognitiveAgent)

FinancialOntology.kif 3851-3851
s__domain(s__administratorStatus__m,1,s__CognitiveAgent)

FinancialOntology.kif 3856-3856
s__domain(s__agreementClause__m,4,s__CognitiveAgent)

Mid-level-ontology.kif 11673-11673
s__domain(s__albumArtist__m,2,s__CognitiveAgent)

Music.kif 272-272
s__domain(s__allegiance__m,1,s__CognitiveAgent)

Mid-level-ontology.kif 21891-21891
s__domain(s__allegiance__m,2,s__CognitiveAgent)

Mid-level-ontology.kif 21892-21892
s__domain(s__approves__m,1,s__CognitiveAgent)

Mid-level-ontology.kif 25044-25044
s__domain(s__approves__m,2,s__CognitiveAgent)

Mid-level-ontology.kif 25045-25045
s__domain(s__believes__m,1,s__CognitiveAgent)

Merge.kif 2990-2990
s__domain(s__borrower__m,2,s__CognitiveAgent)

FinancialOntology.kif 1243-1243
s__domain(s__buys__m,1,s__CognitiveAgent)

Mid-level-ontology.kif 28045-28045
s__domain(s__buys__m,2,s__CognitiveAgent)

Mid-level-ontology.kif 28046-28046
s__domain(s__checkOutTime__m,1,s__CognitiveAgent)

Hotel.kif 650-650
s__domain(s__composer__m,1,s__CognitiveAgent)

Music.kif 144-144
s__domain(s__confersObligation__m,3,s__CognitiveAgent)

Merge.kif 17804-17804
s__domain(s__confersRight__m,3,s__CognitiveAgent)

Merge.kif 17778-17778
s__domain(s__considers__m,1,s__CognitiveAgent)

Merge.kif 2979-2979
s__domain(s__contestEntry__m,2,s__CognitiveAgent)

Music.kif 1079-1079
s__domain(s__contestOrganizer__m,2,s__CognitiveAgent)

Music.kif 1062-1062
s__domain(s__contestParticipantRepresentation__m,2,s__CognitiveAgent)

Music.kif 1104-1104
s__domain(s__creditRanking__m,1,s__CognitiveAgent)

FinancialOntology.kif 2425-2425
s__domain(s__customer__m,1,s__CognitiveAgent)

Mid-level-ontology.kif 7423-7423

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. Facebook.kif 608-618
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20029-20042
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20049-20062
( ! [V__PROCESS,V__AGENT,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 2907-2913
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16252-16263
( ! [V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT,V__AGENT] :
   ((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 627-643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16148-16154
( ! [V__SENDER,V__REP,V__RECEIVER] :
   ((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 4551-4556
( ! [V__SENDER,V__REP,V__RECEIVER] :
   ((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 4544-4549
( ! [V__AGENT] :
   (s__instance(V__AGENT,s__CognitiveAgent) =>
     s__capability(s__Reasoning,s__agent__m,V__AGENT))
)

Merge.kif 11901-11903

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


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

Mid-level-ontology.kif 21362-21366
( ! [V__AUTO,V__PROCESS,V__COG] :
   ((s__instance(V__AUTO,s__AutomatedSystem) &
       s__agent(V__AUTO,V__PROCESS))
   =>
   (s__instance(V__COG,s__CognitiveAgent) &
     (~ s__agent(V__COG,V__PROCESS))))
)

Facebook.kif 634-641
( ! [V__EV,V__H] :
   ((s__instance(V__EV,s__Evacuation) &
       s__agent(V__EV,V__H))
   =>
   s__instance(V__H,s__CognitiveAgent))
)

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

Merge.kif 11839-11843
( ! [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 20017-20021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20029-20042
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20049-20062
No TPTP formula. May not be expressible in strict first order. Merge.kif 12861-12874
( ! [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 12927-12936
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3002-3012
( ! [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__member(V__X,V__D)
         =>
         (? [V__I,V__T,V__R,V__DS] :
           (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 12946-12954
( ! [V__ER] :
   (s__instance(V__ER,s__ExpenseReport) =>
     (? [V__PHYS,V__ENTITY,V__AGENT1,V__AGENT2] :
       (s__refers(V__PHYS,V__ENTITY)
       &
       s__patient(V__ER,V__PHYS)
     &
     s__instance(V__AGENT1,s__CognitiveAgent) &
     s__agent(V__ER,V__AGENT1)
   &
   s__instance(V__AGENT2,s__CognitiveAgent) &
   s__destination(V__ER,V__AGENT2)
&
s__employs(V__AGENT2,V__AGENT1))))
)

TravelPolicies.kif 630-640
( ! [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 20745-20750
( ! [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 20753-20758
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__typicalAction(V__PCLASS,s__AttrFn(s__CognitiveAgent,V__O))))
)

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

Merge.kif 10475-10480
No TPTP formula. May not be expressible in strict first order. Merge.kif 12847-12859
No TPTP formula. May not be expressible in strict first order. 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners