| appearance as argument number 1 |
|
| (documentation LARUnit EnglishLanguage "A military unit capable of conducting combined armed reconnaissance and security operations to establish a designated secure area, provide combat information, reaction time, and maneuver space. On order, it conducts combined arms offensive and defensive economy of force operations to preserve combat power. The primary weapon system is the LAV.") | MilitaryPersons.kif 525-530 | |
| (subclass LARUnit MilitaryUnit) | MilitaryPersons.kif 523-523 | LARUnit は MilitaryUnit の subclass では |
| appearance as argument number 2 |
|
|
| (subclass LARBattalion LARUnit) | MilitaryPersons.kif 554-554 | LARBattalion は LARUnit の subclass では |
| (subclass LARPlatoon LARUnit) | MilitaryPersons.kif 560-560 | LARPlatoon は LARUnit の subclass では |
| (termFormat ChineseLanguage LARUnit "LAR单位") | domainEnglishFormat.kif 33396-33396 | LARPlatoon は LARUnit の subclass では |
| (termFormat ChineseTraditionalLanguage LARUnit "LAR單位") | domainEnglishFormat.kif 33395-33395 | LARPlatoon は LARUnit の subclass では |
| (termFormat EnglishLanguage LARUnit "LAR unit") | domainEnglishFormat.kif 33394-33394 | LARPlatoon は LARUnit の subclass では |
| antecedent |
|
|
| (=> (instance ?LAR LARUnit) (capability CounterReconnaissance agent ?LAR)) |
MilitaryPersons.kif 540-542 | |
| (=> (instance ?LAR LARUnit) (capability ReconnaissanceOperation agent ?LAR)) |
MilitaryPersons.kif 534-536 | |
| (=> (instance ?LAR LARUnit) (exists (?LAV) (and (instance ?LAV LAV) (possesses ?LAR ?LAV)))) |
MilitaryPersons.kif 546-551 |
|
|
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