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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LARUnit

Sigma KEE - LARUnit
LARUnit

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 511-516
(subclass LARUnit MilitaryUnit) MilitaryPersons.kif 509-509 LARUnitMilitaryUnitsubclass では %n

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


(subclass LARBattalion LARUnit) MilitaryPersons.kif 540-540 LARBattalionLARUnitsubclass では %n
(subclass LARPlatoon LARUnit) MilitaryPersons.kif 546-546 LARPlatoonLARUnitsubclass では %n
(termFormat ChineseLanguage LARUnit "LAR单位") domainEnglishFormat.kif 33385-33385
(termFormat ChineseTraditionalLanguage LARUnit "LAR單位") domainEnglishFormat.kif 33384-33384
(termFormat EnglishLanguage LARUnit "LAR unit") domainEnglishFormat.kif 33383-33383

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


(=>
    (instance ?LAR LARUnit)
    (capability CounterReconnaissance agent ?LAR))
MilitaryPersons.kif 526-528
(=>
    (instance ?LAR LARUnit)
    (capability ReconnaissanceOperation agent ?LAR))
MilitaryPersons.kif 520-522
(=>
    (instance ?LAR LARUnit)
    (exists (?LAV)
        (and
            (instance ?LAV LAV)
            (possesses ?LAR ?LAV))))
MilitaryPersons.kif 532-537


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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