| Crystal | |
| appearance as argument number 1 |
|
|
| (documentation Crystal ChineseLanguage "Crystal Solid 是一种拥有 CrystallineStructure 的 Substance。") | Geography.kif 6445-6446 | |
| (documentation Crystal EnglishLanguage "A Crystal Solid is a Substance with a CrystallineStructure.") | Geography.kif 6442-6443 | |
| (subclass Crystal Substance) | Geography.kif 6448-6448 | subclass Crystal and Substance |
| appearance as argument number 2 |
|
|
| (subclass Snowflake Crystal) | Weather.kif 1780-1780 | subclass Snowflake and Crystal |
| (termFormat ChineseLanguage Crystal "水晶") | Geography.kif 6452-6452 | |
| (termFormat EnglishLanguage Crystal "crystal") | Geography.kif 6450-6450 |
| 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) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?Sub) (meetsSpatially ?C ?MBR)))))) |
Geography.kif 6480-6500 |
|
|
|
|