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 | 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量 |