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 895-906
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10810-10810
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10811-10811
(subclass MilitaryRegrouping MilitaryProcess) MilitaryProcesses.kif 2684-2684
(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23
(subclass MilitaryInfiltration MilitaryProcess) Mid-level-ontology.kif 13952-13952


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