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 12619-12620
(subclass Manufacture Making)	Merge.kif 12618-12618	subclass Manufacture and Making

appearance as argument number 2

(subclass Publication Manufacture)	Merge.kif 12622-12622	subclass Publication and Manufacture
(subclass StockpilingWeaponOfMassDestruction Manufacture)	WMD.kif 696-696	subclass StockpilingWeaponOfMassDestruction and Manufacture
(termFormat ChineseLanguage Manufacture "制造")	chinese_format.kif 1187-1187
(termFormat EnglishLanguage Manufacture "manufacture")	english_format.kif 1591-1591

antecedent

(=>
    (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

instance Entity and ReadOnlyMemoryDataStorage instance Process and Manufacture result Process and Entity
modalAttribute entity entity and entity instance entity and ContentDevelopment instance entity and DeletingData earlier WhenFn Process and WhenFn entity patient entity and Entity patient entity and entity holdsDuring ImmediateFutureFn WhenFn entity and stored entity and Entity and 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	instance Collection and Organization attribute Collection and ApparelManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Clothing patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and BeverageAndTobaccoProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Beverage instance Entity and TobaccoProduct patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and ChemicalManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and PureSubstance patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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) (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	instance Collection and Organization attribute Collection and ComputerAndElectronicProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Computer instance Entity and Machine Agent patient Agent and Entity resource Agent and Object instance Object and Electricity patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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) (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	instance Collection and Organization attribute Collection and ElectricalEquipmentApplianceAndComponentManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Machine Agent patient Agent and Entity resource Agent and Object instance Object and Electricity patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and FabricatedMetalProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Metal patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and FoodManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Cooking instance Agent and Manufacture patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and FurnitureAndRelatedProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Furniture patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and LeatherAndAlliedProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Clothing instance Entity and Fabric patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and MachineryManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Machine patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and MiscellaneousManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Object patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and NonmetallicMineralProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Metal instance Entity and PureSubstance patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and PaperManufacturing Agent Process and CorpuscularObject instance Agent and Industry member Agent and Collection instance Process and Manufacture agent Process and Agent patient Process and CorpuscularObject material Paper and CorpuscularObject
(=> (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	instance Collection and Organization attribute Collection and PetroleumAndCoalProductsManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Hydrocarbon patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and PlasticsAndRubberProductsManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Plastic instance Entity and Rubber patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and PrimaryMetalManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Metal patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and PrintingAndRelatedSupportActivities Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and SurfaceChange patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and TextileMills Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Fabric patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and TextileProductMills Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Fabric patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and TransportationEquipmentManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and TransportationDevice patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (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 ?THING Wood)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 2563-2581	instance Collection and Organization attribute Collection and WoodProductManufacturing Agent Process member Process and Collection agent Process and Agent Substance Process and Agent instance Agent and Manufacture instance Substance and Wood material Substance and Wood patient Agent and Substance member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Substance
(=> (attribute ?X IndustrialRawMaterial) (hasPurpose ?X (exists (?M) (and (instance ?M Manufacture) (resource ?M ?X)))))	Economy.kif 4815-4821	attribute Object and IndustrialRawMaterial hasPurpose Object and entity instance entity and Manufacture resource entity and Object
(=> (attribute ?X Machinery) (hasPurpose ?X (exists (?M) (and (instance ?M Manufacture) (instrument ?M ?X)))))	Economy.kif 4848-4854	attribute Object and Machinery hasPurpose Object and entity instance entity and Manufacture instrument entity and Object
(=> (instance ?ORG Manufacturer) (hasPurpose ?ORG (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (instance ?MANUFACTURE CommercialService) (agent ?MANUFACTURE ?ORG)))))	Merge.kif 15947-15954	instance Physical and Manufacturer hasPurpose Physical and entity instance entity and Manufacture instance entity and CommercialService agent entity and Physical
(=> (instance ?PLANT IndustrialPlant) (hasPurpose ?PLANT (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (eventLocated ?MANUFACTURE ?PLANT)))))	Mid-level-ontology.kif 15198-15204	instance Physical and IndustrialPlant hasPurpose Physical and entity instance entity and Manufacture eventLocated entity and Physical

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: