consequent

(=>     (and         (instance ?ORG Organization)         (attribute ?ORG ApparelManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING Clothing)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 2194-2210	If a collection is an instance of organization and apparel 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of clothing and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG BeverageAndTobaccoProductManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (or                         (instance ?THING Beverage)                         (instance ?THING TobaccoProduct))                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 1837-1855	If a collection is an instance of organization and beverage and tobacco 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of beverage or the entity is an instance of tobacco product and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG ChemicalManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING PureSubstance)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 3125-3141	If a collection is an instance of organization and chemical 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of pure substance and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG ComputerAndElectronicProductManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (or                         (instance ?THING Computer)                         (and                             (instance ?THING Machine)                             (exists (?EV3 ?ELEC)                                 (and                                     (patient ?EV3 ?THING)                                     (resource ?EV3 ?ELEC)                                     (instance ?ELEC Electricity)))))                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 5126-5150	If a collection is an instance of organization and computer and electronic 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of computer or the entity is an instance of machine and there exist the agent3 and an object such that the entity is a patient of the agent3 and the object is a resource for the agent3 and the object is an instance of electricity and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG ElectricalEquipmentApplianceAndComponentManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (and                         (instance ?THING Machine)                         (exists (?EV3 ?ELEC)                             (and                                 (patient ?EV3 ?THING)                                 (resource ?EV3 ?ELEC)                                 (instance ?ELEC Electricity))))                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 5421-5443	If a collection is an instance of organization and electrical equipment appliance and component 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of machine and there exist the agent3 and an object such that the entity is a patient of the agent3 and the object is a resource for the agent3 and the object is an instance of electricity and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG FabricatedMetalProductManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING Metal)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 4225-4241	If a collection is an instance of organization and fabricated metal 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of metal and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG FoodManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Cooking)                     (instance ?EV Manufacture)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 1361-1377	If a collection is an instance of organization and food 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 an entity, the process2 and the agent2 such that the agent is an instance of cooking and the agent is an instance of manufacture and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG FurnitureAndRelatedProductManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING Furniture)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 5994-6010	If a collection is an instance of organization and furniture and related 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of furniture and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG LeatherAndAlliedProductManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (or                         (instance ?THING Clothing)                         (instance ?THING Fabric))                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 2457-2475	If a collection is an instance of organization and leather and allied 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of clothing or the entity is an instance of fabric and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG MachineryManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING Machine)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 4644-4660	If a collection is an instance of organization and machinery 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of machine and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG MiscellaneousManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING Object)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 6153-6169	If a collection is an instance of organization and miscellaneous 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of object and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG NonmetallicMineralProductManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (not                         (instance ?THING Metal))                     (instance ?THING PureSubstance)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 3690-3708	If a collection is an instance of organization and nonmetallic mineral 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is not an instance of metal and the entity is an instance of pure substance and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG PaperManufacturing))     (exists (?MEM ?EV ?THING)         (and             (instance ?MEM Industry)             (member ?MEM ?ORG)             (instance ?EV Manufacture)             (agent ?EV ?MEM)             (patient ?EV ?THING)             (material Paper ?THING))))	naics.kif 2717-2728	If a collection is an instance of organization and paper manufacturing is an attribute of the collection, then there exist an agent, a process and a corpuscular object such that the agent is an instance of industry and the agent is a member of the collection and the process is an instance of manufacture and the agent is an agent of the process and the corpuscular object is a patient of the process and the corpuscular object is made of paper
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG PetroleumAndCoalProductsManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING Hydrocarbon)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 3053-3069	If a collection is an instance of organization and petroleum and coal products 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of hydrocarbon and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG PlasticsAndRubberProductsManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (or                         (instance ?THING Plastic)                         (instance ?THING Rubber))                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 3497-3515	If a collection is an instance of organization and plastics and rubber products 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of plastic or the entity is an instance of rubber and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG PrimaryMetalManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING Metal)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 3943-3959	If a collection is an instance of organization and primary metal 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of metal and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG PrintingAndRelatedSupportActivities))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING SurfaceChange)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 2923-2939	If a collection is an instance of organization and printing and related support activities 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of surface change and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG TextileMills))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING Fabric)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 1944-1960	If a collection is an instance of organization and textile mills 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of fabric and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG TextileProductMills))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING Fabric)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 2085-2101	If a collection is an instance of organization and textile product mills 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of fabric and the entity 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 entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG TransportationEquipmentManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING TransportationDevice)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 5683-5699	If a collection is an instance of organization and transportation equipment 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of transportation device and the entity 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 entity is a patient of the agent2
(=>     (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 ?X OrderingParts)         (patient ?X ?P))     (exists (?A ?M)         (and             (part ?P ?A)             (instance ?A Artifact)             (instance ?M Manufacture)             (result ?M ?A)             (subProcess ?X ?M))))	Economy.kif 2085-2095	If a process is an instance of Ordering parts and an object is a patient of the process, then there exist another object and another process such that the object is a part of the other object and the other object is an instance of artifact and the other process is an instance of manufacture and the other object is a result of the other process and the process is a subprocess of the other process
(=>     (and         (instance ?X PartInspection)         (patient ?X ?P)         (instance ?P SelfConnectedObject))     (exists (?A ?M)         (and             (part ?P ?A)             (instance ?A Artifact)             (instance ?M Manufacture)             (result ?M ?A)             (subProcess ?X ?M))))	Economy.kif 2054-2065	If a process is an instance of part inspection and an object is a patient of the process and the object is an instance of self connected object, then there exist another object and another process such that the object is a part of the other object and the other object is an instance of artifact and the other process is an instance of manufacture and the other object is a result of the other process and the process is a subprocess of the other process
(=>     (attribute ?X IndustrialRawMaterial)     (hasPurpose ?X         (exists (?M)             (and                 (instance ?M Manufacture)                 (resource ?M ?X)))))	Economy.kif 6151-6157	If industrial raw material is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of manufacture and the object is a resource for the entity
(=>     (attribute ?X Machinery)     (hasPurpose ?X         (exists (?M)             (and                 (instance ?M Manufacture)                 (instrument ?M ?X)))))	Economy.kif 6184-6190	If machinery is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of manufacture and the object is an instrument for the entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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