Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - agent
agent

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


s__instance(s__agent,s__CaseRole)

 Merge.kif 2539-2539 agent is an instance of case role
s__instance(s__agent,s__PartialValuedRelation)

 Merge.kif 2540-2540 agent is an instance of partial valued relation
s__domain(s__agent,n__1,s__Process)

 Merge.kif 2541-2541 The number 1 argument of agent is an instance of process
s__domain(s__agent,n__2,s__AutonomousAgent)

 Merge.kif 2542-2542 The number 2 argument of agent is an instance of agent
s__subrelation(s__agent,s__involvedInEvent)

 Merge.kif 2543-2543 agent is a subrelation of involved in event
s__documentation(s__agent, s__EnglishLanguage, "(agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant of the Process ?PROCESS_ For example, Eve is an agent in the following proposition: Eve bit an apple_") Merge.kif 2545-2548 agent is a subrelation of involved in event

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


s__subrelation(s__perpetrator,s__agent)

 Mid-level-ontology.kif 17785-17785 perpetrator is a subrelation of agent
s__subrelation(s__plaintiff,s__agent)

 Mid-level-ontology.kif 17905-17905 plaintiff is a subrelation of agent
s__subrelation(s__contestParticipant,s__agent)

 Mid-level-ontology.kif 21577-21577 contest participant is a subrelation of agent
s__relatedInternalConcept(s__typicalAction,s__agent)

 Mid-level-ontology.kif 25137-25137 typical action is internally related to agent
s__subrelation(s__serviceProvider,s__agent)

 Mid-level-ontology.kif 25197-25197 service provider is a subrelation of agent
s__subrelation(s__gainsControl,s__agent)

 Mid-level-ontology.kif 25753-25753 gains control is a subrelation of agent
s__subrelation(s__arrestingOfficer,s__agent)

 Law.kif 228-228 arresting officer is a subrelation of agent
s__subrelation(s__prosecutor,s__agent)

 Law.kif 289-289 prosecutor is a subrelation of agent
s__subrelation(s__invadingVirus,s__agent)

 VirusProteinAndCellPart.kif 23-23 invading virus is a subrelation of agent
s__termFormat(s__EnglishLanguage, s__agent, "agent") domainEnglishFormat.kif 65775-65775 invading virus is a subrelation of agent
s__format(s__EnglishLanguage, s__agent, "%2 is %n an agent of %1") english_format.kif 53-53 invading virus is a subrelation of agent

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


s__domain(s__automatedNotification,n__1,s__agent)

 Facebook.kif 747-747 The number 1 argument of automated notification is an instance of agent

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


