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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArrowProjectile
ArrowProjectile(arrow projectile)
more pictures...
arrow, broad_arrow, butt_shaft, quarrel

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1670-1671
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8349-8349
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8905-8905
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8906-8906
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8907-8907
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8908-8908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1669-1669 Arrow projectile is a subclass of projectile

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8472-8472
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8471-8471
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8470-8470


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