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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AgencyForTheFrenchSpeakingCommunity

Sigma KEE - M242
M242(M242)

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 282-283 測量 25.0 and 毫米M242caliber
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 267-278
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1167-1167
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 264-264 子類 M242 and 反裝甲武器
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 265-265 子類 M242 and 鏈槍

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35417-35417
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35416-35416
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2041-2041
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35415-35415

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 287-290
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 294-297

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1558-1562


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