! [V__PROC,V__AGENT,V__LANG] :
(((s__instance(V__PROC,s__Process) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     ((s__instance(V__LANG,s__AnimalLanguage) &
         s__agent(V__PROC,V__AGENT)
       &
       s__instrument(V__PROC,V__LANG))
   =>
   (s__instance(V__AGENT,s__Animal) &
     ~(s__instance(V__AGENT,s__Human)))))
)

 Merge.kif 1509-1516 If X is an instance of animal language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of animal and Y is not an instance of human
! [V__PROC,V__AGENT,V__LANG] :
(((s__instance(V__PROC,s__Process) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     ((s__instance(V__LANG,s__ComputerLanguage) &
         s__agent(V__PROC,V__AGENT)
       &
       s__instrument(V__PROC,V__LANG))
   =>
   s__instance(V__AGENT,s__Machine)))
)

 Merge.kif 1528-1533 If X is an instance of computer language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of machine
! [V__PROC,V__AGENT,V__LANG] :
(((s__instance(V__PROC,s__Process) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     ((s__instance(V__LANG,s__HumanLanguage) &
         s__agent(V__PROC,V__AGENT)
       &
       s__instrument(V__PROC,V__LANG))
   =>
   s__instance(V__AGENT,s__Human)))
)

 Merge.kif 1542-1547 If X is an instance of human language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of human
! [V__AGENT1,V__AGENT2,V__PROC] :
(((s__instance(V__AGENT1,s__AutonomousAgent) &
       s__instance(V__AGENT2,s__AutonomousAgent))
     =>
     ((s__instance(V__PROC,s__SingleAgentProcess) &
         s__agent(V__PROC,V__AGENT1)
       &
       s__agent(V__PROC,V__AGENT2))
   =>
   ((V__AGENT1 = V__AGENT2)
     &
     ~((? [V__AGENT3] :
         ((s__instance(V__AGENT3,s__AutonomousAgent) &
             (s__agent(V__PROC,V__AGENT3)
             &
             ~((V__AGENT3 = V__AGENT1))))))))))
)

 Merge.kif 1748-1760 If X is an instance of single agent process, Y is an agent of X, and Z is an agent of X, then equal Y and Z and there doesn't exist W such that W is an agent of X, equal W, and Y
! [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 2841-2847 If X is an instance of intentional process, Y is an agent of X, Y is an instance of cognitive agent, and Z is a patient of X, then Y is interested in Z
! [V__ORGANISM,V__DIGEST] :
((s__instance(V__ORGANISM,s__AutonomousAgent) =>
     ((s__instance(V__DIGEST,s__Digesting) &
         s__agent(V__DIGEST,V__ORGANISM))
     =>
     (? [V__INGEST] :
       ((s__instance(V__INGEST,s__Ingesting) &
           s__agent(V__INGEST,V__ORGANISM)
         &
         s__overlapsTemporally(s__WhenFn(V__INGEST)
      ,s__WhenFn(V__DIGEST)))))))
)

 Merge.kif 10536-10544 If X is an instance of digesting and Y is an agent of X, then there exists Z such that Z is an instance of ingesting, Y is an agent of Z, and the time of existence of X overlaps the time of existence of Z
! [V__PARENT,V__CHILD,V__REP] :
(((s__instance(V__PARENT,s__Organism) &
       s__instance(V__CHILD,s__Organism))
     =>
     ((s__instance(V__REP,s__Replication) &
         s__agent(V__REP,V__PARENT)
       &
       s__result(V__REP,V__CHILD))
   =>
   s__parent(V__CHILD,V__PARENT)))
)

 Merge.kif 10563-10568 If X is an instance of replication, Y is an agent of X, and Z is a result of X, then Y is a parent of Z
! [V__AGENT : $i,V__PROC : $i] : (((s__instance(V__PROC, s__IntentionalProcess) & s__agent(V__PROC, V__AGENT)) => ( ? [V__PURP:$i] : (s__hasPurposeForAgent(V__PROC, V__AGENT, V__PURP))))) Merge.kif 10736-10741 If X is an instance of intentional process and Y is an agent of X, then there exists Z such that X has the purpose Y for Z
! [V__HUMAN : $i,V__PROC : $i] : (((s__instance(V__PROC, s__IntentionalProcess) & s__agent(V__PROC, V__HUMAN) & s__instance(V__HUMAN, s__Animal)) => s__holdsDuring(s__WhenFn(V__PROC), s__attribute(V__HUMAN, s__Awake)))) Merge.kif 10750-10755 If X is an instance of intentional process, Y is an agent of X, and Y is an instance of animal, then awake is an attribute of Y holds during the time of existence of X
! [V__AGENT,V__ACT] :
((s__instance(V__AGENT,s__AutonomousAgent) =>
     ((s__instance(V__ACT,s__OrganizationalProcess) &
         s__agent(V__ACT,V__AGENT))
     =>
     (s__instance(V__AGENT,s__Organization) |
       (? [V__ORG] :
         ((s__instance(V__ORG,s__Organization) &
             s__member(V__AGENT,V__ORG)))))))
)

 Merge.kif 10786-10795 If X is an instance of organizational process and Y is an agent of X, then Y is an instance of organization or there exists Z such that Z is an instance of organization and Y is a member of Z
! [V__AGENT,V__ACT] :
((s__instance(V__AGENT,s__AutonomousAgent) =>
     ((s__instance(V__ACT,s__ReligiousProcess) &
         s__agent(V__ACT,V__AGENT))
     =>
     (s__instance(V__AGENT,s__ReligiousOrganization) |
       (? [V__ORG] :
         ((s__member(V__AGENT,V__ORG)
           &
           s__instance(V__ORG,s__ReligiousOrganization)))))))
)

 Merge.kif 10808-10817 If X is an instance of religious process and Y is an agent of X, then Y is an instance of religious organization or there exists Z such that Y is a member of Z and Z is an instance of religious organization
! [V__JOIN : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__JOIN, s__JoiningAnOrganization) & s__instance(V__ORG, s__Organization) & s__agent(V__JOIN, V__PERSON) & s__patient(V__JOIN, V__ORG)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__JOIN)), ~(s__member(V__PERSON, V__ORG))) & s__holdsDuring(s__EndFn(s__WhenFn(V__JOIN)), s__member(V__PERSON, V__ORG))))) Merge.kif 10824-10832 If X is an instance of joining an organization, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z is not a member of Y holds during the beginning of the time of existence of X and Z is a member of Y holds during the end of the time of existence of X
! [V__JOIN : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__JOIN, s__Hiring) & s__instance(V__ORG, s__Organization) & s__agent(V__JOIN, V__ORG) & s__patient(V__JOIN, V__PERSON)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__JOIN)), ~(s__member(V__PERSON, V__ORG))) & s__holdsDuring(s__EndFn(s__WhenFn(V__JOIN)), s__member(V__PERSON, V__ORG))))) Merge.kif 10857-10865 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Z is not a member of Y holds during the beginning of the time of existence of X and Z is a member of Y holds during the end of the time of existence of X
! [V__JOIN : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__JOIN, s__Hiring) & s__instance(V__ORG, s__Organization) & s__agent(V__JOIN, V__ORG) & s__patient(V__JOIN, V__PERSON)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__JOIN)), s__employs(V__ORG, V__PERSON)))) Merge.kif 10867-10876 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y employs Z holds during immediately after the time of existence of X
! [V__JOIN : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__JOIN, s__Hiring) & s__instance(V__ORG, s__Organization) & s__agent(V__JOIN, V__ORG) & s__patient(V__JOIN, V__PERSON)) => s__expects(V__ORG, ( ? [V__FT:$i] : ((s__instance(V__FT, s__FinancialTransaction) & s__agent(V__FT, V__ORG) & s__destination(V__FT, V__PERSON) & s__earlier(s__WhenFn(V__JOIN), s__WhenFn(V__FT)))))))) Merge.kif 10878-10890 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y expects there exists W such that W is an instance of financial transaction, Y is an agent of W, W ends up at Z, and the time of existence of X happens earlier than the time of existence of W will be true
! [V__LEAVE : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__LEAVE, s__LeavingAnOrganization) & s__instance(V__ORG, s__Organization) & s__agent(V__LEAVE, V__PERSON) & s__patient(V__LEAVE, V__ORG)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__LEAVE)), s__member(V__PERSON, V__ORG)) & s__holdsDuring(s__EndFn(s__WhenFn(V__LEAVE)), ~(s__member(V__PERSON, V__ORG)))))) Merge.kif 10898-10906 If X is an instance of leaving an organization, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z is a member of Y holds during the beginning of the time of existence of X and Z is not a member of Y holds during the end of the time of existence of X
! [V__LEAVE : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__LEAVE, s__Quitting) & s__instance(V__ORG, s__Organization) & s__agent(V__LEAVE, V__PERSON) & s__patient(V__LEAVE, V__ORG)) => s__desires(V__PERSON, s__holdsDuring(s__EndFn(s__WhenFn(V__LEAVE)), ~(s__member(V__PERSON, V__ORG)))))) Merge.kif 10912-10922 If X is an instance of quitting, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z desires Z is not a member of Y holds during the end of the time of existence of X
! [V__LEAVE : $i,V__ORG : $i,V__P : $i] : (((s__instance(V__LEAVE, s__Firing) & s__instance(V__ORG, s__Organization) & s__agent(V__LEAVE, V__ORG) & s__patient(V__LEAVE, V__P)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__LEAVE)), s__member(V__P, V__ORG)) & s__holdsDuring(s__EndFn(s__WhenFn(V__LEAVE)), ~(s__member(V__P, V__ORG)))))) Merge.kif 10930-10938 If X is an instance of firing, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Z is a member of Y holds during the beginning of the time of existence of X and Z is not a member of Y holds during the end of the time of existence of X
! [V__ORG,V__GRAD] :
((s__instance(V__ORG,s__AutonomousAgent) =>
     ((s__instance(V__GRAD,s__Graduation) &
         s__agent(V__GRAD,V__ORG))
     =>
     s__instance(V__ORG,s__EducationalOrganization)))
)

 Merge.kif 10949-10953 If X is an instance of graduation and Y is an agent of X, then Y is an instance of educational organization
