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 699-703
(subclass Pasta PreparedFood) Food.kif 698-698

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


(subclass Couscous Pasta) Food.kif 514-514
(subclass Linguine Pasta) Food.kif 598-598
(subclass Penne Pasta) Food.kif 712-712
(subclass Spaghetti Pasta) Food.kif 873-873
(subclass Ziti Pasta) Food.kif 1061-1061

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


(=>
    (and
        (instance ?X Pasta)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Pasta)
                    (part ?Y ?X)))))
    (attribute ?X LongAndThin))
Food.kif 600-608
(=>
    (instance ?P Pasta)
    (material Flour ?P))
Food.kif 705-707


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