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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChocolateCandy

Sigma KEE - ChocolateCandy
ChocolateCandy

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


(documentation ChocolateCandy EnglishLanguage "A ChocolateCandy is a candy made of Sugar and Choclate.") Food.kif 2494-2494
(subclass ChocolateCandy Chocolate) Food.kif 2495-2495 ChocolateCandyChocolatesubclass では %n

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


(termFormat ChineseLanguage ChocolateCandy "巧克力糖") Food.kif 2497-2497
(termFormat ChineseTraditionalLanguage ChocolateCandy " 巧克力糖") Food.kif 2498-2498
(termFormat EnglishLanguage ChocolateCandy "chocolate candy") Food.kif 2496-2496

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


(=>
    (instance ?CHOC ChocolateCandy)
    (and
        (material CocoaLiquor ?CHOC)
        (material Oil ?CHOC)
        (material Sugar ?CHOC)))
Food.kif 2500-2505

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


(=>
    (instance ?X BoxOfChocolates)
    (exists (?B ?C)
        (and
            (instance ?B Box)
            (instance ?C ChocolateCandy)
            (contains ?B ?C)
            (member ?C ?X))))
Food.kif 2515-2522


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