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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LARUnit
LARUnit(LAR unit)

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


s__documentation(s__LARUnit,s__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 511-516
s__instance(s__LARUnit,s__SetOrClass)

s__instance(s__MilitaryUnit,s__SetOrClass)

s__subclass(s__LARUnit,s__MilitaryUnit)

MilitaryPersons.kif 509-509 LAR unit is a subclass of military unit

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


s__instance(s__LARUnit,s__SetOrClass)

s__subclass(s__LARBattalion,s__LARUnit)

s__instance(s__LARBattalion,s__SetOrClass)

MilitaryPersons.kif 540-540 LAR battalion is a subclass of LAR unit
s__instance(s__LARUnit,s__SetOrClass)

s__subclass(s__LARPlatoon,s__LARUnit)

s__instance(s__LARPlatoon,s__SetOrClass)

MilitaryPersons.kif 546-546 LAR platoon is a subclass of LAR unit
s__termFormat(s__ChineseLanguage,s__LARUnit,'"LAR单位"')

domainEnglishFormat.kif 33372-33372
s__termFormat(s__ChineseTraditionalLanguage,s__LARUnit,'"LAR單位"')

domainEnglishFormat.kif 33371-33371
s__termFormat(s__EnglishLanguage,s__LARUnit,'"LAR unit"')

domainEnglishFormat.kif 33370-33370

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


( ! [V__LAR] :
   ((s__instance(V__LAR,s__LARUnit) =>
       (s__capability(s__CounterReconnaissance,s__agent__m,V__LAR)))
   )
)

MilitaryPersons.kif 526-528
( ! [V__LAR] :
   ((s__instance(V__LAR,s__LARUnit) =>
       (s__capability(s__ReconnaissanceOperation,s__agent__m,V__LAR)))
   )
)

MilitaryPersons.kif 520-522
( ! [V__LAR] :
   ((s__instance(V__LAR,s__LARUnit) =>
       (( ? [V__LAV] :
           ((s__instance(V__LAV,s__LAV) &
               s__possesses(V__LAR,V__LAV))))))
   )
)

MilitaryPersons.kif 532-537


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