| PolyCrystalline | |
| appearance as argument number 1 |
|
|
| (subclass PolyCrystalline CrystallineStructure) | Geography.kif 6474-6474 | subclass PolyCrystalline and CrystallineStructure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PolyCrystalline "多晶结构") | Geography.kif 6478-6478 | termFormat ChineseLanguage, PolyCrystalline and "多晶结构" |
| (termFormat EnglishLanguage PolyCrystalline "poly crystalline") | Geography.kif 6476-6476 | termFormat EnglishLanguage, PolyCrystalline and "poly crystalline" |
| 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 |
|
| consequent |
|
|
| (=> (instance ?ICING Icing) (exists (?ICE ?OBJ) (and (instance ?ICE Ice) (attribute ?ICE PolyCrystalline) (patient ?ICING ?ICE) (instance ?OBJ Object) (attribute ?OBJ Solid) (destination ?ICING ?OBJ) (meetsSpatially ?ICE ?OBJ)))) |
Weather.kif 1033-1043 |
|
|
|