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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmphibiousReconnaissanceUnit
AmphibiousReconnaissanceUnit

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


(documentation AmphibiousReconnaissanceUnit EnglishLanguage "A unit organized, equipped, and trained to conduct and support amphibious reconnaissance missions. An amphibious reconnaissance unit is made up of a number of amphibious reconnaissance teams.") MilitaryProcesses.kif 793-796
(subclass AmphibiousReconnaissanceUnit MilitaryForce) MilitaryProcesses.kif 792-792

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


(termFormat ChineseLanguage AmphibiousReconnaissanceUnit "两栖侦察部队") domainEnglishFormat.kif 7281-7281
(termFormat ChineseTraditionalLanguage AmphibiousReconnaissanceUnit "兩棲偵察部隊") domainEnglishFormat.kif 7280-7280
(termFormat EnglishLanguage AmphibiousReconnaissanceUnit "amphibious reconnaissance unit") domainEnglishFormat.kif 7279-7279

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


(=>
    (instance ?ARU AmphibiousReconnaissanceUnit)
    (hasPurpose ?ARU
        (exists (?AR)
            (and
                (instance ?AR AmphibiousReconnaissance)
                (agent ?AR ?ARU)))))
MilitaryProcesses.kif 800-806


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