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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AssaultAmphibianUnit

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 突击两栖动物单位军事单位subclass

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


(subclass AssaultAmphibianBatallion AssaultAmphibianUnit) MilitaryPersons.kif 651-651 AssaultAmphibianBatallion突击两栖动物单位subclass
(subclass AssaultAmphibianPlatoon AssaultAmphibianUnit) MilitaryPersons.kif 659-659 突击两栖动物排突击两栖动物单位subclass
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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