| Crystal | |
| appearance as argument number 1 |
|
|
| (documentation Crystal ChineseLanguage "Crystal Solid 是一种拥有 CrystallineStructure 的 Substance。") | Geography.kif 7177-7178 | |
| (documentation Crystal EnglishLanguage "A Crystal Solid is a Substance with a CrystallineStructure.") | Geography.kif 7174-7175 | |
| (subclass Crystal Substance) | Geography.kif 7180-7180 |
| appearance as argument number 2 |
|
|
| (subclass Snowflake Crystal) | Weather.kif 2994-2994 | |
| (termFormat ChineseLanguage Crystal "水晶") | Geography.kif 7184-7184 | |
| (termFormat EnglishLanguage Crystal "crystal") | Geography.kif 7182-7182 |
| antecedent |
|
|
| (=> (and (instance ?C Crystal) (attribute ?C MonoCrystalline) (instance ?SUB Substance) (attribute ?SUB Solid) (attribute ?SUB PolyCrystalline) (instance ?S Substance) (surface ?S ?SUB) (not (part ?C ?S))) (exists (?CLNT ?X ?MBR) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?SUB) (meetsSpatially ?C ?MBR)))))) |
Geography.kif 7212-7232 |
|
|
|