![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Powder
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Powder Substance) | Mid-level-ontology.kif 10317-10317 | Powder is a subclass of substance |
| (documentation Powder EnglishLanguage "Any Solid Substance which consists of loose, identical, and very small particles.") | Mid-level-ontology.kif 10318-10319 | Powder is a subclass of substance |
| (roomTempState Powder Solid) | Mid-level-ontology.kif 33913-33913 | room temperature state powder and solid |
| (externalImage Powder "http://upload.wikimedia.org/wikipedia/commons/8/82/ CocaineHydrochloridePowder.jpg") | pictureList.kif 908-908 | room temperature state powder and solid |
| appearance as argument number 2 |
|
|
| (subclass Fallout Powder) | Mid-level-ontology.kif 10325-10325 | Fallout is a subclass of powder |
| (subclass CoffeeGrind Powder) | Food.kif 1006-1006 | Coffee grind is a subclass of powder |
| (subclass Flour Powder) | Food.kif 1455-1455 | Flour is a subclass of powder |
| (termFormat EnglishLanguage Powder "powder") | domainEnglishFormat.kif 46969-46969 | Flour is a subclass of powder |
| (termFormat ChineseTraditionalLanguage Powder "粉末") | domainEnglishFormat.kif 46970-46970 | Flour is a subclass of powder |
| (termFormat ChineseLanguage Powder "粉末") | domainEnglishFormat.kif 46971-46971 | Flour is a subclass of powder |
| antecedent |
|
|
| (=> (instance ?POWDER Powder) (attribute ?POWDER Solid)) |
Mid-level-ontology.kif 10321-10323 | If X is an instance of powder, then solid is an attribute of X |