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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GuidedMissile

Sigma KEE - GuidedMissile
GuidedMissile(导弹)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1017-1047
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 432-432
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 435-435
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 430-430
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 434-434
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 431-431
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 433-433
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1015-1015 导弹导弹subclass

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1171-1171 AAM导弹subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1090-1090 束骑导弹导弹subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1065-1065 红外导弹导弹subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26964-26964
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26963-26963
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26962-26962

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1051-1063


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