Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AssaultAmphibianUnit
AssaultAmphibianUnit(assault amphibian unit)

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


(subclass AssaultAmphibianUnit MilitaryUnit) MilitaryPersons.kif 652-652 Assault amphibian unit is a subclass of military unit
(documentation AssaultAmphibianUnit EnglishLanguage "A mechanized military unit of the US MArine Corps. Their primary weapon system is the Amphibious Assault Vehicle.") MilitaryPersons.kif 653-655 Assault amphibian unit is a subclass of military unit

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


(subclass AssaultAmphibianBatallion AssaultAmphibianUnit) MilitaryPersons.kif 668-668 Assault amphibian batallion is a subclass of assault amphibian unit
(subclass AssaultAmphibianPlatoon AssaultAmphibianUnit) MilitaryPersons.kif 676-676 Assault amphibian platoon is a subclass of assault amphibian unit
(termFormat EnglishLanguage AssaultAmphibianUnit "assault amphibian unit") domainEnglishFormat.kif 8740-8740 Assault amphibian platoon is a subclass of assault amphibian unit
(termFormat ChineseTraditionalLanguage AssaultAmphibianUnit "突擊兩棲動物單位") domainEnglishFormat.kif 8741-8741 Assault amphibian platoon is a subclass of assault amphibian unit
(termFormat ChineseLanguage AssaultAmphibianUnit "突击两栖动物单位") domainEnglishFormat.kif 8742-8742 Assault amphibian platoon is a subclass of assault amphibian unit

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


(=>
    (instance ?AAU AssaultAmphibianUnit)
    (exists (?AAV)
        (and
            (instance ?AAV AAV)
            (possesses ?AAU ?AAV))))		 MilitaryPersons.kif 659-664 If X is an instance of assault amphibian unit, then there exists Y such that Y is an instance of Amphibious Assault Vehicle and X possesses Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners