(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 886-897 | |
(subclass MilitaryProcess PoliticalProcess) | Merge.kif 10844-10844 | |
(subclass MilitaryProcess OrganizationalProcess) | Merge.kif 10845-10845 | |
(subclass MilitaryRegrouping MilitaryProcess) | MilitaryProcesses.kif 2684-2684 | |
(subclass MilitaryOperation MilitaryProcess) | Military.kif 23-23 | |
(subclass MilitaryInfiltration MilitaryProcess) | Mid-level-ontology.kif 13979-13979 |