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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AssaultAmphibianUnit
AssaultAmphibianUnit(assault amphibian unit)

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 Assault amphibian unit is a subclass of military unit

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


(subclass AssaultAmphibianBatallion AssaultAmphibianUnit) MilitaryPersons.kif 651-651 AssaultAmphibianBatallion is a subclass of assault amphibian unit
(subclass AssaultAmphibianPlatoon AssaultAmphibianUnit) MilitaryPersons.kif 659-659 Assault amphibian platoon is a subclass of assault amphibian unit
(termFormat ChineseLanguage AssaultAmphibianUnit "突击两栖动物单位") domainEnglishFormat.kif 8749-8749
(termFormat ChineseTraditionalLanguage AssaultAmphibianUnit "突擊兩棲動物單位") domainEnglishFormat.kif 8748-8748
(termFormat EnglishLanguage AssaultAmphibianUnit "assault amphibian unit") domainEnglishFormat.kif 8747-8747

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners