TreeView Knowledge Base Browser

appearance as argument number 1

(documentation FruitOrVegetable ChineseLanguage "这是任何的水果或蔬菜，也就是说是 Plant 成熟的 ReproductiveBody。注：因为有些水果不可食用，如毒草莓，所以 FruitOrVegetable 不是 Food 的子类别。")	chinese_format.kif 3507-3509
(documentation FruitOrVegetable EnglishLanguage "Any fruit or vegetable, i.e. a ripened ReproductiveBody of a Plant. Note that FruitOrVegetable is not a subclass of Food, because some fruits, e.g. poisonous berries, are not edible.")	Merge.kif 15056-15059
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Citrus_medicus_fruit.jpg")	pictureList-ImageNet.kif 889-889
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Fruit_Stall_in_Barcelona_Market.jpg")	pictureList.kif 2176-2176
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ be/ La_Boqueria.JPG/ 250px-La_Boqueria.JPG")	pictureList-ImageNet.kif 890-890
(externalImage FruitOrVegetable "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e0/ Obstkorb.jpg/ 180px-Obstkorb.jpg")	pictureList-ImageNet.kif 891-891
(subclass FruitOrVegetable PlantAnatomicalStructure)	Merge.kif 15054-15054	FruitOrVegetable ist eine teilkategorie von PlantAnatomicalStructure
(subclass FruitOrVegetable ReproductiveBody)	Merge.kif 15055-15055	FruitOrVegetable ist eine teilkategorie von ReproductiveBody

appearance as argument number 2

(initialPart FleshOrPulp FruitOrVegetable)	Food.kif 2311-2311	initialPart FleshOrPulp and FruitOrVegetable
(initialPart Juice FruitOrVegetable)	Food.kif 2596-2596	initialPart Juice and FruitOrVegetable
(initialPart PeelOrRind FruitOrVegetable)	Food.kif 2297-2297	initialPart PeelOrRind and FruitOrVegetable
(subclass Broccoli FruitOrVegetable)	Food.kif 2391-2391	Broccoli ist eine teilkategorie von FruitOrVegetable
(subclass EdibleNut FruitOrVegetable)	Economy.kif 4470-4470	EdibleNut ist eine teilkategorie von FruitOrVegetable
(subclass Fruit FruitOrVegetable)	Food.kif 2175-2175	Fruit ist eine teilkategorie von FruitOrVegetable
(subclass Groundnut FruitOrVegetable)	Economy.kif 4486-4486	Groundnut ist eine teilkategorie von FruitOrVegetable
(subclass Herb FruitOrVegetable)	Food.kif 2154-2154	Herb ist eine teilkategorie von FruitOrVegetable
(subclass Legume FruitOrVegetable)	Economy.kif 4336-4336	Legume ist eine teilkategorie von FruitOrVegetable
(subclass Mushroom FruitOrVegetable)	Food.kif 2684-2684	Mushroom ist eine teilkategorie von FruitOrVegetable
(subclass RootVegetable FruitOrVegetable)	Economy.kif 4287-4287	RootVegetable ist eine teilkategorie von FruitOrVegetable
(subclass Scallion FruitOrVegetable)	Food.kif 3358-3358	Scallion ist eine teilkategorie von FruitOrVegetable
(subclass TeaPlantAerialPart FruitOrVegetable)	Economy.kif 4706-4706	TeaPlantAerialPart ist eine teilkategorie von FruitOrVegetable
(subclass Vegetable FruitOrVegetable)	Economy.kif 4206-4206	Vegetable ist eine teilkategorie von FruitOrVegetable
(termFormat ChineseLanguage FruitOrVegetable "水果或蔬菜")	chinese_format.kif 1014-1014
(termFormat EnglishLanguage FruitOrVegetable "fruit or vegetable")	english_format.kif 1240-1240
(termFormat FrenchLanguage FruitOrVegetable "fruit ou v�g�tal")	french_format.kif 692-692
(termFormat Hindi FruitOrVegetable "phala yaa sabjee")	terms-hindi.txt 223-223
(termFormat ItalianLanguage FruitOrVegetable "FruttaOVerdura")	terms-it.txt 226-226
(termFormat JapaneseLanguage FruitOrVegetable "果物または野菜")	japanese_format.kif 2375-2375
(termFormat PortugueseLanguage FruitOrVegetable "Fruta ou Vegetal")	portuguese_format.kif 644-644
(termFormat cz FruitOrVegetable "fruit or vegetable")	terms-cz.txt 261-261
(termFormat ro FruitOrVegetable "fruct sau legumã")	relations-ro.kif 713-713
(termFormat tg FruitOrVegetable "bunga o gulay")	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

(domainSubclass JuiceOfFn 1 FruitOrVegetable)

Food.kif 2599-2599

Die Zahl 1 Argument von JuiceOfFn ist eine teilkategorie von FruitOrVegetable %n{nicht}

antecedent

(=> (and (attribute ?X Produce) (instance ?X FruitOrVegetable)) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X (FoodForFn Human))))))	Economy.kif 4195-4204	Wenn Produce ist ein attribut von Object %n{nicht} und Object ist ein fall von FruitOrVegetable %n{nicht}, dann Object hat Zweck von es gibt entity um entity ist ein fall von Harvesting %n{nicht} und Object ist ein resultat von entity %n{nicht} und Object ist ein fall von FoodForFn Human %n{nicht} %n{nicht}
(=> (and (instance ?X FruitOrVegetable) (part ?F ?X) (instance ?F FleshOrPulp) (part ?P ?X) (instance ?P PeelOrRind)) (orientation ?F ?P Inside))	Food.kif 2316-2323	Wenn Object ist ein fall von FruitOrVegetable %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von FleshOrPulp %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von PeelOrRind %n{nicht}, dann Object ist Inside hinsichlich Object %n{nicht}

consequent

(=>
    (instance ?P PeelOrRind)
    (exists (?X)
        (and
            (part ?P ?X)
            (instance ?X FruitOrVegetable)
            (surface ?P ?X))))

Food.kif 2302-2308

Wenn SelfConnectedObject ist ein fall von PeelOrRind %n{nicht},
dann es gibt ** SelfConnectedObject um ** SelfConnectedObject ist ein teil von ** ** SelfConnectedObject %n{nicht} und ** ** SelfConnectedObject ist ein fall von FruitOrVegetable %n{nicht} und ** SelfConnectedObject ist eine flaeche von ** ** SelfConnectedObject %n{nicht}

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

KB Term:			Term intersection

English Word: