| Wood(wood)
|
| appearance as argument number 1 |
|
| (subclass Wood Tissue) | Mid-level-ontology.kif 10408-10408 | Wood is a subclass of tissue |
| (subclass Wood PlantSubstance) | Mid-level-ontology.kif 10409-10409 | Wood is a subclass of plant substance |
| (documentation Wood EnglishLanguage "Tissue that comprises the inner trunk of BotanicalTrees. It is often used in constructing Buildings and other Artifacts. Wood is the principal substance making up a tree, and is distinguished from the bark, roots, flowers, seeds, fruit and leaves.") | Mid-level-ontology.kif 10410-10413 | Wood is a subclass of plant substance |
| (relatedInternalConcept Wood WoodenArtifact) | Economy.kif 5908-5908 | Wood is internally related to wood artifact |
| (externalImage Wood "http://upload.wikimedia.org/wikipedia/commons/5/54/ Board.agr.jpg") | pictureList.kif 43-43 | Wood is internally related to wood artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X Wood) (exists (?CELL) (and (instance ?CELL Cellulose) (part ?CELL ?X)))) |
Mid-level-ontology.kif 10415-10420 | If X is an instance of wood, then there exists Y such that Y is an instance of cellulose and Y is a part of X |
| consequent |
|
|
| (=> (equal (MeasureFn ?X PoundForce) (JankaHardnessFn ?CLASS)) (modalAttribute (exists (?T ?W ?P ?B ?H ?S) (and (instance ?T ?CLASS) (part ?W ?T) (instance ?W Wood) (instance ?P Pushing) (destination ?P ?W) (instance ?B Ball) (material ?B Steel) (patient ?P ?B) (sphereRadius ?B (MeasureFn 5.64 Millimeter)) (result ?P ?H) (instance ?H HoleRegion) (part ?H ?W) (surface ?S ?W) (distance ?S ?H (MeasureFn 5.64 Millimeter)) (measure ?P (MeasureFn ?X PoundForce)))) Likely)) |
Mid-level-ontology.kif 10438-10461 | If equal X pound force(s) and The Janka Hardness of Y is, then the statement there exist Z, W,, , V,, , U,, , T and S such that Z is an instance of Y and W is a part of Z and W is an instance of wood and V is an instance of pushing and V ends up at W and U is an instance of ball and steel is made of U and U is a patient of V and the radius of U is 5.64 millimeter(s) and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of W and the distance between S and T is 5.64 millimeter(s) and the measure of V is X pound force(s) has the modal force of likely |
| (=> (instance ?X BotanicalTree) (material Wood ?X)) |
Mid-level-ontology.kif 10848-10850 | If X is an instance of botanical tree, then X is made of wood |
| (=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B)))) |
Mid-level-ontology.kif 23100-23107 | If X is an instance of carpentry, then there exist Y, Z such that Y is an instance of building, Z is an instance of wood, Z is a part of Y, and Y is a result of X |
| (=> (instance ?CH Charcoal) (exists (?C ?W) (and (instance ?C Combustion) (instance ?W Wood) (result ?C ?CH) (resource ?C ?W)))) |
Cars.kif 1681-1688 | If X is an instance of charcoal, then there exist Y, Z such that Y is an instance of burning, Z is an instance of wood, X is a result of Y, and Z is a resource for Y |
| (=> (and (instance ?P WoodProduct) (part ?W ?P)) (instance ?W Wood)) |
Economy.kif 5565-5569 | If X is an instance of wood product and Y is a part of X, then Y is an instance of wood |
| (=> (instance ?W WoodenArtifact) (material Wood ?W)) |
Economy.kif 5913-5915 | If X is an instance of wood artifact, then X is made of wood |
| (=> (instance ?PLANER Planer) (hasPurpose ?PLANER (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2) (and (instance ?CUT Cutting) (instrument ?CUT ?PLANER) (resource ?CUT ?OBJ1) (instance ?OBJ1 Object) (material ?OBJ1 Wood) (result ?CUT ?OBJ2) (instance ?OBJ2 Object) (material Wood ?OBJ2) (attribute ?OBJ2 Flat) (instance ?U UnitOfLength) (height ?OBJ1 (MeasureFn ?H1 ?U)) (height ?OBJ2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 ?H2))))) |
Economy.kif 6410-6429 | If X is an instance of planer, then X has the purpose there exist Y, Z,, , W,, , V,, , U and T such that Y is an instance of cutting and X is an instrument for Y and Z is a resource for Y and Z is an instance of object and wood is made of Z and W is a result of Y and W is an instance of object and W is made of wood and flat is an attribute of W and V is an instance of unit of length and the height of Z is U V(s) and the height of W is T V(s) and U is greater than T |
| (=> (instance ?C Cask) (material Wood ?C)) |
Food.kif 3589-3591 | If X is an instance of cask, then X is made of wood |
| (=> (and (instance ?SKI SnowSki) (material ?MAT ?SKI)) (or (subclass ?MAT Metal) (subclass ?MAT Wood) (subclass ?MAT Plastic))) |
Sports.kif 1054-1061 | If X is an instance of ski and X is made of Y, then At least one of the following holds: (1) Y is a subclass of metal (2) Y is a subclass of wood (3) Y is a subclass of plastic |
| (=> (and (instance ?ORG Organization) (attribute ?ORG WoodProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Wood) (material Wood ?THING)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2557-2575 | If X is an instance of organization and wood product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of wood or W is made of wood (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U |
|
|
|