| appearance as argument number 1 |
|
| (subclass CognitiveAgent SentientAgent) | Merge.kif 1611-1611 | 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 1613-1619 | Cognitive agent is a subclass of sentient agent |
| appearance as argument number 2 |
|
|
| (subclass Human CognitiveAgent) | Merge.kif 14819-14819 | Human is a subclass of cognitive agent |
| (subclass Deity CognitiveAgent) | People.kif 655-655 | Deity is a subclass of cognitive agent |
| (termFormat EnglishLanguage CognitiveAgent "cognitive agent") | english_format.kif 902-902 | 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 10656-10661 | 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 12113-12117 | 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 13146-13158 | 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 13160-13173 | 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 13221-13230 | 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 13238-13246 | 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 |
| (=> (and (instance ?O OccupationalRole) (property ?X ?O)) (instance ?X CognitiveAgent)) |
Mid-level-ontology.kif 24626-24630 | 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 24632-24636 | 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 24638-24651 | 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 24658-24671 | 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 25274-25279 | 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 25281-25286 | 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 25860-25864 | 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 6660-6672 | 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 651-658 | 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-71 | 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 2599-2603 | 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 2795-2805 | 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 4504-4515 | 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 637-647 | 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 |
|
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