| (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 | FitForMilitaryServiceMaleFn 地政学的地域 は エンティティー class の instances の数 と equal では %n |
| (subclass MilitaryProcess PoliticalProcess) | Merge.kif 10810-10810 | 軍事プロセス は 政治的プロセス の subclass では %n |
| (subclass MilitaryProcess OrganizationalProcess) | Merge.kif 10811-10811 | 軍事プロセス は 組織プロセス の subclass では %n |
| (subclass MilitaryRegrouping MilitaryProcess) | MilitaryProcesses.kif 2684-2684 | MilitaryRegrouping は 軍事プロセス の subclass では %n |
| (subclass MilitaryOperation MilitaryProcess) | Military.kif 23-23 | MilitaryOperation は 軍事プロセス の subclass では %n |
| (subclass MilitaryInfiltration MilitaryProcess) | Mid-level-ontology.kif 13952-13952 | MilitaryInfiltration は 軍事プロセス の subclass では %n |
|
|