Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Cotton
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Cotton PlantAnatomicalStructure) | Mid-level-ontology.kif 6565-6565 | Cotton is a subclass of plant anatomical structure |
| (documentation Cotton EnglishLanguage "Fibers from the cotton plant that are used in Making CottonFabric.") | Mid-level-ontology.kif 6566-6567 | Cotton is a subclass of plant anatomical structure |
| (subclass Cotton PlantAgriculturalArtifact) | Society.kif 1040-1040 | Cotton is a subclass of PlantAgriculturalArtifact |
| appearance as argument number 2 |
|
|
| (industryProductType CottonFarming Cotton) | Economy.kif 6632-6632 | Cotton is an industry product type of cotton farming |
| (termFormat EnglishLanguage Cotton "cotton") | domainEnglishFormat.kif 17490-17490 | Cotton is an industry product type of cotton farming |
| (termFormat ChineseTraditionalLanguage Cotton "棉") | domainEnglishFormat.kif 17491-17491 | Cotton is an industry product type of cotton farming |
| (termFormat ChineseLanguage Cotton "棉") | domainEnglishFormat.kif 17492-17492 | Cotton is an industry product type of cotton farming |
| consequent |
|
|
| (=> (instance ?F CottonFabric) (exists (?M ?C) (and (instance ?M Making) (resource ?M ?C) (instance ?C Cotton) (result ?M ?F)))) |
Mid-level-ontology.kif 6572-6579 | If X is an instance of cotton fabric, then there exist Y, Z such that Y is an instance of making, Z is a resource for Y, Z is an instance of cotton, and X is a result of Y |
| (=> (instance ?F CottonFabric) (material Cotton ?F)) |
Mid-level-ontology.kif 6581-6583 | If X is an instance of cotton fabric, then X is made of cotton |
|