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


KB Term:  Term intersection
English Word: 

  WineGrape

 Sigma KEE - WineGrape
WineGrape(wine grape)Vitis_vinifera, common_grape_vine, vinifera, vinifera_grape

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


(subclass WineGrape Fruit) Economy.kif 5065-5065 Wine grape is a subclass of fruit
(documentation WineGrape EnglishLanguage "A Class of Grape for which its Juice is used for the Fermentation of Wine.") Food.kif 3726-3727 Wine grape is a subclass of fruit
(subclass WineGrape
    (FoodForFn Animal))		 Food.kif 3728-3728 Wine grape is a subclass of food for animal
(subclass WineGrape Grape) Food.kif 3729-3729 Wine grape is a subclass of grape
(subclass WineGrape PlantAgriculturalArtifact) Society.kif 999-999 Wine grape is a subclass of PlantAgriculturalArtifact

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


(subclass CabernetSauvignonGrape WineGrape) Society.kif 1246-1246 Cabernet sauvignon grape is a subclass of wine grape
(subclass ChardonnayGrape WineGrape) Society.kif 1247-1247 Chardonnay grape is a subclass of wine grape
(subclass GamayGrape WineGrape) Society.kif 1248-1248 Gamay grape is a subclass of wine grape
(subclass LambruscoGrape WineGrape) Society.kif 1249-1249 Lambrusco grape is a subclass of wine grape
(subclass MalbecGrape WineGrape) Society.kif 1250-1250 Malbec grape is a subclass of wine grape
(subclass MerlotGrape WineGrape) Society.kif 1251-1251 Merlot grape is a subclass of wine grape
(subclass MontepulcianoGrape WineGrape) Society.kif 1252-1252 Montepulciano grape is a subclass of wine grape
(subclass PinotNoirGrape WineGrape) Society.kif 1253-1253 Pinot noir grape is a subclass of wine grape
(subclass SangioveseGrape WineGrape) Society.kif 1254-1254 Sangiovese grape is a subclass of wine grape
(subclass SyrahGrape WineGrape) Society.kif 1255-1255 Syrah grape is a subclass of wine grape
(subclass MuscadetGrape WineGrape) Society.kif 1256-1256 Muscadet grape is a subclass of wine grape
(subclass MuscatGrape WineGrape) Society.kif 1257-1257 Muscat grape is a subclass of wine grape
(subclass PinotGrisGrape WineGrape) Society.kif 1258-1258 Pinot gris grape is a subclass of wine grape
(subclass SauvignonBlancGrape WineGrape) Society.kif 1259-1259 Sauvignon blanc grape is a subclass of wine grape
(subclass SemillonGrape WineGrape) Society.kif 1260-1260 Semillon grape is a subclass of wine grape
(subclass ViognierGrape WineGrape) Society.kif 1261-1261 Viognier grape is a subclass of wine grape
(subclass ZinfandelGrape WineGrape) Society.kif 1262-1262 Zinfandel grape is a subclass of wine grape
(termFormat EnglishLanguage WineGrape "wine grape") domainEnglishFormat.kif 63172-63172 Zinfandel grape is a subclass of wine grape
(termFormat ChineseTraditionalLanguage WineGrape "釀酒葡萄") domainEnglishFormat.kif 63173-63173 Zinfandel grape is a subclass of wine grape
(termFormat ChineseLanguage WineGrape "酿酒葡萄") domainEnglishFormat.kif 63174-63174 Zinfandel grape is a subclass of wine grape

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


(=>
    (equal ?P
        (PlantFn WineGrape))
    (subclass ?P GrapeVine))		 Economy.kif 5067-5070 If equal X and plant fn wine grape, then X is a subclass of grape vine
(=>
    (and
        (instance ?F Fermentation)
        (patient ?F ?X)
        (instance ?X
            (JuiceOfFn WineGrape))
        (result ?F ?W))
    (instance ?W Wine))		 Food.kif 3731-3738 If X is an instance of fermentation, Y is a patient of X, Y is an instance of the juice of wine grape, and Z is a result of X, then Z is an instance of wine

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


(=>
    (instance ?W Wine)
    (exists (?F ?WG)
        (and
            (instance ?F Fermentation)
            (instance ?WG
                (JuiceOfFn WineGrape))
            (resource ?F ?WG)
            (result ?F ?W))))		 Society.kif 1180-1187 If X is an instance of wine, then there exist Y, Z such that Y is an instance of fermentation, Z is an instance of the juice of wine grape, Z is a resource for Y, and X is a result of Y