MonoCrystalline |
appearance as argument number 1 |
![]() |
(subclass MonoCrystalline CrystallineStructure) | Geography.kif 7467-7467 | MonoCrystalline は CrystallineStructure の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage MonoCrystalline "单晶结构") | Geography.kif 7471-7471 | |
(termFormat EnglishLanguage MonoCrystalline "mono crystalline") | Geography.kif 7469-7469 |
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 7479-7499 |
|
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 3507-3517 | |
(=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN Collection) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 1376-1384 |
![]() |
![]() |