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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PeelOrRind
PeelOrRind(peel or rind)

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 Every peel or rind is initially part of a fruit or vegetable
(subclass PeelOrRind PlantSubstance) Food.kif 2296-2296 Peel or rind is a subclass of plant substance

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