! [V__ORG,V__MAT] :
((s__instance(V__ORG,s__AutonomousAgent) =>
     ((s__instance(V__MAT,s__Matriculation) &
         s__agent(V__MAT,V__ORG))
     =>
     s__instance(V__ORG,s__EducationalOrganization)))
)

 Merge.kif 10960-10964 If X is an instance of matriculation and Y is an agent of X, then Y is an instance of educational organization
! [V__HIRE : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__HIRE, s__Hiring) & s__instance(V__ORG, s__Organization) & s__agent(V__HIRE, V__ORG) & s__patient(V__HIRE, V__PERSON)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__HIRE)), ~(s__employs(V__ORG, V__PERSON))) & s__holdsDuring(s__EndFn(s__WhenFn(V__HIRE)), s__employs(V__ORG, V__PERSON))))) Merge.kif 10971-10979 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y doesn't employ Z holds during the beginning of the time of existence of X and Y employs Z holds during the end of the time of existence of X
! [V__FIRE : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__FIRE, s__TerminatingEmployment) & s__instance(V__ORG, s__Organization) & s__agent(V__FIRE, V__ORG) & s__patient(V__FIRE, V__PERSON)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__FIRE)), s__employs(V__ORG, V__PERSON)) & s__holdsDuring(s__EndFn(s__WhenFn(V__FIRE)), ~(s__employs(V__ORG, V__PERSON)))))) Merge.kif 10987-10995 If X is an instance of terminating employment, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y employs Z holds during the beginning of the time of existence of X and Y doesn't employ Z holds during the end of the time of existence of X
! [V__PROCESS,V__ORG] :
(((s__instance(V__PROCESS,s__JudicialProcess) &
       s__agent(V__PROCESS,V__ORG)
     &
     s__instance(V__ORG,s__Organization))
   =>
   s__instance(V__ORG,s__JudicialOrganization))
)

 Merge.kif 11027-11032 If X is an instance of judicial process, Y is an agent of X, and Y is an instance of organization, then Y is an instance of judicial organization
