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)
air-to-ground_missile, air-to-surface_missile

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 is a subclass of air launch missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1124-1124 AG m is a subclass of ground attack missile

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1203-1203 AG m114 is a subclass of AG m
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1136-1136 AG m65 is a subclass of AG m
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