| MonoCrystalline | |
| appearance as argument number 1 |
|
|
| (subclass MonoCrystalline CrystallineStructure) | Geography.kif 6468-6468 | subclass MonoCrystalline and CrystallineStructure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MonoCrystalline "单晶结构") | Geography.kif 6472-6472 | termFormat ChineseLanguage, MonoCrystalline and "单晶结构" |
| (termFormat EnglishLanguage MonoCrystalline "mono crystalline") | Geography.kif 6470-6470 | termFormat EnglishLanguage, MonoCrystalline and "mono 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 ?FROST Frosting) (exists (?ICE ?OBJ) (and (instance ?ICE Ice) (attribute ?ICE MonoCrystalline) (patient ?FROST ?ICE) (instance ?OBJ Object) (attribute ?OBJ Solid) (destination ?FROST ?OBJ) (meetsSpatially ?FROST ?OBJ)))) |
Weather.kif 1285-1295 | |
| (=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 752-760 |
|
|
|
|