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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Poppy
Poppy(poppy)
more pictures...		Argemone_mexicana, California_poppy, California_tree_poppy, Dendromecon, Eschscholtzia_californica, Flanders_poppy, Glaucium, Glaucium_flavum, Iceland_poppy, Macleaya_cordata, Meconopsis_betonicifolia, Meconopsis_cambrica, Mexican_poppy, Papaver, Papaver_alpinum, Papaver_argemone, Papaver_californicum, Papaver_heterophyllum, Papaver_nudicaule, Papaver_orientale, Papaver_rhoeas, Papaveraceae, Romneya_coulteri, Stylomecon_heterophyllum, Stylophorum_diphyllum, Welsh_poppy, arctic_poppy, argemone, blue_poppy, bocconia, bush_poppy, celandine_poppy, corn_poppy, devil's_fig, family_Papaveraceae, field_poppy, flaming_poppy, genus_Argemone, genus_Dendromecon, genus_Glaucium, genus_Papaver, horn_poppy, horned_poppy, matilija_poppy, oriental_poppy, plume_poppy, poppy, poppy_family, prickly_poppy, sea_poppy...

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


No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 784-784
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 770-770
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 822-822
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 777-777
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6782-6782
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 800-800
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 762-762
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 821-821
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 753-753
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 783-783
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 754-754
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7605-7605
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 774-774
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7606-7606
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 780-780
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7607-7607
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7608-7608
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 819-819
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7609-7609
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 797-797
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 816-816
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 794-794
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 804-804
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 785-785
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 808-808

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. Economy.kif 4862-4862 Opium poppy is a subclass of poppy
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46639-46639
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46638-46638
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46637-46637


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