(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 895-906 | |
(subclass MilitaryProcess PoliticalProcess) | Merge.kif 10810-10810 | |
(subclass MilitaryProcess OrganizationalProcess) | Merge.kif 10811-10811 | |
(subclass MilitaryRegrouping MilitaryProcess) | MilitaryProcesses.kif 2684-2684 | |
(subclass MilitaryOperation MilitaryProcess) | Military.kif 23-23 | |
(subclass MilitaryInfiltration MilitaryProcess) | Mid-level-ontology.kif 13952-13952 |