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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RevolverGun
RevolverGun(revolver gun)
more pictures...		revolver, six-gun, six-shooter

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1617-1618
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8685-8685
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9596-9596
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9597-9597
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9598-9598
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9599-9599
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9600-9600
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9601-9601
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1616-1616 Revolver gun is a subclass of pistol

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49880-49880
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49879-49879
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49878-49878


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