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 Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10810-10810 Processo Militar e' uma sub-classe de Processo Politico
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10811-10811 Processo Militar e' uma sub-classe de Processo Organizacional
(subclass MilitaryRegrouping MilitaryProcess) MilitaryProcesses.kif 2684-2684 MilitaryRegrouping e' uma sub-classe de Processo Militar
(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23 MilitaryOperation e' uma sub-classe de Processo Militar
(subclass MilitaryInfiltration MilitaryProcess) Mid-level-ontology.kif 13952-13952 MilitaryInfiltration e' uma sub-classe de Processo Militar


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