(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 | 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量 |
(subclass MilitaryProcess PoliticalProcess) | Merge.kif 10810-10810 | 军事过程 是 政治过程 的 subclass |
(subclass MilitaryProcess OrganizationalProcess) | Merge.kif 10811-10811 | 军事过程 是 机构性过程 的 subclass |
(subclass MilitaryRegrouping MilitaryProcess) | MilitaryProcesses.kif 2684-2684 | MilitaryRegrouping 是 军事过程 的 subclass |
(subclass MilitaryOperation MilitaryProcess) | Military.kif 23-23 | 军事行动 是 军事过程 的 subclass |
(subclass MilitaryInfiltration MilitaryProcess) | Mid-level-ontology.kif 13952-13952 | 军事渗透 是 军事过程 的 subclass |