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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AmphibiousReconnaissanceUnit

Sigma KEE - AmphibiousReconnaissanceUnit
AmphibiousReconnaissanceUnit(amphibious reconnaissance unit)

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 Amphibious reconnaissance unit is a subclass of military force

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


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

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


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


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