or |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage or "或") | domainEnglishFormat.kif 42396-42396 | |
(termFormat ChineseTraditionalLanguage or "或") | domainEnglishFormat.kif 42395-42395 | |
(termFormat EnglishLanguage or "or") | domainEnglishFormat.kif 42394-42394 |
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 |
![]() |
![]() |