Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| militaryAge |
| appearance as argument number 1 |
|
| (instance militaryAge BinaryPredicate) | Military.kif 1097-1097 | military age is an instance of binary predicate |
| (documentation militaryAge EnglishLanguage "(militaryAge ?AREA ?AGE) means that in the GeopoliticalArea ?AREA, a person must be ?AGE or older in order to be a member of the military of the ?AREA.") | Military.kif 1098-1100 | military age is an instance of binary predicate |
| (domain militaryAge 1 GeopoliticalArea) | Military.kif 1101-1101 | The number 1 argument of military age is an instance of geopolitical area |
| (domain militaryAge 2 TimeDuration) | Military.kif 1102-1102 | The number 2 argument of military age is an instance of time duration |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage militaryAge "%2 is %n a military age of %1") | domainEnglishFormat.kif 1717-1717 | |
| (format ChineseTraditionalLanguage militaryAge "%2 %n 是 %1 的 military 年紀") | domainEnglishFormat.kif 1718-1718 | |
| (format ChineseLanguage militaryAge "%2 %n 是 %1 的 military 年纪") | domainEnglishFormat.kif 1719-1719 | |
| (termFormat EnglishLanguage militaryAge "military age") | domainEnglishFormat.kif 37535-37535 | |
| (termFormat ChineseTraditionalLanguage militaryAge "軍事時代") | domainEnglishFormat.kif 37536-37536 | |
| (termFormat ChineseLanguage militaryAge "军事时代") | domainEnglishFormat.kif 37537-37537 |
| antecedent |
|
|
| (=> (and (militaryAge ?AREA (MeasureFn ?MILITARYAGE YearDuration)) (militaryOfArea ?MILITARY ?AREA) (member ?AGENT ?MILITARY)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?MILITARYAGE)))) |
Military.kif 1104-1114 | If X year duration(s) is a military age of Y, Y is a military of area of Z, and W is a member of Z, then there exists V such that the age of W is V year duration(s) and V is greater than or equal to X |
| (=> (and (militaryAge ?AREA (MeasureFn ?MILITARYAGE YearDuration)) (militaryOfArea ?MILITARY ?AREA) (member ?AGENT ?MILITARY) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?MILITARYAGE)) |
Military.kif 1116-1124 | If X year duration(s) is a military age of Y, Y is a military of area of Z, W is a member of Z, and the age of W is V year duration(s), then V is greater than or equal to X |
| statement |
|
|
| (equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 1136-1145 | equal the available for military service male of X and the number of instances in the class described by Y |
| (equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 1159-1170 | equal the fit for military service male of X and the number of instances in the class described by Y |
| (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 1197-1210 | equal the reaching military age annually male of X, Y, and the number of instances in the class described by Z |
|