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 子類 突擊兩棲動物單位 and 軍事單位

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


(subclass AssaultAmphibianBatallion AssaultAmphibianUnit) MilitaryPersons.kif 651-651 子類 AssaultAmphibianBatallion and 突擊兩棲動物單位
(subclass AssaultAmphibianPlatoon AssaultAmphibianUnit) MilitaryPersons.kif 659-659 子類 突擊兩棲動物排 and 突擊兩棲動物單位
(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