| PolyCrystalline | |
| appearance as argument number 1 |
|
|
| (subclass PolyCrystalline CrystallineStructure) | Geography.kif 7440-7440 | PolyCrystalline は CrystallineStructure の subclass では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PolyCrystalline "多晶结构") | Geography.kif 7444-7444 | |
| (termFormat EnglishLanguage PolyCrystalline "poly crystalline") | Geography.kif 7442-7442 |
| 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 7446-7466 |
|
| 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 3199-3209 |
|
|
|