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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Food
Food(nourriture)

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


(documentation Food EnglishLanguage "Food that is fit for Human.") Merge.kif 14976-14976
(equal Food
    (FoodForFn Human))		 Merge.kif 14977-14977 Nourriture est FoodForFn humain
(subclass Food SelfConnectedObject) Merge.kif 14978-14978 Nourriture est une sous-classe de objet en une partie

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


(relatedInternalConcept Nutrient Food) Merge.kif 14787-14787 Nutriment est reli� � l'int�rieur de SUMO � nourriture
(subclass FoodFromPlant Food) Food.kif 294-294 FoodFromPlant est une sous-classe de nourriture
(subclass Meat Food) Food.kif 291-291 Viande est une sous-classe de nourriture
(subclass PreparedFood Food) Food.kif 308-308 PreparedFood est une sous-classe de nourriture
(termFormat EnglishLanguage Food "food") domainEnglishFormat.kif 64900-64900 PreparedFood est une sous-classe de nourriture
(termFormat FrenchLanguage Food "nourriture") french_format.kif 690-690 PreparedFood est une sous-classe de nourriture
(termFormat Hindi Food "aahaara") terms-hindi.txt 221-221 PreparedFood est une sous-classe de nourriture
(termFormat ItalianLanguage Food "Cibo") terms-it.txt 224-224 PreparedFood est une sous-classe de nourriture
(termFormat PortugueseLanguage Food "Comida") portuguese_format.kif 642-642 PreparedFood est une sous-classe de nourriture
(termFormat cb Food "pagkaon") terms-cb.txt 226-226 PreparedFood est une sous-classe de nourriture
(termFormat cz Food "food") terms-cz.txt 259-259 PreparedFood est une sous-classe de nourriture
(termFormat de Food "Nahrung") terms-de.txt 518-518 PreparedFood est une sous-classe de nourriture
(termFormat ro Food "hranã") relations-ro.kif 711-711 PreparedFood est une sous-classe de nourriture
(termFormat tg Food "pagkain") terms-tg.txt 225-225 PreparedFood est une sous-classe de nourriture

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


(domain roastedToTemperature 1 Food) Food.kif 464-464 Le nombre 1 argument de roastedToTemperature est une instance de nourriture

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


(=>
    (and
        (attribute ?F DecafAttribute)
        (instance ?F Food))
    (not
        (exists (?C)
            (and
                (instance ?C Caffeine)
                (piece ?C ?F)))))		 Food.kif 437-445
(=>
    (and
        (instance ?C CuringFood)
        (instance ?F Food)
        (patient ?C ?F))
    (exists (?D)
        (and
            (instance ?D Drying)
            (subProcess ?D ?C)
            (patient ?D ?F))))		 Food.kif 96-105
(=>
    (and
        (instance ?F Food)
        (attribute ?F CaffeinatedAttribute))
    (exists (?CAF)
        (and
            (instance ?CAF Caffeine)
            (piece ?CAF ?F))))		 Food.kif 411-418
(=>
    (and
        (instance ?F Food)
        (attribute ?F DecafAttribute)
        (piece ?C ?F)
        (instance ?C Caffeine))
    (exists (?R)
        (and
            (instance ?R Removing)
            (destination ?R ?F)
            (patient ?R ?C))))		 Food.kif 425-435
(=>
    (and
        (instance ?P PreservingFood)
        (instance ?F Food)
        (patient ?P ?F))
    (hasPurpose ?P
        (not
            (exists (?D)
                (and
                    (instance ?D ChemicalDecomposition)
                    (patient ?D ?F))))))		 Food.kif 191-201
(=>
    (and
        (instance ?X DryRoasting)
        (instance ?F Food)
        (patient ?X ?F))
    (holdsDuring ?X
        (exists (?H ?S)
            (and
                (instance ?H Heating)
                (instance ?S Stirring)
                (subProcess ?H ?X)
                (subProcess ?S ?X)
                (during
                    (WhenFn ?S)
                    (WhenFn ?H))
                (patient ?H ?F)
                (patient ?S ?F)
                (not
                    (exists (?O ?W)
                        (and
                            (instance ?O Oil)
                            (instance ?W DrinkingWater)
                            (patient ?X ?O)
                            (patient ?X ?W))))))))		 Food.kif 128-151

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


(=>
    (and
        (instance ?A PreparedFoodAttribute)
        (attribute ?F ?A))
    (instance ?F Food))		 Food.kif 24-28
(=>
    (instance ?C CuringFood)
    (exists (?F ?P ?S)
        (and
            (instance ?F Food)
            (patient ?C ?F)
            (instance ?P Putting)
            (subProcess ?P ?C)
            (instance ?S SodiumChloride)
            (patient ?P ?S)
            (destination ?P ?F))))		 Food.kif 84-94


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