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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Penne

Sigma KEE - Penne
Penne(penne)penne

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 65300-65300

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


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