| 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 は MilitaryUnit の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass AssaultAmphibianBatallion AssaultAmphibianUnit) | MilitaryPersons.kif 651-651 | AssaultAmphibianBatallion は AssaultAmphibianUnit の subclass では %n |
| (subclass AssaultAmphibianPlatoon AssaultAmphibianUnit) | MilitaryPersons.kif 659-659 | AssaultAmphibianPlatoon は AssaultAmphibianUnit の subclass では %n |
| (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