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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - externalImage
externalImage

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 695-695
No TPTP formula. May not be expressible in strict first order. Merge.kif 693-694
No TPTP formula. May not be expressible in strict first order. Merge.kif 696-696 The number 1 argument of externalImage is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 697-697 The number 2 argument of externalImage is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 692-692 externalImage is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 856-856

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 327-327 "http://upload.wikimedia.org/wikipedia/commons/0/05/ R-3_Air-to-Air_Missile.jpg" is a URL depicting AA m
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4476-4476 "http://upload.wikimedia.org/wikipedia/commons/7/7d/ AAM-4.jpg" is a URL depicting AA m
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 326-326 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4e/ MiG-21_RB17.JPG/ 800px-MiG-21_RB17.JPG" is a URL depicting AA m
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 328-328 "http://upload.wikimedia.org/wikipedia/en/thumb/f/f1/ USAF_F-15C_fires_AIM-7_Sparrow_2.jpg/ 600px-USAF_F-15C_fires_AIM-7_Sparrow_2.jpg" is a URL depicting AA m
No TPTP formula. May not be expressible in strict first order. pictureList.kif 205-205 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ Marines/ AAV.png" is a URL depicting AA v
No TPTP formula. May not be expressible in strict first order. pictureList.kif 206-206 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ missles_bombs/ AGM-65.png" is a URL depicting AG m
No TPTP formula. May not be expressible in strict first order. pictureList.kif 207-207 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ missles_bombs/ AGM-65.png" is a URL depicting AG m114
No TPTP formula. May not be expressible in strict first order. pictureList.kif 208-208 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ missles_bombs/ AGM-65.png" is a URL depicting AG m65
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 553-553 "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Northrop_YF-5A_with_sidewinder_missiles_060905-F-1234S-003.jpg" is a URL depicting AI m9
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 549-549 "http://upload.wikimedia.org/wikipedia/commons/b/be/ AIM-120_AMRAAM_and_AIM-9_Sidewinder.JPG" is a URL depicting AI m9
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 551-551 "http://upload.wikimedia.org/wikipedia/commons/e/ed/ AIM_9M_Sidewinder_p1220807.jpg" is a URL depicting AI m9
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 548-548 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 66/ Sidewider_missile_20040710_145400_1.4.jpg/ 800px-Sidewider_missile_20040710_145400_1.4.jpg" is a URL depicting AI m9
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 552-552 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6f/ AIM-9_Sidewinder_on_AMX.JPG/ 800px-AIM-9_Sidewinder_on_AMX.JPG" is a URL depicting AI m9
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 550-550 "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a9/ AIM_9L_Sidewinder_p1220802.jpg/ 800px-AIM_9L_Sidewinder_p1220802.jpg" is a URL depicting AI m9
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 330-330 "http://upload.wikimedia.org/wikipedia/commons/7/7c/ M113-fort-jackson-1966.jpg" is a URL depicting AP c
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 340-340 "http://upload.wikimedia.org/wikipedia/commons/8/83/ Swedish_Pbv_302_IFOR_Bosnia.jpg" is a URL depicting AP c
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 338-338 "http://upload.wikimedia.org/wikipedia/commons/d/dc/ LAV25-1.jpg" is a URL depicting AP c
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 337-337 "http://upload.wikimedia.org/wikipedia/commons/e/e1/ British_Mark_IX_Armoured_Personnel_Carrier.jpg" is a URL depicting AP c
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 336-336 "http://upload.wikimedia.org/wikipedia/commons/e/e1/ JGSDF_Type60_APC.jpg" is a URL depicting AP c
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1033-1033 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 19/ VAB_armoured_personnel_carrier_DSC00846.jpg/ 200px-VAB_armoured_personnel_carrier_DSC00846.jpg" is a URL depicting AP c
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 334-334 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 19/ VAB_armoured_personnel_carrier_DSC00846.jpg/ 800px-VAB_armoured_personnel_carrier_DSC00846.jpg" is a URL depicting AP c
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 341-341 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 56/ Armenian_Presidential_Elections_2008_Protest_Day_11_-_French_Embassy_Demonstration_APC_130pm.jpg/ 800px-Armenian_Presidential_Elections_2008_Protest_Day_11_-_French_Embassy_Demonstration_APC_130pm.jpg" is a URL depicting AP c
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 332-332 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 5f/ Bt7_6.jpg/ 180px-Bt7_6.jpg" is a URL depicting AP c
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 339-339 "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a7/ Armored-car-batey-haosef-9-1.jpg/ 800px-Armored-car-batey-haosef-9-1.jpg" is a URL depicting AP c
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 333-333 "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b0/ Schweizer_Armee_Universal_Carrier.jpg/ 120px-Schweizer_Armee_Universal_Carrier.jpg" is a URL depicting AP c

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners