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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Spaghetti
Spaghetti

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


(documentation Spaghetti EnglishLanguage "Spaghetti is a long, thin, cylindrical pasta. Spaghetti is made of semolina or flour and water. Italian dried spaghetti is made from durum wheat semolina, but outside of Italy it may be made with other kinds of flour. Traditionally most spaghetti was 50 cm (20ins) long, but shorter lengths gained in popularity during the latter half of the 20th century and now spaghetti is most commonly available in 25–30 cm (10–12 in) lengths. [Wikipedia]") Food.kif 3457-3462
(subclass Spaghetti Pasta) Food.kif 3456-3456

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


(termFormat EnglishLanguage Spaghetti "spaghetti") domainEnglishFormat.kif 65526-65526

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


(=>
    (and
        (instance ?S Spaghetti)
        (instance ?L Linguine)
        (instance ?U UnitOfLength)
        (width ?S
            (MeasureFn ?W1 ?U))
        (width ?L
            (MeasureFn ?W2 ?U)))
    (greaterThan ?W2 ?W1))
Food.kif 2632-2641
(=>
    (and
        (instance ?X Spaghetti)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Spaghetti)
                    (part ?Y ?X)))))
    (attribute ?X LongAndThin))
Food.kif 3464-3472


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