! [V__AGENT : $i,V__CONTENT : $i,V__INTERPRET : $i] : (((s__instance(V__INTERPRET, s__Interpreting) & s__agent(V__INTERPRET, V__AGENT) & s__patient(V__INTERPRET, V__CONTENT) & s__instance(V__CONTENT, s__ContentBearingObject)) => ( ? [V__PROP:$i] : (s__holdsDuring(s__EndFn(s__WhenFn(V__INTERPRET)), s__believes(V__AGENT, s__containsInformation(V__CONTENT, V__PROP))))))) Merge.kif 11110-11122 If X is an instance of interpreting, Y is an agent of X, Z is a patient of X, and Z is an instance of content bearing object, then there exists W such that Y believes Z contains information W holds during the end of the time of existence of X
! [V__AGENT : $i,V__LENGTH1 : $i,V__LENGTH2 : $i,V__RUN : $i,V__TIME : $i,V__WALK : $i] : (((s__instance(V__WALK, s__Walking) & s__instance(V__RUN, s__Running) & s__agent(V__WALK, V__AGENT) & s__agent(V__RUN, V__AGENT) & s__holdsDuring(s__WhenFn(V__WALK), s__measure(V__AGENT, s__SpeedFn(V__LENGTH1, V__TIME))) & s__holdsDuring(s__WhenFn(V__RUN), s__measure(V__AGENT, s__SpeedFn(V__LENGTH2, V__TIME)))) => ($greater(V__LENGTH2,V__LENGTH1)))) Merge.kif 11410-11418 If All of the following hold: (1) X is an instance of walking (2) Y is an instance of running (3) Z is an agent of X (4) Z is an agent of Y (5) the measure of Z is W per V holds during the time of existence of X (6) the measure of Z is U per V holds during the time of existence of Y, then U is greater than W

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


! [V__event] :
((s__instance(V__event,s__VolcanicEruption) =>
     (? [V__volcano] :
       ((s__instance(V__volcano,s__Volcano) &
           s__agent(V__event,V__volcano)))))
)

 Merge.kif 1030-1035 If X is an instance of volcanic eruption, then there exists Y such that Y is an instance of volcano and Y is an agent of X
