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 | The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string |