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 10810-10810 Processus militaire est une sous-classe de processus polotique
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10811-10811 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 13952-13952 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