! [V__AGENT] :
((s__instance(V__AGENT,s__AutonomousAgent) =>
     (? [V__PROC] :
       ((s__subclass(V__PROC,s__Process) &
           s__capability(V__PROC,s__agent,V__AGENT)))))
)

 Merge.kif 1656-1659 If X is an instance of agent, then there exists Y such that X is capable of doing Y as a agent
! [V__AGENT : $i,V__TIME : $i] : (((s__holdsDuring(V__TIME, s__attribute(V__AGENT, s__LegalPersonhood)) => s__holdsDuring(V__TIME, (s__capability(s__LegalAction, s__agent, V__AGENT) | s__capability(s__LegalAction, s__patient, V__AGENT)))) & (s__holdsDuring(V__TIME, (s__capability(s__LegalAction, s__agent, V__AGENT) | s__capability(s__LegalAction, s__patient, V__AGENT))) => s__holdsDuring(V__TIME, s__attribute(V__AGENT, s__LegalPersonhood))))) Merge.kif 1695-1701 Legal personhood is an attribute of X holds during Y if and only if X is capable of doing legal action as a agent or X is capable of doing legal action as a patient holds during Y
! [V__PROC] :
((s__instance(V__PROC,s__SingleAgentProcess) =>
     (? [V__AGENT] :
       ((s__instance(V__AGENT,s__AutonomousAgent) &
           s__agent(V__PROC,V__AGENT)))))
)

 Merge.kif 1743-1746 If X is an instance of single agent process, then there exists Y such that Y is an agent of X
! [V__AGENT1,V__AGENT2,V__PROC] :
(((s__instance(V__AGENT1,s__AutonomousAgent) &
       s__instance(V__AGENT2,s__AutonomousAgent))
     =>
     ((s__instance(V__PROC,s__SingleAgentProcess) &
         s__agent(V__PROC,V__AGENT1)
       &
       s__agent(V__PROC,V__AGENT2))
   =>
   ((V__AGENT1 = V__AGENT2)
     &
     ~((? [V__AGENT3] :
         ((s__instance(V__AGENT3,s__AutonomousAgent) &
             (s__agent(V__PROC,V__AGENT3)
             &
             ~((V__AGENT3 = V__AGENT1))))))))))
)

 Merge.kif 1748-1760 If X is an instance of single agent process, Y is an agent of X, and Z is an agent of X, then equal Y and Z and there doesn't exist W such that W is an agent of X, equal W, and Y
! [V__AGENT,V__OBJECT] :
((s__instance(V__AGENT,s__CognitiveAgent) =>
     (s__inScopeOfInterest(V__AGENT,V__OBJECT)
     =>
     (? [V__PROCESS] :
       ((s__instance(V__PROCESS,s__IntentionalProcess) &
           s__agent(V__PROCESS,V__AGENT)
         &
         s__patient(V__PROCESS,V__OBJECT))))))
)

 Merge.kif 2849-2855 If X is interested in Y, then there exists Z such that Z is an instance of intentional process, X is an agent of Z, and Y is a patient of Z
