TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Manufacture ChineseLanguage "这是大规模 Making Artifact。")	chinese_format.kif 3221-3221
(documentation Manufacture EnglishLanguage "The Making of Artifacts on a mass scale.")	Merge.kif 12996-12997
(subclass Manufacture Making)	Merge.kif 12995-12995	Manufacture is a subclass of making

appearance as argument number 2

(subclass Publication Manufacture)	Merge.kif 12999-12999	Publication is a subclass of manufacture
(subclass StockpilingWeaponOfMassDestruction Manufacture)	WMD.kif 696-696	Stockpiling weapon of mass destruction is a subclass of manufacture
(termFormat ChineseLanguage Manufacture "制造")	chinese_format.kif 1187-1187	Stockpiling weapon of mass destruction is a subclass of manufacture
(termFormat EnglishLanguage Manufacture "manufacture")	english_format.kif 1591-1591	Stockpiling weapon of mass destruction is a subclass of manufacture
(termFormat FrenchLanguage Manufacture "manufacture")	french_format.kif 865-865	Stockpiling weapon of mass destruction is a subclass of manufacture
(termFormat Hindi Manufacture "utpaadana")	terms-hindi.txt 397-397	Stockpiling weapon of mass destruction is a subclass of manufacture
(termFormat ItalianLanguage Manufacture "Lavorazione")	terms-it.txt 400-400	Stockpiling weapon of mass destruction is a subclass of manufacture
(termFormat JapaneseLanguage Manufacture "製造")	japanese_format.kif 2549-2549	Stockpiling weapon of mass destruction is a subclass of manufacture
(termFormat PortugueseLanguage Manufacture "Manufatura")	portuguese_format.kif 817-817	Stockpiling weapon of mass destruction is a subclass of manufacture
(termFormat cz Manufacture "manufacture")	terms-cz.txt 436-436	Stockpiling weapon of mass destruction is a subclass of manufacture
(termFormat de Manufacture "Herstellung")	terms-de.txt 695-695	Stockpiling weapon of mass destruction is a subclass of manufacture
(termFormat ro Manufacture "fabricare")	relations-ro.kif 886-886	Stockpiling weapon of mass destruction is a subclass of manufacture
(termFormat tg Manufacture "gawa")	terms-tg.txt 401-401	Stockpiling weapon of mass destruction is a subclass of manufacture

antecedent

(=> (and (instance ?P ForestProduct) (instance ?M Manufacture) (result ?M ?P) (patient ?M ?X) (instance ?X Organism)) (exists (?A ?F) (and (instance ?A Agriculture) (result ?A ?X) (eventLocated ?A ?F) (instance ?F Forest))))	Economy.kif 5551-5563	If an entity is an instance of forest product and a process is an instance of manufacture and the entity is a result of the process and another entity is a patient of the process and the other entity is an instance of organism, then there exist another process and an object such that the other process is an instance of agriculture and the other entity is a result of the other process and the other process is located at the object and the object is an instance of forest
(=> (and (instance ?X ReadOnlyMemoryDataStorage) (instance ?FABRICATION Manufacture) (result ?FABRICATION ?X)) (not (modalAttribute (exists (?WRITE1 ?DATA1 ?WRITE2) (and (or (instance ?WRITE2 ContentDevelopment) (instance ?WRITE2 DeletingData)) (earlier (WhenFn ?FABRICATION) (WhenFn ?WRITE1)) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (stored ?DATA1 ?X)))) Possibility)))	Media.kif 768-788	If an entity is an instance of read only memory data storage and a process is an instance of manufacture and the entity is a result of the process, then the statement there exist another entity, a third entity and a fourth entity such that the fourth entity is an instance of content development or the fourth entity is an instance of deleting data and the time of existence of the process happens earlier than the time of existence of the other entity and the entity is a patient of the other entity and the third entity is a patient of the other entity and the third entity is stored on the entity holds during immediately after the time of existence of the other entity doesn't have the modal force of possibility

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 2090-2100	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 2059-2070	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 6156-6162	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 6189-6195	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: