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 secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10832-10832 Processus militaire est une sous-classe de processus polotique
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10833-10833 Processus militaire est une sous-classe de processus organisationnel
(subclass MilitaryRegrouping MilitaryProcess) MilitaryProcesses.kif 2684-2684 MilitaryRegrouping est une sous-classe de processus militaire
(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23 MilitaryOperation est une sous-classe de processus militaire
(subclass MilitaryInfiltration MilitaryProcess) Mid-level-ontology.kif 13951-13951 MilitaryInfiltration est une sous-classe de processus militaire


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