consequent

! [V__AGENT : $i,V__ARREST : $i] : (((s__instance(V__ARREST, s__PlacingUnderArrest) & s__agent(V__ARREST, V__AGENT)) => s__instance(V__AGENT, s__CognitiveAgent)))	Mid-level-ontology.kif 25114-25118	If a process is an instance of placing under arrest and an agent is an agent of the process, then the agent is an instance of cognitive agent
! [V__EV : $i,V__H : $i] : (((s__instance(V__EV, s__Evacuation) & s__agent(V__EV, V__H)) => s__instance(V__H, s__CognitiveAgent)))	MilitaryProcesses.kif 2576-2580	If a process is an instance of evacuating and an agent is an agent of the process, then the agent is an instance of cognitive agent
! [V__AGENT : $i,V__LEARN : $i] : (((s__instance(V__LEARN, s__Learning) & s__agent(V__LEARN, V__AGENT)) => s__instance(V__AGENT, s__CognitiveAgent)))	Merge.kif 12115-12119	If a process is an instance of learning and an agent is an agent of the process, then the agent is an instance of cognitive agent
! [V__O : $i,V__X : $i] : (((s__instance(V__O, s__OccupationalRole) & s__property(V__X, V__O)) => s__instance(V__X, s__CognitiveAgent)))	Mid-level-ontology.kif 23880-23884	If an attribute is an instance of occupational role and an entity the attribute the attribute, then the entity is an instance of cognitive agent
! [V__O : $i,V__PCLASS : $i] : (((s__instance(V__O, s__OccupationalRole) & s__typicalAction(V__PCLASS, s__AttrFn(s__CognitiveAgent, V__O))) => ( ? [V__X:$i, V__T:$i, V__P:$i, V__PT:$i] : ((s__instance(V__X, s__CognitiveAgent) & s__holdsDuring(V__T, s__attribute(V__X, V__O)) & s__instance(V__P, V__PCLASS) & s__agent(V__X, V__P) & s__time(V__P, V__PT) & s__temporalPart(V__PT, V__T))))))	Mid-level-ontology.kif 23892-23905	If an attribute is an instance of occupational role and a kind of process is a typical action of a the attr of cognitive agent and the attribute, then there exist another process, a time position,, , an agent and the agentT such that the other process is an instance of cognitive agent and the attribute is an attribute of the other process holds during the time position and the agent is an instance of a kind of process and the agent is an agent of the other process and the agent exists during the agentT and the agentT is a part of the time position
! [V__OCCD : $i,V__X : $i] : (((s__instance(V__OCCD, s__OccupationalDomain) & s__instance(V__X, s__AttrFn(s__CognitiveAgent, V__OCCD))) => ( ? [V__PCLASS:$i] : ((s__typicalAction(V__PCLASS, s__AttrFn(s__CognitiveAgent, V__OCCD)) & s__hasPurpose(V__X, ( ? [V__P:$i] : ((s__instance(V__P, V__PCLASS) & s__agent(V__X, V__P))))))))))	Mid-level-ontology.kif 23912-23925	If an attribute is an instance of occupational domain and a physical is an instance of the attr of cognitive agent and the attribute, then there exists a kind of process such that a kind of process is a typical action of a the attr of cognitive agent and the attribute and the physical has the purpose there exists an entity such that the entity is an instance of the kind of process and the entity is an agent of the physical
! [V__S : $i,V__OBJ : $i] : (((s__instance(V__S, s__Searching) & s__patient(V__S, V__OBJ) & s__instance(V__OBJ, s__Physical)) => ( ? [V__LOC:$i, V__AGENT:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__agent(V__S, V__AGENT) & s__instance(V__LOC, s__Object) & s__located(V__OBJ, V__LOC) & s__hasPurposeForAgent(V__S, s__knows(V__AGENT, s__located(V__OBJ, V__LOC)), V__AGENT))))))	Merge.kif 13160-13173	If a process is an instance of searching and a physical is a patient of the process and the physical is an instance of physical, then there exist an object and an agent such that the agent is an instance of cognitive agent and the agent is an agent of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent
! [V__OBJECT : $i] : ((s__attribute(V__OBJECT, s__ForSale) => ( ? [V__CA:$i, V__S:$i] : ((s__instance(V__CA, s__CognitiveAgent) & s__instance(V__OBJECT, s__Object) & s__capability(s__Selling, s__agent__m, V__CA) & s__capability(s__Selling, s__patient__m, V__OBJECT) & s__desires(V__CA, (s__instance(V__S, s__Selling) & s__agent(V__S, V__CA) & s__patient(V__S, V__OBJECT))))))))	Economy.kif 6660-6672	If for sale is an attribute of an object, then there exist a cognitive agent and an entity such that the cognitive agent is an instance of cognitive agent and the object is an instance of object and the cognitive agent is capable of doing selling as a agent and the object is capable of doing selling as a patient and the cognitive agent desires the entity is an instance of selling and the cognitive agent is an agent of the entity and the object is a patient of the entity
! [V__COMMUNICATE : $i] : ((s__instance(V__COMMUNICATE, s__Communication) => ( ? [V__PHYS:$i, V__ENTITY:$i, V__AGENT1:$i, V__AGENT2:$i] : ((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 13221-13230	If a process is an instance of communication, then there exist an entity, another entity,, , an agent and a third entity such that the entity includes a reference to the other entity and the entity is a patient of the process and the agent is an instance of cognitive agent and the agent is an agent of the process and the third entity is an instance of cognitive agent and the process ends up at the third entity
! [V__CS : $i] : ((s__instance(V__CS, s__CustomerSupport) => s__hasPurpose(V__CS, ( ? [V__MEMBER:$i, V__CUSTOMER:$i, V__ORG:$i] : ((s__instance(V__MEMBER, s__CognitiveAgent) & s__instance(V__CUSTOMER, s__CognitiveAgent) & s__instance(V__ORG, s__Organization) & s__businessUnit(V__CS, V__ORG) & s__member(V__MEMBER, V__CS) & s__customerRepresentative(V__MEMBER, V__CUSTOMER, V__ORG)))))))	UXExperimentalTerms.kif 2795-2805	If a physical is an instance of customer support, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of cognitive agent and the other entity is an instance of cognitive agent and the third entity is an instance of organization and the physical is a business unit of the third entity and the entity is a member of the physical and the entity customer representative the other entity for the third entity
! [V__D : $i] : ((s__instance(V__D, s__Discography) => ( ? [V__M:$i, V__AC:$i] : ((s__instance(V__M, s__CognitiveAgent) & s__attribute(V__M, V__AC) & s__instance(V__AC, s__Musician) & ( ! [V__X:$i] : ((s__member(V__X, V__D) => ( ? [V__I:$i, V__T:$i, V__R:$i, V__DS:$i] : ((s__musician(V__X, V__M, V__I) & s__releaseForSale(s__AlbumCopiesFn(V__X, V__DS), V__R, V__T))))))))))))	Music.kif 67-80	If a collection is an instance of discography, then there exist a human and an attribute such that the human is an instance of cognitive agent and the attribute is an attribute of the human and the attribute is an instance of musician and for all an album if the album is a member of the collection, then there exist a kind of making music, a time point,, , a geographic area and the collectionS such that the human plays a kind of making music in the album and the set of copies on the collectionS of the album was released for sale in the geographic area at the time point
! [V__DISSEMINATE : $i] : ((s__instance(V__DISSEMINATE, s__Disseminating) => ( ? [V__AGENT1:$i, V__AGENT2:$i] : ((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 13238-13246	If a process is an instance of disseminating, then there exist an entity and another entity such that the process ends up at the entity and the entity is an instance of cognitive agent and the process ends up at the other entity and the other entity is an instance of cognitive agent and equal the entity and the other entity
! [V__EVENT : $i] : ((s__instance(V__EVENT, s__ServiceProcess) => ( ? [V__PROVIDER:$i] : ((s__instance(V__PROVIDER, s__CognitiveAgent) & s__serviceProvider(V__EVENT, V__PROVIDER))))))	Mid-level-ontology.kif 24528-24533	If a service is an instance of service, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent provides a service during the service
! [V__EVENT : $i] : ((s__instance(V__EVENT, s__ServiceProcess) => ( ? [V__RECEIVER:$i] : ((s__instance(V__RECEIVER, s__CognitiveAgent) & s__serviceRecipient(V__EVENT, V__RECEIVER))))))	Mid-level-ontology.kif 24535-24540	If a service is an instance of service, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent receives a service during the service
! [V__FD : $i] : ((s__instance(V__FD, s__FoodDistributionOperation) => ( ? [V__FOOD:$i, V__CA:$i] : ((s__instance(V__FOOD, s__FoodForFn(s__Animal)) & s__instance(V__CA, s__CognitiveAgent) & s__patient(V__FD, V__FOOD) & s__destination(V__FD, V__CA) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__FD)), s__possesses(V__CA, V__FOOD)))))))	Military.kif 62-71	If a process is an instance of food distribution operation, then there exist an entity and another entity such that the entity is an instance of food for animal and the other entity is an instance of cognitive agent and the entity is a patient of the process and the process ends up at the other entity and the other entity possesses the entity holds during immediately after the time of existence of the process
! [V__O : $i] : ((s__instance(V__O, s__OccupationalRole) => ( ? [V__PCLASS:$i] : (s__typicalAction(V__PCLASS, s__AttrFn(s__CognitiveAgent, V__O))))))	Mid-level-ontology.kif 23886-23890	If an attribute is an instance of occupational role, then there exists a kind of process such that a kind of process is a typical action of a the attr of cognitive agent and the attribute
! [V__PROC : $i] : ((s__instance(V__PROC, s__IntentionalProcess) => ( ? [V__AGENT:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__agent(V__PROC, V__AGENT))))))	Merge.kif 10658-10663	If a process is an instance of intentional process, then there exists an agent such that the agent is an instance of cognitive agent and the agent is an agent of the process
! [V__S : $i] : ((s__instance(V__S, s__Searching) => ( ? [V__AGENT:$i, V__OBJ:$i, V__LOC:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__agent(V__S, V__AGENT) & s__instance(V__OBJ, s__Physical) & s__patient(V__S, V__OBJ) & s__instance(V__LOC, s__Object) & s__located(V__OBJ, V__LOC) & s__hasPurposeForAgent(V__S, s__knows(V__AGENT, s__located(V__OBJ, V__LOC)), V__AGENT))))))	Merge.kif 13146-13158	If a process is an instance of searching, then there exist an agent, a physical and an object such that the agent is an instance of cognitive agent and the agent is an agent of the process and the physical is an instance of physical and the physical is a patient of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent
! [V__WA : $i] : ((s__instance(V__WA, s__WeatherAssessment) => s__containsFormula(V__WA, ( ? [V__R:$i, V__A:$i, V__WP:$i] : ((s__instance(V__R, s__Reasoning) & s__instance(V__A, s__CognitiveAgent) & s__agent(V__R, V__A) & s__instance(V__WP, s__WeatherProcess) & s__patient(V__R, V__WP) & s__result(V__R, V__WA) & s__earlier(s__WhenFn(V__WP), s__WhenFn(V__WA))))))))	Weather.kif 4517-4528	If a content bearing physical is an instance of weather assessment, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is an instance of reasoning and the other entity is an instance of cognitive agent and the other entity is an agent of the entity and the third entity is an instance of weather process and the third entity is a patient of the entity and the content bearing physical is a result of the entity and the time of existence of the third entity happens earlier than the time of existence of the content bearing physical
! [V__FORMULA : $i,V__VISITOR : $i,V__SITE : $i] : ((s__visitorParameter(V__VISITOR, V__FORMULA, V__SITE) => ( ? [V__AGENT:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__possesses(V__AGENT, V__SITE) & s__knows(V__AGENT, V__FORMULA))))))	UXExperimentalTerms.kif 1179-1185	If a formula is known about an agent who visits a web site, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent possesses the web site and the cognitive agent knows the formula

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