forall |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(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 | ?AGENT ?VOTER, ?ELECTION and ?VOTING
|
(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 | ?COUNTRY ?ELECTION, ?VOTING and ?VOTER
|
(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 | ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|
(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 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
(exists (?TIME) (and (instance ?TIME TimeInterval) (finishes ?TIME (WhenFn JesusOfNazareth)) (starts ?TIME (WhenFn TwelveApostles)) (forall (?MEM) (=> (holdsDuring ?TIME (member ?MEM TwelveApostles)) (holdsDuring ?TIME (friend ?MEM JesusOfNazareth)))))) |
Media.kif 1972-1980 | Interval temporel interval temporel est une instance de interval temporel interval temporel finit temps d'existence de JesusOfNazareth interval temporel commence temps d'existence de TwelveApostles entit� |
appearance as argument number 0 |
![]() |
(forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 14672-14675 | Nombre r�el nombre r�el OunceMass(s) est nombre r�el + 16.0 PoundMass(s) |
(forall (?NUMBER) (equal (PredecessorFn ?NUMBER) (SubtractionFn ?NUMBER 1))) |
Merge.kif 4749-4750 | Nombre entier ( nombre entier+2) est nombre entier + 1) |
(forall (?NUMBER) (equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1))) |
Merge.kif 4733-4734 | Nombre entier ( nombre entier+1) est nombre entier + 1) |
(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW))))) |
Merge.kif 3035-3038 | @ROW Entit� longueur de (@ROW + entit�) est longueur de (@ROW)+1) |
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM)) |
Merge.kif 3040-3044 | @ROW Entit� longueur de (@ROW + entit�)th entit�) est entit� |
(forall (@ROW ?ITEM) (initialList (ListFn @ROW) (ListFn @ROW ?ITEM))) |
Merge.kif 3315-3316 | @ROW Entit� (@ROW) commence (@ROW + entit�) |
![]() |
![]() |