| appearance as argument number 1 |
|
| (instance agent CaseRole) | Merge.kif 2466-2466 | agent is an instance of case role |
| (instance agent PartialValuedRelation) | Merge.kif 2467-2467 | agent is an instance of partial valued relation |
| (domain agent 1 Process) | Merge.kif 2468-2468 | The number 1 argument of agent is an instance of process |
| (domain agent 2 AutonomousAgent) | Merge.kif 2469-2469 | The number 2 argument of agent is an instance of agent |
| (subrelation agent involvedInEvent) | Merge.kif 2470-2470 | 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 2472-2475 | agent is a subrelation of involved in event |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain automatedNotification 1 agent) | Facebook.kif 745-745 | 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 1455-1462 | 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 1474-1479 | 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 1488-1493 | 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 1689-1701 | 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 2767-2773 | 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 10449-10457 | 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 10476-10481 | 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 10649-10654 | 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 10663-10668 | 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 10698-10707 | 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 10720-10729 | 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 10736-10744 | 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 10768-10776 | 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 10778-10787 | 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 10789-10801 | 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 10809-10817 | 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 10823-10833 | 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 10841-10849 | 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 10860-10864 | 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 10871-10875 | 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 10882-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 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 10898-10906 | 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 10938-10943 | 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 11021-11028 | 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 11316-11324 | 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 ?AGENT AutonomousAgent) (exists (?PROC) (capability ?PROC agent ?AGENT))) |
Merge.kif 1596-1599 | 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 1635-1641 | 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 1684-1687 | 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 1689-1701 | 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 2775-2781 | 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 3977-3982 | 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 4027-4029 | 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 4728-4733 | 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 10309-10312 | 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 10449-10457 | 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 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 ?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 10789-10801 | 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 10915-10927 | 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 11161-11169 | 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 11277-11282 | 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 11843-11855 | 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 11901-11912 | 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 11914-11925 | 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 11933-11943 | 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 11985-12002 | 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 12047-12052 | 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 12075-12086 | 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 12169-12171 | 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 12186-12198 | 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 |
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A)))))) |
Merge.kif 12218-12234 | If All of the following hold: (1) X is an instance of deciding (2) Y is an agent of X (3) Z is a patient of X (4) Z is an instance of set (5) W is a result of X (6) W is an instance of content bearing physical, then W contains the formula there exists V such that V is an element of Z, V is an instance of intentional process, and Y is an agent of V holds during after the time of existence of X |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (containsInformation (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER) (=> (and (instance ?COUNTRY Nation) (instance ?ELECTION (ElectionFn ?COUNTRY)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement) |
Government.kif 885-893 | For all : if ?COUNTRY is an instance of nation, ?ELECTION is an instance of the election of ?COUNTRY, ?VOTING is an instance of the voting of ?ELECTION, and ?VOTER is an agent of ?VOTING, then ?VOTER is a citizen of ?COUNTRY |
| (containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw) |
Government.kif 1054-1065 | For all : if ?AGENT is a citizen of ?POLITY, ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY, the age of ?AGENT is ?AGE year duration(s), ?AGE is greater than or equal to ?VOTINGAGE, and ?ELECTION is an instance of the election of ?POLITY, then ?AGENT is capable of doing the voting of ?ELECTION as a agent |
| (containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?VOTER (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw) |
Government.kif 1122-1136 | For all : if ?VOTER is a citizen of ?POLITY, ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY, the age of ?VOTER is ?AGE year duration(s), ?AGE is greater than or equal to ?VOTINGAGE, and ?ELECTION is an instance of the election of ?POLITY, then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING |
| (containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1203-1210 | For all : if ?ELECTION is an instance of the election of ?AGENT, ?VOTING is an instance of the voting of ?ELECTION, and ?VOTER is an agent of ?VOTING, then male is an attribute of ?VOTER |
| (exists (?D ?M) (and (instance ?D Disseminating) (agent ?D Netflix) (patient ?D ?M) (instance ?M MotionPicture))) |
Medicine.kif 4542-4547 | 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 4549-4552 | 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 456-469 | 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 is open source software produced by Articulate Software and its partners