(=>
(instance ?P PeelOrRind)
(exists (?X)
(and
(part ?P ?X)
(instance ?X FruitOrVegetable)
(surface ?P ?X)))) |
Food.kif 2322-2328 |
If X is an instance of peel or rind, then there exists Y such that X is a part of Y, Y is an instance of fruit or vegetable, and X is a surface of Y |
(=>
(and
(instance ?X FruitOrVegetable)
(part ?F ?X)
(instance ?F FleshOrPulp)
(part ?P ?X)
(instance ?P PeelOrRind))
(orientation ?F ?P Inside)) |
Food.kif 2336-2343 |
If X is an instance of fruit or vegetable, Y is a part of X, Y is an instance of flesh or pulp, Z is a part of X, and Z is an instance of peel or rind, then Y is inside the to Z |
(=>
(and
(instance ?X LemonFruit)
(part ?S ?X)
(instance ?S PeelOrRind))
(attribute ?S Yellow)) |
Food.kif 2352-2357 |
If X is an instance of lemon fruit, Y is a part of X, and Y is an instance of peel or rind, then yellow is an attribute of Y |
(=>
(and
(instance ?X OrangeFruit)
(part ?S ?X)
(instance ?S PeelOrRind))
(attribute ?S OrangeColor)) |
Food.kif 2366-2371 |
If X is an instance of orange fruit, Y is a part of X, and Y is an instance of peel or rind, then orange color is an attribute of Y |
(=>
(and
(instance ?X Lime)
(part ?S ?X)
(instance ?S PeelOrRind))
(attribute ?S Green)) |
Food.kif 2375-2380 |
If X is an instance of lime, Y is a part of X, and Y is an instance of peel or rind, then green is an attribute of Y |
