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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GuidedMissile

Sigma KEE - GuidedMissile
GuidedMissile(guided missile)
more pictures...
guided_missile, heat-seeking_missile

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 Guided missile is a subclass of missile

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1171-1171 Air-to-air missile is a subclass of guided missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1090-1090 Beam ridingG missile is a subclass of guided missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1065-1065 Infra redG missile is a subclass of guided missile
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