| BoardOrBlock(board or block) | | beam, block, board, kneeler, plank, screed, skid, snowboard, step, wake_board, wakeboard |
| appearance as argument number 1 |
|
|
| (subclass BoardOrBlock Artifact) | Mid-level-ontology.kif 5220-5220 | Board or block is a subclass of artifact |
| (documentation BoardOrBlock EnglishLanguage "A piece of material with flat, rectangular sides. Note that boards and blocks are lumped into a single concept, because the difference between these notions cannot be precisely defined.") | Mid-level-ontology.kif 5221-5223 | Board or block is a subclass of artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BOARD BoardOrBlock) (capability Constructing resource ?BOARD)) |
Mid-level-ontology.kif 5225-5227 | If X is an instance of board or block, then X is capable of doing constructing as a resource |
| consequent |
|
|
| (=> (snowfallIntensity ?AREA ?TIME ?RATE) (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL) (and (instance ?PROCESS Snowing) (eventLocated ?PROCESS ?AREA) (during (WhenFn ?PROCESS) ?TIME) (instance ?STUFF Snow) (objectTransferred ?PROCESS ?STUFF) (instance ?BOARD BoardOrBlock) (bottom ?BOTTOM ?BOARD) (attribute ?BOTTOM Flat) (located ?BOARD ?AREA) (holdsDuring (BeginFn ?TIME) (not (exists (?X) (and (instance ?X Object) (located ?X ?BOARD))))) (holdsDuring (EndFn ?TIME) (and (located ?STUFF ?BOARD) (top ?TOP ?STUFF) (depth ?TOP ?BOTTOM ?SNOWFALL) (equal ?SNOWFALL (MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 4347-4374 | If the rate of snow falling at X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S (2) R such that W is an instance of snowing (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of snow (6) the object transferred in W is V (7) U is an instance of board or block (8) the bottom of U is S (9) flat is an attribute of S (10) U is located at X (11) there doesn't exist Q such that Q is an instance of object (12) Q is located at U holds during the beginning of Y (13) V is located at U (14) the top of V is T (15) the depth from T to S is R (16) equal R (17) Y (18) Z holds during the end of Y |
|
|
|