MonoCrystalline
|
|
appearance as argument number 1 |
(subclass MonoCrystalline CrystallineStructure) | Geography.kif 7130-7130 | MonoCrystalline ist eine teilkategorie von CrystallineStructure |
appearance as argument number 2 |
(termFormat ChineseLanguage MonoCrystalline "单晶结构") | Geography.kif 7134-7134 | |
(termFormat EnglishLanguage MonoCrystalline "mono crystalline") | Geography.kif 7132-7132 |
antecedent |
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 2778-2788 |
|
(=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 1137-1145 |
|