Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AssaultAmphibianUnit
AssaultAmphibianUnit

appearance as argument number 1
-------------------------


(documentation AssaultAmphibianUnit EnglishLanguage "A mechanized military unit of the US MArine Corps. Their primary weapon system is the Amphibious Assault Vehicle.") MilitaryPersons.kif 636-638
(subclass AssaultAmphibianUnit MilitaryUnit) MilitaryPersons.kif 635-635 AssaultAmphibianUnit est une sous-classe de MilitaryUnit

appearance as argument number 2
-------------------------


(subclass AssaultAmphibianBatallion AssaultAmphibianUnit) MilitaryPersons.kif 651-651 AssaultAmphibianBatallion est une sous-classe de AssaultAmphibianUnit
(subclass AssaultAmphibianPlatoon AssaultAmphibianUnit) MilitaryPersons.kif 659-659 AssaultAmphibianPlatoon est une sous-classe de AssaultAmphibianUnit
(termFormat ChineseLanguage AssaultAmphibianUnit "突击两栖动物单位") domainEnglishFormat.kif 8742-8742
(termFormat ChineseTraditionalLanguage AssaultAmphibianUnit "突擊兩棲動物單位") domainEnglishFormat.kif 8741-8741
(termFormat EnglishLanguage AssaultAmphibianUnit "assault amphibian unit") domainEnglishFormat.kif 8740-8740

antecedent
-------------------------


(=>
    (instance ?AAU AssaultAmphibianUnit)
    (exists (?AAV)
        (and
            (instance ?AAV AAV)
            (possesses ?AAU ?AAV))))
MilitaryPersons.kif 642-647


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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