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 Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |