Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(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 等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10844-10844 子類 MilitaryProcess and PoliticalProcess
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10845-10845 子類 MilitaryProcess and OrganizationalProcess
(subclass MilitaryRegrouping MilitaryProcess) MilitaryProcesses.kif 2684-2684 子類 MilitaryRegrouping and MilitaryProcess
(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23 子類 軍事行動 and MilitaryProcess
(subclass MilitaryInfiltration MilitaryProcess) Mid-level-ontology.kif 13979-13979 子類 軍事滲透 and MilitaryProcess


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners