Penne - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Penne EnglishLanguage "Pasta consisting of medium length tubes with ridges, cut diagonally at both ends. [Wikipedia]")	Food.kif 2761-2762
(subclass Penne Pasta)	Food.kif 2760-2760	Penne is a subclass of pasta

appearance as argument number 2

(termFormat EnglishLanguage Penne "penne")

domainEnglishFormat.kif 65348-65348

antecedent

(=>
    (and
        (instance ?X Penne)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Penne)
                    (part ?Y ?X)))))
    (and
        (exists (?HOLE2)
            (and
                (instance ?HOLE2 HoleRegion)
                (part ?X ?HOLE2)))
        (attribute ?X Fillable)))

Food.kif 2763-2776

If an object is an instance of penne and there doesn't exist another object such that the other object is an instance of penne and the other object is a part of the object,
then there exists a third object such that the third object is an instance of hole and the object is a part of the third object and fillable is an attribute of the object

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

KB Term:			Term intersection

English Word: