greaterThanOrEqualTo |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage greaterThanOrEqualTo "%1 %n 是 greaterThanOrEqualTo %2") | chinese_format.kif 113-113 | |
(format EnglishLanguage greaterThanOrEqualTo "%1 is %n greater than or equal to %2") | english_format.kif 113-113 | |
(format FrenchLanguage greaterThanOrEqualTo "%1 est %n plus grand ou �gal � %2") | french_format.kif 78-78 | |
(format ItalianLanguage greaterThanOrEqualTo "%1 è %n più grande di o uguale a %2") | relations-it.txt 122-122 | |
(format JapaneseLanguage greaterThanOrEqualTo "%1 は %2 greater では %n") | japanese_format.kif 1905-1905 | |
(format PortugueseLanguage greaterThanOrEqualTo "%1 e' %n maior ou igual a %2") | portuguese_format.kif 30-30 | |
(format cz greaterThanOrEqualTo "%1 %p{je} %n{nen�} v�t�� ne� nebo roven %2") | relations-cz.txt 79-79 | |
(format de greaterThanOrEqualTo "%1 ist groesserAlsOderGleich %2 %n{nicht}") | relations-de.txt 130-130 | |
(format hi greaterThanOrEqualTo "%1 %2 se badaa yaa baraabara %n hai") | relations-hindi.txt 162-162 | |
(format ro greaterThanOrEqualTo "%1 %n{nu} este greater%t{mai mare} sau egal decât %2") | relations-ro.kif 97-97 | |
(format sv greaterThanOrEqualTo "%1 är %n{inte} större än eller lika med %2") | relations-sv.txt 77-77 | |
(format tg greaterThanOrEqualTo "%1 %n ay mas malaki sa o pareho sa %2") | relations-tg.txt 250-250 | |
(termFormat ChineseLanguage greaterThanOrEqualTo "大于或等于") | chinese_format.kif 114-114 | |
(termFormat ChineseTraditionalLanguage greaterThanOrEqualTo "大於或等於") | domainEnglishFormat.kif 26537-26537 | |
(termFormat EnglishLanguage greaterThanOrEqualTo "greater than or equal to") | domainEnglishFormat.kif 26536-26536 | |
(termFormat de greaterThanOrEqualTo "groesserAlsOderGleich") | terms-de.txt 38-38 | |
(termFormat tg greaterThanOrEqualTo "mas malaki sa o pareho sa") | relations-tg.txt 251-251 |
antecedent |
consequent |
statement |
(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 1092-1103 | ?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 1160-1174 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
(equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 872-881 | AvailableForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 895-906 | FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
appearance as argument number 0 |
(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11) |
Media.kif 1965-1965 | Le nombre d' instances dans TwelveApostles est plus grand ou �gal � 11 |