Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Herb PlantSubstance) | Food.kif 2173-2173 | Herb is a subclass of plant substance |
| (subclass Herb FruitOrVegetable) | Food.kif 2174-2174 | Herb is a subclass of fruit or vegetable |
| (documentation Herb EnglishLanguage "A Herb is a PlantSubstance. They generally refers to the leafy green or flowering parts of a plant.") | Food.kif 2175-2176 | Herb is a subclass of fruit or vegetable |
| (documentation Herb EnglishLanguage "A herb (except in %&Botany) is any plant that is valued for its flavor, scent, medicinal, or other qualities.") | Society.kif 1314-1314 | Herb is a subclass of fruit or vegetable |
| (subclass Herb FloweringPlant) | Society.kif 1315-1315 | Herb is a subclass of flowering plant |
| appearance as argument number 2 |
|
|
| (subclass Basil Herb) | Food.kif 2186-2186 | Basil is a subclass of herb |
| (subclass Cilantro Herb) | Food.kif 2549-2549 | Cilantro is a subclass of herb |
| (subclass Mint Herb) | Food.kif 2698-2698 | Mint is a subclass of herb |
| (subclass Mustard Herb) | Food.kif 2722-2722 | Mustard is a subclass of herb |
| (subclass Parsley Herb) | Food.kif 2759-2759 | Parsley is a subclass of herb |
| (termFormat EnglishLanguage Herb "herb") | domainEnglishFormat.kif 64979-64979 | Parsley is a subclass of herb |
| antecedent |
|
|
| (=> (and (instance ?H Harvesting) (result ?H ?X) (instance ?X Herb)) (attribute ?X Produce)) |
Food.kif 2179-2184 | If X is an instance of harvesting, Y is a result of X, and Y is an instance of herb, then produce is an attribute of Y |
|