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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Missile
Missile(missile)
more pictures...
missile

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17725-17726
No TPTP formula. May not be expressible in strict first order. pictureList.kif 597-597
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 465-465
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 491-491
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 487-487
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 456-456
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 467-467
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 458-458
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 477-477
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 492-492
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 444-444
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 475-475
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 482-482
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 488-488
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 486-486
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 478-478
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 451-451
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 479-479
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 446-446
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 455-455
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 457-457
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 461-461
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 484-484
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 483-483
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 474-474

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 969-969 Air attack missile is a subclass of missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 939-939 Air launch missile is a subclass of missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 885-885 Anti tank missile is a subclass of missile
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17735-17735 Ballistic missile is a subclass of missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 670-670 Dragon weapon is a subclass of missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 992-992 Ground attack missile is a subclass of missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 957-957 Ground launch missile is a subclass of missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1015-1015 Guided missile is a subclass of missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 720-720 Javelin weapon is a subclass of missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 780-780 SMAW bunker buster is a subclass of missile
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38031-38031
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38030-38030
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38029-38029

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17728-17733

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 179-188


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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