| (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 10832-10832 | |
| (subclass MilitaryProcess OrganizationalProcess) | Merge.kif 10833-10833 | |
| (subclass MilitaryRegrouping MilitaryProcess) | MilitaryProcesses.kif 2684-2684 | |
| (subclass MilitaryOperation MilitaryProcess) | Military.kif 23-23 | |
| (subclass MilitaryInfiltration MilitaryProcess) | Mid-level-ontology.kif 13951-13951 |
|
|