PolyCrystalline | ![]() |
appearance as argument number 1 |
![]() |
(subclass PolyCrystalline CrystallineStructure) | Geography.kif 6567-6567 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage PolyCrystalline "多晶结构") | Geography.kif 6571-6571 | |
(termFormat EnglishLanguage PolyCrystalline "poly crystalline") | Geography.kif 6569-6569 |
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 6573-6593 |
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 2278-2288 |
![]() |
![]() |