Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CognitiveAgent
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CognitiveAgent SentientAgent) | Merge.kif 1671-1671 | Cognitive agent is a subclass of sentient agent |
| (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 | Cognitive agent is a subclass of sentient agent |
| appearance as argument number 2 |
|
|
| (subclass Human CognitiveAgent) | Merge.kif 14956-14956 | Human is a subclass of cognitive agent |
| (subclass Deity CognitiveAgent) | People.kif 689-689 | Deity is a subclass of cognitive agent |
| (termFormat EnglishLanguage CognitiveAgent "cognitive agent") | english_format.kif 906-906 | Deity is a subclass of cognitive agent |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT)))) |
Merge.kif 10743-10748 | If X is an instance of intentional process, then there exists Y such that Y is an instance of cognitive agent and Y is an agent of X |
| (=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT)) (instance ?AGENT CognitiveAgent)) |
Merge.kif 12219-12223 | If X is an instance of learning and Y is an agent of X, then Y is an instance of cognitive agent |
| (=> (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 | If X is an instance of searching, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Y is an agent of X (4) Z is an instance of physical (5) Z is a patient of X (6) W is an instance of object (7) Z is located at W (8) X has the purpose Y for Y knows Z is located at W |
| (=> (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 | If X is an instance of searching, Y is a patient of X, and Y is an instance of physical, then there exist Z, W such that W is an instance of cognitive agent, W is an agent of X, Z is an instance of object, Y is located at Z, and X has the purpose W for W knows Y is located at Z |
| (=> (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 | If X is an instance of communication, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y includes a reference to Z (3) Y is a patient of X (4) W is an instance of cognitive agent (5) W is an agent of X (6) V is an instance of cognitive agent (7) X ends up at V |
| (=> (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 | If X is an instance of disseminating, then All of the following hold: (1) there exist Y (2) Z such that X ends up at Y (3) Y is an instance of cognitive agent (4) X ends up at Z (5) Z is an instance of cognitive agent (6) equal Y (7) Z |
| (=> (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 | If X is an instance of spear, then X has the purpose there exist Y, Z such that Z is an instance of cognitive agent, Y is an instance of poking, Y is an instance of hunting, or Y is an instance of Attacking, X is an instrument for Y, and Z is an agent of Y |
| (=> (and (instance ?O OccupationalRole) (property ?X ?O)) (instance ?X CognitiveAgent)) |
Mid-level-ontology.kif 24526-24530 | If X is an instance of occupational role and Y the attribute X, then Y is an instance of cognitive agent |
| (=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 24532-24536 | If X is an instance of occupational role, then there exists Y such that Y is a typical action of a the attr of cognitive agent and X |
| (=> (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 | If X is an instance of occupational role and Y is a typical action of a the attr of cognitive agent and X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of cognitive agent (3) X is an attribute of Z holds during W (4) V is an instance of Y (5) V is an agent of Z (6) V exists during U (7) U is a part of W |
| (=> (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 | If X is an instance of occupational domain and Y is an instance of the attr of cognitive agent and X, then there exists Z such that Z is a typical action of a the attr of cognitive agent, X, Y has the purpose there exists W such that W is an instance of Z, and W is an agent of Y |
| (=> (instance ?EVENT ServiceProcess) (exists (?PROVIDER) (and (instance ?PROVIDER CognitiveAgent) (serviceProvider ?EVENT ?PROVIDER)))) |
Mid-level-ontology.kif 25214-25219 | If X is an instance of service, then there exists Y such that Y is an instance of cognitive agent and Y provides a service during X |
| (=> (instance ?EVENT ServiceProcess) (exists (?RECEIVER) (and (instance ?RECEIVER CognitiveAgent) (serviceRecipient ?EVENT ?RECEIVER)))) |
Mid-level-ontology.kif 25221-25226 | If X is an instance of service, then there exists Y such that Y is an instance of cognitive agent and Y receives a service during X |
| (=> (and (instance ?ARREST PlacingUnderArrest) (agent ?ARREST ?AGENT)) (instance ?AGENT CognitiveAgent)) |
Mid-level-ontology.kif 25800-25804 | If X is an instance of placing under arrest and Y is an agent of X, then Y is an instance of cognitive agent |
| (=> (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 | If for sale is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of cognitive agent (3) X is an instance of object (4) Y is capable of doing selling as a agent (5) X is capable of doing selling as a patient (6) Y desires Z is an instance of selling (7) Y is an agent of Z (8) X is a patient of Z |
| (=> (and (instance ?AUTO AutomatedSystem) (agent ?PROCESS ?AUTO)) (and (instance ?COG CognitiveAgent) (not (agent ?PROCESS ?COG)))) |
Facebook.kif 653-660 | If X is an instance of automated system and X is an agent of Y, then Z is an instance of cognitive agent and Z is not an agent of Y |
| (=> (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 | If X is an instance of food distribution operation, then there exist Y, Z such that Y is an instance of food for animal, Z is an instance of cognitive agent, Y is a patient of X, X ends up at Z, and Z possesses Y holds during immediately after the time of existence of X |
| (=> (and (instance ?EV Evacuation) (agent ?EV ?H)) (instance ?H CognitiveAgent)) |
MilitaryProcesses.kif 2617-2621 | If X is an instance of evacuating and Y is an agent of X, then Y is an instance of cognitive agent |
| (=> (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 | If X is an instance of discography, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of cognitive agent (3) Z is an attribute of Y (4) Z is an instance of musician (5) W W is a member of Xthere exist V, U,, , T (6) S such that Y plays V in W (7) the set of copies on S of W was released for sale in T at U |
| (=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (possesses ?AGENT ?SITE) (knows ?AGENT ?FORMULA)))) |
UXExperimentalTerms.kif 1179-1185 | If X is known about Y who visits Z, then there exists W such that W is an instance of cognitive agent, W possesses Z, and W knows X |
| (=> (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 | If X is an instance of customer support, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Z is an instance of cognitive agent (4) W is an instance of organization (5) X is a business unit of W (6) Y is a member of X (7) Y customer representative Z for W |
| (=> (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 | If X is an instance of weather assessment, then All of the following hold: (1) X contains the formula there exist Y, Z (2) W such that Y is an instance of reasoning (3) Z is an instance of cognitive agent (4) Z is an agent of Y (5) W is an instance of weather process (6) W is a patient of Y (7) X is a result of Y (8) the time of existence of W happens earlier than the time of existence of X |
| (=> (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 | If X is an instance of ExpenseReport, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y includes a reference to Z (3) Y is a patient of X (4) W is an instance of cognitive agent (5) W is an agent of X (6) V is an instance of cognitive agent (7) X ends up at V (8) V employs W |
|