| 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