or |
appearance as argument number 2 |
(termFormat ChineseLanguage or "或") | domainEnglishFormat.kif 42384-42384 | |
(termFormat ChineseTraditionalLanguage or "或") | domainEnglishFormat.kif 42383-42383 | |
(termFormat EnglishLanguage or "or") | domainEnglishFormat.kif 42382-42382 |
antecedent |
consequent |
statement |
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique |