Crystal | ![]() |
appearance as argument number 1 |
![]() |
(documentation Crystal ChineseLanguage "Crystal Solid 是一种拥有 CrystallineStructure 的 Substance。") | Geography.kif 7273-7274 | |
(documentation Crystal EnglishLanguage "A Crystal Solid is a Substance with a CrystallineStructure.") | Geography.kif 7270-7271 | |
(subclass Crystal Substance) | Geography.kif 7276-7276 | Crystal は 物質 の subclass では |
appearance as argument number 2 |
![]() |
(subclass Snowflake Crystal) | Weather.kif 3528-3528 | Snowflake は Crystal の subclass では |
(termFormat ChineseLanguage Crystal "水晶") | Geography.kif 7280-7280 | Snowflake は Crystal の subclass では |
(termFormat EnglishLanguage Crystal "crystal") | Geography.kif 7278-7278 | Snowflake は Crystal の subclass では |
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 7308-7328 |
|
![]() |
![]() |