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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AGM

 Sigma KEE - AGM
AGM(AG m)

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1125-1134
No TPTP formula. May not be expressible in strict first order. pictureList.kif 206-206
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1123-1123 AG m 是 空中发射导弹 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1124-1124 AG m 是 地面攻击导弹 的 subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1203-1203 AG m114 是 AG m 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1136-1136 AG m65 是 AG m 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5862-5862
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5861-5861
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5860-5860
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2068-2068


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