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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Food
Food

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


(documentation Food EnglishLanguage "Food that is fit for Human.") Merge.kif 15025-15025
(equal Food
    (FoodForFn Human))		 Merge.kif 15026-15026 equal Food and food for Human
(subclass Food SelfConnectedObject) Merge.kif 15027-15027 子類 Food and SelfConnectedObject

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


(relatedInternalConcept Nutrient Food) Merge.kif 14836-14836 相關的內部概念 Nutrient and Food
(subclass FoodFromPlant Food) Food.kif 294-294 子類 FoodFromPlant and Food
(subclass Meat Food) Food.kif 291-291 子類 Meat and Food
(subclass PreparedFood Food) Food.kif 308-308 子類 已準備食物 and Food
(termFormat EnglishLanguage Food "food") domainEnglishFormat.kif 64871-64871 子類 已準備食物 and Food
(termFormat FrenchLanguage Food "nourriture") french_format.kif 690-690 子類 已準備食物 and Food
(termFormat Hindi Food "aahaara") terms-hindi.txt 221-221 子類 已準備食物 and Food
(termFormat ItalianLanguage Food "Cibo") terms-it.txt 224-224 子類 已準備食物 and Food
(termFormat PortugueseLanguage Food "Comida") portuguese_format.kif 642-642 子類 已準備食物 and Food
(termFormat cb Food "pagkaon") terms-cb.txt 226-226 子類 已準備食物 and Food
(termFormat cz Food "food") terms-cz.txt 259-259 子類 已準備食物 and Food
(termFormat de Food "Nahrung") terms-de.txt 518-518 子類 已準備食物 and Food
(termFormat ro Food "hranã") relations-ro.kif 711-711 子類 已準備食物 and Food
(termFormat tg Food "pagkain") terms-tg.txt 225-225 子類 已準備食物 and Food

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


(domain roastedToTemperature 1 Food) Food.kif 464-464 域 roastedToTemperature, 1 and Food

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