! [V__OBJ,V__AGENT] :
(((s__instance(V__OBJ,s__Object) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     (s__exploits(V__OBJ,V__AGENT)
     =>
     (? [V__PROCESS] :
       ((s__instance(V__PROCESS,s__Process) &
           (s__agent(V__PROCESS,V__AGENT)
           &
           s__resource(V__PROCESS,V__OBJ)))))))
)

 Merge.kif 4041-4046 If X exploits Y, then there exists Z such that Y is an agent of Z and X is a resource for Z
! [V__PROC,V__AGENT] :
(((s__subclass(V__PROC,s__Process) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     (s__hasSkill(V__PROC,V__AGENT)
     =>
     s__capability(V__PROC,s__agent,V__AGENT)))
)

 Merge.kif 4090-4092 If X has the skill to do Y, then X is capable of doing Y as a agent
! [V__OBJ,V__AGENT] :
(((s__instance(V__OBJ,s__Object) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     (s__uses(V__OBJ,V__AGENT)
     =>
     (? [V__PROC] :
       ((s__instance(V__PROC,s__Process) &
           (s__agent(V__PROC,V__AGENT)
           &
           s__instrument(V__PROC,V__OBJ)))))))
)

 Merge.kif 4788-4793 If X uses Y, then there exists Z such that X is an agent of Z and Y is an instrument for Z
! [V__O] :
((s__instance(V__O,s__Organism) =>
     ~(s__capability(s__BiologicalProcess,s__agent,V__O)))
)

 Merge.kif 10375-10378 If X is an instance of organism, then X is not capable of doing biological process as a agent
! [V__ORGANISM,V__DIGEST] :
((s__instance(V__ORGANISM,s__AutonomousAgent) =>
     ((s__instance(V__DIGEST,s__Digesting) &
         s__agent(V__DIGEST,V__ORGANISM))
     =>
     (? [V__INGEST] :
       ((s__instance(V__INGEST,s__Ingesting) &
           s__agent(V__INGEST,V__ORGANISM)
         &
         s__overlapsTemporally(s__WhenFn(V__INGEST)
      ,s__WhenFn(V__DIGEST)))))))
)

 Merge.kif 10536-10544 If X is an instance of digesting and Y is an agent of X, then there exists Z such that Z is an instance of ingesting, Y is an agent of Z, and the time of existence of X overlaps the time of existence of Z
! [V__PROC] :
((s__instance(V__PROC,s__IntentionalProcess) =>
     (? [V__AGENT] :
       ((s__instance(V__AGENT,s__CognitiveAgent) &
           s__agent(V__PROC,V__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
! [V__JOIN : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__JOIN, s__Hiring) & s__instance(V__ORG, s__Organization) & s__agent(V__JOIN, V__ORG) & s__patient(V__JOIN, V__PERSON)) => s__expects(V__ORG, ( ? [V__FT:$i] : ((s__instance(V__FT, s__FinancialTransaction) & s__agent(V__FT, V__ORG) & s__destination(V__FT, V__PERSON) & s__earlier(s__WhenFn(V__JOIN), s__WhenFn(V__FT)))))))) Merge.kif 10878-10890 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y expects there exists W such that W is an instance of financial transaction, Y is an agent of W, W ends up at Z, and the time of existence of X happens earlier than the time of existence of W will be true
! [V__PROC] :
((s__instance(V__PROC,s__PoliticalProcess) =>
     (? [V__POL] :
       (((s__instance(V__POL,s__Government) |
             (? [V__GOV] :
               ((s__instance(V__GOV,s__Government) &
                   s__member(V__POL,V__GOV)))))
         &
         (s__agent(V__PROC,V__POL)
         |
         s__patient(V__PROC,V__POL))))))
)

 Merge.kif 11004-11016 If X is an instance of political process, then there exists Y such that Y is an instance of government, there exists Z such that Z is an instance of government, Y is a member of Z, and Y is an agent of X, or Y is a patient of X
! [V__EVENT,V__OBJ] :
(((s__instance(V__EVENT,s__Translocation) &
       s__instance(V__OBJ,s__AutonomousAgent))
     =>
     (s__changesLocation(V__EVENT,V__OBJ)
     =>
     (s__instance(V__EVENT,s__Translocation) &
       s__instance(V__OBJ,s__Object) &
       (s__patient(V__EVENT,V__OBJ)
       |
       s__agent(V__EVENT,V__OBJ)
     |
     s__experiencer(V__EVENT,V__OBJ)))))
)

 Merge.kif 11255-11263 If X is a changes location of Y, then Y is an instance of translocation, X is an instance of object, and At least one of the following holds: (1) X is a patient of Y (2) X is an agent of Y (3) X experiences Y
! [V__MOTION] :
((s__instance(V__MOTION,s__BodyMotion) =>
     (? [V__AGENT] :
       ((s__instance(V__AGENT,s__Organism) &
           s__agent(V__MOTION,V__AGENT)))))
)

 Merge.kif 11371-11376 If X is an instance of body motion, then there exists Y such that Y is an instance of organism and Y is an agent of X
! [V__AGENT1,V__GIVE,V__AGENT2,V__OBJ] :
((s__instance(V__AGENT1,s__AutonomousAgent) =>
     ((s__instance(V__GIVE,s__Giving) &
         s__agent(V__GIVE,V__AGENT1)
       &
       s__destination(V__GIVE,V__AGENT2)
     &
     s__instance(V__AGENT2,s__AutonomousAgent) &
     s__patient(V__GIVE,V__OBJ))
=>
(? [V__GET] :
   ((s__instance(V__GET,s__Getting) &
       s__agent(V__GET,V__AGENT2)
     &
     s__origin(V__GET,V__AGENT1)
   &
   s__patient(V__GET,V__OBJ))))))
)

 Merge.kif 11949-11961 If X is an instance of giving, Y is an agent of X, X ends up at Z, Z is an instance of agent, and W is a patient of X, then there exists V such that V is an instance of getting, Z is an agent of V, V originates at Y, and W is a patient of V
! [V__AGENT1,V__AGENT2,V__BORROW,V__OBJECT] :
(((s__instance(V__AGENT1,s__AutonomousAgent) &
       s__instance(V__AGENT2,s__AutonomousAgent))
     =>
     ((s__instance(V__BORROW,s__Borrowing) &
         s__agent(V__BORROW,V__AGENT1)
       &
       s__origin(V__BORROW,V__AGENT2)
     &
     s__patient(V__BORROW,V__OBJECT))
=>
(? [V__LEND] :
   ((s__instance(V__LEND,s__Lending) &
       s__agent(V__LEND,V__AGENT2)
     &
     s__destination(V__LEND,V__AGENT1)
   &
   s__patient(V__LEND,V__OBJECT))))))
)

 Merge.kif 12007-12018 If X is an instance of borrowing, Y is an agent of X, X originates at Z, and W is a patient of X, then there exists V such that V is an instance of lending, Z is an agent of V, V ends up at Y, and W is a patient of V
! [V__AGENT2,V__AGENT1,V__LEND,V__OBJECT] :
(((s__instance(V__AGENT2,s__AutonomousAgent) &
       s__instance(V__AGENT1,s__AutonomousAgent))
     =>
     ((s__instance(V__LEND,s__Lending) &
         s__agent(V__LEND,V__AGENT2)
       &
       s__destination(V__LEND,V__AGENT1)
     &
     s__patient(V__LEND,V__OBJECT))
=>
(? [V__BORROW] :
   ((s__instance(V__BORROW,s__Borrowing) &
       s__agent(V__BORROW,V__AGENT1)
     &
     s__origin(V__BORROW,V__AGENT2)
   &
   s__patient(V__BORROW,V__OBJECT))))))
)

 Merge.kif 12020-12031 If X is an instance of lending, Y is an agent of X, X ends up at Z, and W is a patient of X, then there exists V such that V is an instance of borrowing, Z is an agent of V, V originates at Y, and W is a patient of V
! [V__AGENT,V__DEST,V__RETURN] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__DEST,s__AutonomousAgent))
     =>
     ((s__instance(V__RETURN,s__GivingBack) &
         s__agent(V__RETURN,V__AGENT)
       &
       s__destination(V__RETURN,V__DEST))
   =>
   (? [V__GIVE] :
     ((s__instance(V__GIVE,s__Giving) &
         s__agent(V__GIVE,V__DEST)
       &
       s__destination(V__GIVE,V__AGENT)
     &
     s__earlier(s__WhenFn(V__GIVE)
  ,s__WhenFn(V__RETURN)))))))
)

 Merge.kif 12039-12049 If X is an instance of giving back, Y is an agent of X, and X ends up at Z, then there exists W such that W is an instance of giving, Z is an agent of W, W ends up at Y, and the time of existence of W happens earlier than the time of existence of X
! [V__TRANS] :
((s__instance(V__TRANS,s__Transaction) =>
     (? [V__AGENT1,V__AGENT2,V__GIVE1,V__GIVE2,V__OBJ1,V__OBJ2] :
       ((s__instance(V__AGENT1,s__AutonomousAgent) &
           s__instance(V__AGENT2,s__AutonomousAgent) &
           (s__instance(V__GIVE1,s__Giving) &
             s__instance(V__GIVE2,s__Giving) &
             s__subProcess(V__GIVE1,V__TRANS)
           &
           s__subProcess(V__GIVE2,V__TRANS)
         &
         s__agent(V__GIVE1,V__AGENT1)
       &
       s__agent(V__GIVE2,V__AGENT2)
     &
     s__patient(V__GIVE1,V__OBJ1)
   &
   s__patient(V__GIVE2,V__OBJ2)
&
s__destination(V__GIVE1,V__AGENT2)
&
s__destination(V__GIVE2,V__AGENT1)
&
~((V__AGENT1 = V__AGENT2))
&
~((V__OBJ1 = V__OBJ2)))))))
)

 Merge.kif 12091-12108 If X is an instance of transaction, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that W is an instance of giving (3) V is an instance of giving (4) W is a subprocess of X (5) V is a subprocess of X (6) Y is an agent of W (7) Z is an agent of V (8) U is a patient of W (9) T is a patient of V (10) W ends up at Z (11) V ends up at Y (12) equal Y (13) Z (14) equal U (15) T
! [V__BUSINESS] :
((s__instance(V__BUSINESS,s__CommercialService) =>
     (? [V__AGENT] :
       ((s__instance(V__AGENT,s__CommercialAgent) &
           s__agent(V__BUSINESS,V__AGENT)))))
)

 Merge.kif 12153-12158 If X is an instance of commercial service, then there exists Y such that Y is an instance of commercial agent and Y is an agent of X
! [V__AGENT1,V__AGENT2,V__BUY,V__OBJECT] :
(((s__instance(V__AGENT1,s__AutonomousAgent) &
       s__instance(V__AGENT2,s__AutonomousAgent))
     =>
     ((s__instance(V__BUY,s__Buying) &
         s__agent(V__BUY,V__AGENT1)
       &
       s__origin(V__BUY,V__AGENT2)
     &
     s__patient(V__BUY,V__OBJECT))
=>
(? [V__SELL] :
   ((s__instance(V__SELL,s__Selling) &
       s__agent(V__SELL,V__AGENT2)
     &
     s__destination(V__SELL,V__AGENT1)
   &
   s__patient(V__SELL,V__OBJECT))))))
)

 Merge.kif 12181-12192 If X is an instance of buying, Y is an agent of X, X originates at Z, and W is a patient of X, then there exists V such that V is an instance of selling, Z is an agent of V, V ends up at Y, and W is a patient of V
! [V__AGENT] :
((s__instance(V__AGENT,s__CognitiveAgent) =>
     s__capability(s__Reasoning,s__agent,V__AGENT))
)

 Merge.kif 12283-12285 If X is an instance of cognitive agent, then X is capable of doing reasoning as a agent
! [V__AGENT : $i,V__DECIDE : $i,V__M : $i,V__S : $i] : (((s__instance(V__DECIDE, s__Deciding) & s__agent(V__DECIDE, V__AGENT) & s__instance(V__S, s__Set) & s__patient(V__DECIDE, V__S) & s__element(V__M, V__S)) => s__believes(V__AGENT, ( ? [V__CLASS:$i] : ((s__instance(V__M, V__CLASS) & s__subclass(V__CLASS, s__IntentionalProcess) & s__capability(V__CLASS, s__agent, V__AGENT))))))) Merge.kif 12300-12312 If X is an instance of deciding, Y is an agent of X, Z is an instance of set, Z is a patient of X, and W is an element of Z, then Y believes there exists V such that W is an instance of V, V is a subclass of intentional process, and Y is capable of doing V as a agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


? [V__D,V__M] :
((s__instance(V__D,s__Disseminating) &
     s__agent(V__D,s__Netflix) &
     s__patient(V__D,V__M)
   &
   s__instance(V__M,s__MotionPicture)))

 Medicine.kif 4580-4585 There exist X, Y such that X is an instance of disseminating, Netflix Corp. is an agent of X, Y is a patient of X, and Y is an instance of motion picture
? [V__FM] :
((s__instance(V__FM,s__FilmMaking) &
     s__agent(V__FM,s__Netflix)))

 Medicine.kif 4587-4590 There exists X such that X is an instance of film making and Netflix Corp. is an agent of X
! [V__AREA : $i,V__BIRTH : $i,V__INFANT : $i,V__WOMAN : $i,V__Y : $int,V__YEAR : $i] : ((s__instance(V__YEAR, s__YearFn(V__Y)) & s__ChildrenBornPerWomanFn(V__AREA, V__YEAR) = s__CardinalityFn(s__KappaFn(V__INFANT, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__agent(V__BIRTH, V__WOMAN) & s__instance(V__WOMAN, s__Human) & s__attribute(V__WOMAN, s__Female) & s__holdsDuring(V__YEAR, s__inhabits(V__WOMAN, V__AREA))))))) People.kif 490-503 X is an instance of the year Y and equal the children born per woman of Z, X, and the number of instances in the class described by 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners