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 FitForMilitaryServiceMaleFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10810-10810 MilitaryProcess ist eine teilkategorie von PoliticalProcess
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10811-10811 MilitaryProcess ist eine teilkategorie von OrganizationalProcess
(subclass MilitaryRegrouping MilitaryProcess) MilitaryProcesses.kif 2684-2684 MilitaryRegrouping ist eine teilkategorie von MilitaryProcess
(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23 MilitaryOperation ist eine teilkategorie von MilitaryProcess
(subclass MilitaryInfiltration MilitaryProcess) Mid-level-ontology.kif 13952-13952 MilitaryInfiltration ist eine teilkategorie von 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