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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pasta

Sigma KEE - Pasta
Pasta

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


(documentation Pasta EnglishLanguage "Pasta is a generic term for a boiled food of different shapes made from an unleavened dough of wheat or buckwheat flour and water, sometimes with other ingredients such as eggs and vegetable extracts. Pastas include varieties that are filled with other ingredients like ravioli and tortellini. [Wikipedia]") Food.kif 2738-2742
(subclass Pasta PreparedFood) Food.kif 2737-2737 Pasta è una sottoclasse di PreparedFood

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


(subclass Couscous Pasta) Food.kif 2540-2540 Couscous è una sottoclasse di Pasta
(subclass Linguine Pasta) Food.kif 2620-2620 Linguine è una sottoclasse di Pasta
(subclass Penne Pasta) Food.kif 2760-2760 Penne è una sottoclasse di Pasta
(subclass Spaghetti Pasta) Food.kif 3456-3456 Spaghetti è una sottoclasse di Pasta
(subclass Ziti Pasta) Food.kif 3648-3648 Ziti è una sottoclasse di Pasta
(termFormat EnglishLanguage Pasta "pasta") domainEnglishFormat.kif 65296-65296

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


(=>
    (and
        (instance ?X Pasta)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Pasta)
                    (part ?Y ?X)))))
    (attribute ?X LongAndThin))
Food.kif 2622-2630
(=>
    (instance ?P Pasta)
    (exists (?D ?C)
        (and
            (instance ?D Dough)
            (instance ?C Cooking)
            (resource ?C ?D)
            (result ?C ?P))))
Food.kif 2748-2755
(=>
    (instance ?P Pasta)
    (material WheatFlour ?P))
Food.kif 2744-2746


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