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