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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rifle
Rifle

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


(documentation Rifle EnglishLanguage "A Firearm with a Longgun that is designed for accurate Shooting and higher stopping power, with a barrel that has a helical or spiralling pattern of grooves (rifling) cut into the bore wall.In keeping with their focus on accuracy,rifles are typically designed to be held with both hands and braced firmly against the shooter's shoulder via a buttstock for stability during shooting.[Wikipedia]") Mid-level-ontology.kif 1960-1964
(externalImage Rifle "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4d/ Springfield_1903_rifle.jpeg/ 350px_Springfield_1903_rifle.jpeg") pictureList.kif 1236-1236
(subclass Rifle Longgun) Mid-level-ontology.kif 1959-1959

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


(termFormat ChineseLanguage Rifle "步枪") domainEnglishFormat.kif 50021-50021
(termFormat ChineseTraditionalLanguage Rifle "步槍") domainEnglishFormat.kif 50020-50020
(termFormat EnglishLanguage Rifle "rifle") domainEnglishFormat.kif 50019-50019

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


(=>
    (instance ?G Rifle)
    (exists (?B ?P)
        (and
            (instance ?B GunBore)
            (properPart ?B ?G)
            (superficialPart ?P ?B)
            (orientation ?P ?B Inside)
            (not
                (attribute ?P Smooth)))))
Mid-level-ontology.kif 1966-1975


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