| 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 | Assault amphibian batallion 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 8750-8750 | Assault amphibian platoon is a subclass of assault amphibian unit |
| (termFormat ChineseTraditionalLanguage AssaultAmphibianUnit "突擊兩棲動物單位") | domainEnglishFormat.kif 8749-8749 | Assault amphibian platoon is a subclass of assault amphibian unit |
| (termFormat EnglishLanguage AssaultAmphibianUnit "assault amphibian unit") | domainEnglishFormat.kif 8748-8748 | 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 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