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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FruitOrVegetable
FruitOrVegetable(fruit or vegetable)
Barbados_gooseberry, Bermuda_onion, Chinese_anise, Chinese_cabbage, Chinese_celery, Chinese_date, Chinese_gooseberry, Chinese_jujube, Darjeeling, European_blueberry, French_sorrel, Hottentot's_bread, Hottentot_bread, Indian_meal, Jamaica_apple, Japanese_plum, Jerusalem_artichoke, Mexican_black_cherry, Mexican_husk_tomato, Savoy, Spanish_lime, Spanish_onion, Spanish_paprika, Swiss_chard, Victoria_plum, Vidalia_onion, West_Indian_cherry, acerola, achene, achenial, ackee, akee, amarelle, anchovy_pear, angelica, angiocarpic, angiocarpous, anise, anise_seed, aniseed, annon, apple_of_discord, apricot, artichoke, artichoke_heart, ascocarpous, asparagus, avellan, avellane, banana_peel...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3507-3509
No TPTP formula. May not be expressible in strict first order. Merge.kif 15056-15059
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 889-889
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2176-2176
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 890-890
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 891-891
No TPTP formula. May not be expressible in strict first order. Merge.kif 15054-15054 Fruit or vegetable is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 15055-15055 Fruit or vegetable is a subclass of reproductive body

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2311-2311 Every flesh or pulp is initially part of a fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2596-2596 Every juice is initially part of a fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2297-2297 Every peel or rind is initially part of a fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2391-2391 Broccoli is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4470-4470 Edible nut is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2175-2175 Fruit is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4486-4486 Groundnut is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2154-2154 Herb is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4336-4336 Legume is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2684-2684 Mushroom is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4287-4287 Root vegetable is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 3358-3358 Scallion is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4706-4706 Tea plant aerial part is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4206-4206 Vegetable is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1014-1014
No TPTP formula. May not be expressible in strict first order. english_format.kif 1240-1240
No TPTP formula. May not be expressible in strict first order. french_format.kif 692-692
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 223-223
No TPTP formula. May not be expressible in strict first order. terms-it.txt 226-226
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2375-2375
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 644-644
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 261-261
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 713-713
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 227-227

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 2599-2599 The number 1 argument of juice of fn is a subclass of fruit or vegetable

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4195-4204
No TPTP formula. May not be expressible in strict first order. Food.kif 2316-2323