consequent

(=>     (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 2563-2581	If a collection is an instance of organization and wood product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a corpuscular object, the process2 and the agent2 such that the agent is an instance of manufacture and the corpuscular object is an instance of wood or the corpuscular object is made of wood and the corpuscular object is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the corpuscular object is a patient of the agent2
(=>     (and         (instance ?P WoodProduct)         (part ?W ?P))     (instance ?W Wood))	Economy.kif 5570-5574	If an object is an instance of wood product and another object is a part of the object, then the other object is an instance of wood
(=>     (and         (instance ?SKI SnowSki)         (material ?MAT ?SKI))     (or         (subclass ?MAT Metal)         (subclass ?MAT Wood)         (subclass ?MAT Plastic)))	Sports.kif 1054-1061	If a corpuscular object is an instance of ski and the corpuscular object is made of a kind of substance, then a kind of substance is a subclass of metal or the kind of substance is a subclass of wood or the kind of substance is a subclass of plastic
(=>     (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 10392-10415	If equal a real number pound force(s) and The Janka Hardness of a kind of botanical tree is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely
(=>     (instance ?C Carpentry)     (exists (?B ?W)         (and             (instance ?B Building)             (instance ?W Wood)             (part ?W ?B)             (result ?C ?B))))	Mid-level-ontology.kif 22397-22404	If a process is an instance of carpentry, then there exist an object and another object such that the object is an instance of building and the other object is an instance of wood and the other object is a part of the object and the object is a result of the process
(=>     (instance ?C Cask)     (material Wood ?C))	Food.kif 3587-3589	If a corpuscular object is an instance of cask, then the corpuscular object is made of wood
(=>     (instance ?CH Charcoal)     (exists (?C ?W)         (and             (instance ?C Combustion)             (instance ?W Wood)             (result ?C ?CH)             (resource ?C ?W))))	Cars.kif 1681-1688	If an entity is an instance of charcoal, then there exist a process and an object such that the process is an instance of burning and the object is an instance of wood and the entity is a result of the process and the object is a resource for the process
(=>     (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 6415-6434	If a physical is an instance of planer, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of cutting and the physical is an instrument for the entity and the other entity is a resource for the entity and the other entity is an instance of object and wood is made of the other entity and the third entity is a result of the entity and the third entity is an instance of object and the third entity is made of wood and flat is an attribute of the third entity and the fourth entity is an instance of unit of length and the height of the other entity is the fifth entity the fourth entity(s) and the height of the third entity is the sixth entity the fourth entity(s) and the fifth entity is greater than the sixth entity
(=>     (instance ?W WoodenArtifact)     (material Wood ?W))	Economy.kif 5918-5920	If a corpuscular object is an instance of wood artifact, then the corpuscular object is made of wood
(=>     (instance ?X BotanicalTree)     (material Wood ?X))	Mid-level-ontology.kif 10802-10804	If a corpuscular object is an instance of botanical tree, then the corpuscular object is made of wood

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners