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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PeelOrRind
PeelOrRind

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


(documentation PeelOrRind EnglishLanguage "PeelOrRind is the surface of a fruit or vegetable.") Food.kif 2298-2299
(initialPart PeelOrRind FruitOrVegetable) Food.kif 2297-2297
(subclass PeelOrRind PlantSubstance) Food.kif 2296-2296

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


(termFormat EnglishLanguage PeelOrRind "peel or rind") Food.kif 2300-2300

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


(=>
    (and
        (instance ?X FruitOrVegetable)
        (part ?F ?X)
        (instance ?F FleshOrPulp)
        (part ?P ?X)
        (instance ?P PeelOrRind))
    (orientation ?F ?P Inside))
Food.kif 2316-2323
(=>
    (and
        (instance ?X LemonFruit)
        (part ?S ?X)
        (instance ?S PeelOrRind))
    (attribute ?S Yellow))
Food.kif 2332-2337
(=>
    (and
        (instance ?X Lime)
        (part ?S ?X)
        (instance ?S PeelOrRind))
    (attribute ?S Green))
Food.kif 2355-2360
(=>
    (and
        (instance ?X OrangeFruit)
        (part ?S ?X)
        (instance ?S PeelOrRind))
    (attribute ?S OrangeColor))
Food.kif 2346-2351
(=>
    (instance ?P PeelOrRind)
    (exists (?X)
        (and
            (part ?P ?X)
            (instance ?X FruitOrVegetable)
            (surface ?P ?X))))
Food.kif 2302-2308


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