Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TopNewsFeed
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MonoCrystalline CrystallineStructure) | Geography.kif 8794-8794 | Mono crystalline is a subclass of crystalline structure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MonoCrystalline "mono crystalline") | Geography.kif 8796-8796 | |
| (termFormat ChineseLanguage MonoCrystalline "单晶结构") | Geography.kif 8798-8798 |
| 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 8806-8826 | If All of the following hold: (1) X is an instance of crystal (2) mono crystalline is an attribute of X (3) Y is an instance of substance (4) solid is an attribute of Y (5) poly crystalline is an attribute of Y (6) Z is an instance of substance (7) Z is a surface of Y (8) X is not a part of Z, then there exist W, V, U such that W is an instance of collection, V is a member count of W, V is greater than or equal to 4, U is a member of WU is a part of Y, and X meets U |
| consequent |
|
|
| (=> (instance ?SNOW Snowing) (exists (?CLTN ?I) (and (instance ?CLTN CollectionOfObjects) (instance ?I Ice) (attribute ?I MonoCrystalline) (member ?I ?CLTN) (objectTransferred ?SNOW ?CLTN)))) |
Weather.kif 1821-1829 | If X is an instance of snowing, then there exist Y, Z such that Y is an instance of collection, Z is an instance of ice, mono crystalline is an attribute of Z, Z is a member of Y, and the object transferred in X is Y |
| (=> (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 4050-4060 | If X is an instance of frosting, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of ice (3) mono crystalline is an attribute of Y (4) Y is a patient of X (5) Z is an instance of object (6) solid is an attribute of Z (7) X ends up at Z (8) X meets Z |
|