| MonoCrystalline | |
| appearance as argument number 1 |
|
|
| (subclass MonoCrystalline CrystallineStructure) | Geography.kif 6452-6452 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MonoCrystalline "单晶结构") | Geography.kif 6456-6456 | |
| (termFormat EnglishLanguage MonoCrystalline "mono crystalline") | Geography.kif 6454-6454 |
| 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 6464-6484 |
| 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 1188-1198 | |
| (=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 753-761 |
|
|
|