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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bullet
Bullet

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1176-1176
No TPTP formula. May not be expressible in strict first order. pictureList.kif 301-301
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1175-1175 Bullet e' uma sub-classe de Projectile

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12323-12323
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12322-12322
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12321-12321

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1177-1185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1117-1122

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1192-1200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1205-1215


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