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


KB Term:  Term intersection
English Word: 

  Region

 Sigma KEE - agent
agent

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


(instance agent CaseRole) Merge.kif 2539-2539 agent is an instance of case role
(instance agent PartialValuedRelation) Merge.kif 2540-2540 agent is an instance of partial valued relation
(domain agent 1 Process) Merge.kif 2541-2541 The number 1 argument of agent is an instance of process
(domain agent 2 AutonomousAgent) Merge.kif 2542-2542 The number 2 argument of agent is an instance of agent
(subrelation agent involvedInEvent) Merge.kif 2543-2543 agent is a subrelation of involved in event
(documentation agent 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
-------------------------


(subrelation perpetrator agent) Mid-level-ontology.kif 17785-17785 perpetrator is a subrelation of agent
(subrelation plaintiff agent) Mid-level-ontology.kif 17905-17905 plaintiff is a subrelation of agent
(subrelation contestParticipant agent) Mid-level-ontology.kif 21577-21577 contest participant is a subrelation of agent
(relatedInternalConcept typicalAction agent) Mid-level-ontology.kif 25137-25137 typical action is internally related to agent
(subrelation serviceProvider agent) Mid-level-ontology.kif 25197-25197 service provider is a subrelation of agent
(subrelation gainsControl agent) Mid-level-ontology.kif 25753-25753 gains control is a subrelation of agent
(subrelation arrestingOfficer agent) Law.kif 228-228 arresting officer is a subrelation of agent
(subrelation prosecutor agent) Law.kif 289-289 prosecutor is a subrelation of agent
(subrelation invadingVirus agent) VirusProteinAndCellPart.kif 23-23 invading virus is a subrelation of agent
(termFormat EnglishLanguage agent "agent") domainEnglishFormat.kif 65775-65775 invading virus is a subrelation of agent
(format EnglishLanguage 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
-------------------------


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

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


(=>
    (and
        (instance ?LANG AnimalLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (and
        (instance ?AGENT Animal)
        (not
            (instance ?AGENT 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
(=>
    (and
        (instance ?LANG ComputerLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (instance ?AGENT 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
(=>
    (and
        (instance ?LANG HumanLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (instance ?AGENT 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
(=>
    (and
        (instance ?PROC SingleAgentProcess)
        (agent ?PROC ?AGENT1)
        (agent ?PROC ?AGENT2))
    (and
        (equal ?AGENT1 ?AGENT2)
        (not
            (exists (?AGENT3)
                (and
                    (agent ?PROC ?AGENT3)
                    (not
                        (equal ?AGENT3 ?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
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?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
(=>
    (and
        (instance ?DIGEST Digesting)
        (agent ?DIGEST ?ORGANISM))
    (exists (?INGEST)
        (and
            (instance ?INGEST Ingesting)
            (agent ?INGEST ?ORGANISM)
            (overlapsTemporally
                (WhenFn ?INGEST)
                (WhenFn ?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
(=>
    (and
        (instance ?REP Replication)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (parent ?CHILD ?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
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT))
    (exists (?PURP)
        (hasPurposeForAgent ?PROC ?AGENT ?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
(=>
    (and
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?HUMAN)
        (instance ?HUMAN Animal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?HUMAN 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
(=>
    (and
        (instance ?ACT OrganizationalProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT Organization)
        (exists (?ORG)
            (and
                (instance ?ORG Organization)
                (member ?AGENT ?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
(=>
    (and
        (instance ?ACT ReligiousProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT ReligiousOrganization)
        (exists (?ORG)
            (and
                (member ?AGENT ?ORG)
                (instance ?ORG 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
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?ORG Organization)
        (agent ?JOIN ?PERSON)
        (patient ?JOIN ?ORG))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JOIN))
            (not
                (member ?PERSON ?ORG)))
        (holdsDuring
            (EndFn
                (WhenFn ?JOIN))
            (member ?PERSON ?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
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JOIN))
            (not
                (member ?PERSON ?ORG)))
        (holdsDuring
            (EndFn
                (WhenFn ?JOIN))
            (member ?PERSON ?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
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?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
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (expects ?ORG
        (exists (?FT)
            (and
                (instance ?FT FinancialTransaction)
                (agent ?FT ?ORG)
                (destination ?FT ?PERSON)
                (earlier
                    (WhenFn ?JOIN)
                    (WhenFn ?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
(=>
    (and
        (instance ?LEAVE LeavingAnOrganization)
        (instance ?ORG Organization)
        (agent ?LEAVE ?PERSON)
        (patient ?LEAVE ?ORG))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEAVE))
            (member ?PERSON ?ORG))
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?PERSON ?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
(=>
    (and
        (instance ?LEAVE Quitting)
        (instance ?ORG Organization)
        (agent ?LEAVE ?PERSON)
        (patient ?LEAVE ?ORG))
    (desires ?PERSON
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?PERSON ?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
(=>
    (and
        (instance ?LEAVE Firing)
        (instance ?ORG Organization)
        (agent ?LEAVE ?ORG)
        (patient ?LEAVE ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEAVE))
            (member ?P ?ORG))
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?P ?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
(=>
    (and
        (instance ?GRAD Graduation)
        (agent ?GRAD ?ORG))
    (instance ?ORG 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
(=>
    (and
        (instance ?MAT Matriculation)
        (agent ?MAT ?ORG))
    (instance ?ORG 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
(=>
    (and
        (instance ?HIRE Hiring)
        (instance ?ORG Organization)
        (agent ?HIRE ?ORG)
        (patient ?HIRE ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?HIRE))
            (not
                (employs ?ORG ?PERSON)))
        (holdsDuring
            (EndFn
                (WhenFn ?HIRE))
            (employs ?ORG ?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
(=>
    (and
        (instance ?FIRE TerminatingEmployment)
        (instance ?ORG Organization)
        (agent ?FIRE ?ORG)
        (patient ?FIRE ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?FIRE))
            (employs ?ORG ?PERSON))
        (holdsDuring
            (EndFn
                (WhenFn ?FIRE))
            (not
                (employs ?ORG ?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
(=>
    (and
        (instance ?PROCESS JudicialProcess)
        (agent ?PROCESS ?ORG)
        (instance ?ORG Organization))
    (instance ?ORG 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
(=>
    (and
        (instance ?INTERPRET Interpreting)
        (agent ?INTERPRET ?AGENT)
        (patient ?INTERPRET ?CONTENT)
        (instance ?CONTENT ContentBearingObject))
    (exists (?PROP)
        (holdsDuring
            (EndFn
                (WhenFn ?INTERPRET))
            (believes ?AGENT
                (containsInformation ?CONTENT ?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
(=>
    (and
        (instance ?WALK Walking)
        (instance ?RUN Running)
        (agent ?WALK ?AGENT)
        (agent ?RUN ?AGENT)
        (holdsDuring
            (WhenFn ?WALK)
            (measure ?AGENT
                (SpeedFn ?LENGTH1 ?TIME)))
        (holdsDuring
            (WhenFn ?RUN)
            (measure ?AGENT
                (SpeedFn ?LENGTH2 ?TIME))))
    (greaterThan ?LENGTH2 ?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
-------------------------


(=>
    (instance ?event VolcanicEruption)
    (exists (?volcano)
        (and
            (instance ?volcano Volcano)
            (agent ?event ?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
(=>
    (instance ?AGENT AutonomousAgent)
    (exists (?PROC)
        (capability ?PROC agent ?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
(<=>
    (holdsDuring ?TIME
        (attribute ?AGENT LegalPersonhood))
    (holdsDuring ?TIME
        (or
            (capability LegalAction agent ?AGENT)
            (capability LegalAction patient ?AGENT))))		 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
(=>
    (instance ?PROC SingleAgentProcess)
    (exists (?AGENT)
        (agent ?PROC ?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
(=>
    (and
        (instance ?PROC SingleAgentProcess)
        (agent ?PROC ?AGENT1)
        (agent ?PROC ?AGENT2))
    (and
        (equal ?AGENT1 ?AGENT2)
        (not
            (exists (?AGENT3)
                (and
                    (agent ?PROC ?AGENT3)
                    (not
                        (equal ?AGENT3 ?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
(=>
    (inScopeOfInterest ?AGENT ?OBJECT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?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
(=>
    (exploits ?OBJ ?AGENT)
    (exists (?PROCESS)
        (and
            (agent ?PROCESS ?AGENT)
            (resource ?PROCESS ?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
(=>
    (hasSkill ?PROC ?AGENT)
    (capability ?PROC agent ?AGENT))		 Merge.kif 4090-4092 If X has the skill to do Y, then X is capable of doing Y as a agent
(=>
    (uses ?OBJ ?AGENT)
    (exists (?PROC)
        (and
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?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
(=>
    (instance ?O Organism)
    (not
        (capability BiologicalProcess agent ?O)))		 Merge.kif 10375-10378 If X is an instance of organism, then X is not capable of doing biological process as a agent
(=>
    (and
        (instance ?DIGEST Digesting)
        (agent ?DIGEST ?ORGANISM))
    (exists (?INGEST)
        (and
            (instance ?INGEST Ingesting)
            (agent ?INGEST ?ORGANISM)
            (overlapsTemporally
                (WhenFn ?INGEST)
                (WhenFn ?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
(=>
    (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 ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (expects ?ORG
        (exists (?FT)
            (and
                (instance ?FT FinancialTransaction)
                (agent ?FT ?ORG)
                (destination ?FT ?PERSON)
                (earlier
                    (WhenFn ?JOIN)
                    (WhenFn ?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
(=>
    (instance ?PROC PoliticalProcess)
    (exists (?POL)
        (and
            (or
                (instance ?POL Government)
                (exists (?GOV)
                    (and
                        (instance ?GOV Government)
                        (member ?POL ?GOV))))
            (or
                (agent ?PROC ?POL)
                (patient ?PROC ?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
(=>
    (changesLocation ?EVENT ?OBJ)
    (and
        (instance ?EVENT Translocation)
        (instance ?OBJ Object)
        (or
            (patient ?EVENT ?OBJ)
            (agent ?EVENT ?OBJ)
            (experiencer ?EVENT ?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
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?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
(=>
    (and
        (instance ?GIVE Giving)
        (agent ?GIVE ?AGENT1)
        (destination ?GIVE ?AGENT2)
        (instance ?AGENT2 AutonomousAgent)
        (patient ?GIVE ?OBJ))
    (exists (?GET)
        (and
            (instance ?GET Getting)
            (agent ?GET ?AGENT2)
            (origin ?GET ?AGENT1)
            (patient ?GET ?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
(=>
    (and
        (instance ?BORROW Borrowing)
        (agent ?BORROW ?AGENT1)
        (origin ?BORROW ?AGENT2)
        (patient ?BORROW ?OBJECT))
    (exists (?LEND)
        (and
            (instance ?LEND Lending)
            (agent ?LEND ?AGENT2)
            (destination ?LEND ?AGENT1)
            (patient ?LEND ?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
(=>
    (and
        (instance ?LEND Lending)
        (agent ?LEND ?AGENT2)
        (destination ?LEND ?AGENT1)
        (patient ?LEND ?OBJECT))
    (exists (?BORROW)
        (and
            (instance ?BORROW Borrowing)
            (agent ?BORROW ?AGENT1)
            (origin ?BORROW ?AGENT2)
            (patient ?BORROW ?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
(=>
    (and
        (instance ?RETURN GivingBack)
        (agent ?RETURN ?AGENT)
        (destination ?RETURN ?DEST))
    (exists (?GIVE)
        (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?DEST)
            (destination ?GIVE ?AGENT)
            (earlier
                (WhenFn ?GIVE)
                (WhenFn ?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
(=>
    (instance ?TRANS Transaction)
    (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
        (and
            (instance ?GIVE1 Giving)
            (instance ?GIVE2 Giving)
            (subProcess ?GIVE1 ?TRANS)
            (subProcess ?GIVE2 ?TRANS)
            (agent ?GIVE1 ?AGENT1)
            (agent ?GIVE2 ?AGENT2)
            (patient ?GIVE1 ?OBJ1)
            (patient ?GIVE2 ?OBJ2)
            (destination ?GIVE1 ?AGENT2)
            (destination ?GIVE2 ?AGENT1)
            (not
                (equal ?AGENT1 ?AGENT2))
            (not
                (equal ?OBJ1 ?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
(=>
    (instance ?BUSINESS CommercialService)
    (exists (?AGENT)
        (and
            (instance ?AGENT CommercialAgent)
            (agent ?BUSINESS ?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
(=>
    (and
        (instance ?BUY Buying)
        (agent ?BUY ?AGENT1)
        (origin ?BUY ?AGENT2)
        (patient ?BUY ?OBJECT))
    (exists (?SELL)
        (and
            (instance ?SELL Selling)
            (agent ?SELL ?AGENT2)
            (destination ?SELL ?AGENT1)
            (patient ?SELL ?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
(=>
    (instance ?AGENT CognitiveAgent)
    (capability Reasoning agent ?AGENT))		 Merge.kif 12283-12285 If X is an instance of cognitive agent, then X is capable of doing reasoning as a agent
(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?AGENT)
        (instance ?S Set)
        (patient ?DECIDE ?S)
        (element ?M ?S))
    (believes ?AGENT
        (exists (?CLASS)
            (and
                (instance ?M ?CLASS)
                (subclass ?CLASS IntentionalProcess)
                (capability ?CLASS agent ?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
-------------------------


(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M 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
(exists (?FM)
    (and
        (instance ?FM FilmMaking)
        (agent ?FM 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
(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners