material - Sigma Knowledge base Browser

appearance as argument number 1

(documentation material ChineseLanguage "(material ?SUBSTANCE ?OBJECT) 的意思是 ?OBJECT 是由 ?SUBSTANCE 作为部件所构成的。这个关系包括「组成」、「做成」和「形成」等概念。例子有塑料是我电算计屏幕的一种 material。可参考比较 part 和它的子关系，即 component 和 piece。")	chinese_format.kif 1581-1583
(documentation material EnglishLanguage "(material ?SUBSTANCE ?OBJECT) means that ?OBJECT is structurally made up in part of ?SUBSTANCE. This relation encompasses the concepts of 'composed of', 'made of', and 'formed of'. For example, plastic is a material of my computer monitor. Compare part and its subrelations, viz component and piece.")	Merge.kif 970-974
(domain material 2 CorpuscularObject)	Merge.kif 968-968	The number 2 argument of material is an instance of corpuscular object
(domainSubclass material 1 Substance)	Merge.kif 967-967	The number 1 argument of material is a subclass of substance
(instance material BinaryPredicate)	Merge.kif 966-966	material is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage material "%1 %n 是 %2 的材料")	chinese_format.kif 151-151
(format EnglishLanguage material "%2 is %n made of %1")	english_format.kif 152-152
(subrelation ingredient material)	Merge.kif 1197-1197	ingredient is a subrelation of material
(termFormat ChineseLanguage material "材料")	chinese_format.kif 152-152
(termFormat ChineseTraditionalLanguage material "材料")	domainEnglishFormat.kif 36432-36432
(termFormat EnglishLanguage material "material")	domainEnglishFormat.kif 36431-36431

antecedent

(=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC)))))	Cars.kif 1717-1733	If a corpuscular object is an instance of exhaust and the corpuscular object is made of fuel and a transfer is an instance of transfer and the corpuscular objectNG is an instance of engine and the transfer originates at the corpuscular objectNG and a physical is an instance of catalytic converter and the transfer ends up at the physical and the object transferred in the transfer is the corpuscular object, then the physical has the purpose there exists an entity such that the entity is an instance of burning and the physical is an instrument for the entity and the corpuscular object is a patient of the entity and the entity is located at the physical
(=> (and (instance ?SKI SnowSki) (material ?MAT ?SKI)) (exists (?MAT) (or (subclass ?MAT Metal) (subclass ?MAT Wood) (subclass ?MAT Plastic))))	Sports.kif 1039-1047	If a corpuscular object is an instance of ski and the corpuscular object is made of a kind of substance, then there exists a kind of substance such that the 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

consequent

(=> (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 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
(=> (instance ?A Aioli) (and (material Garlic ?A) (material OliveOil ?A)))	Food.kif 395-399	If a corpuscular object is an instance of aioli, then the corpuscular object is made of garlic and the corpuscular object is made of olive oil
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 25877-25884	If a corpuscular object is an instance of outlet adapter, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the corpuscular object and the corpuscular object is made of metal
(=> (instance ?B Bacon) (material SodiumChloride ?B))	Food.kif 444-446	If a corpuscular object is an instance of bacon, then the corpuscular object is made of salt
(=> (instance ?B Basket) (material Wicker ?B))	Mid-level-ontology.kif 4460-4462	If a corpuscular object is an instance of basket, then the corpuscular object is made of wicker
(=> (instance ?B Bone) (material BoneTissue ?B))	Merge.kif 15053-15055	If a corpuscular object is an instance of bone, then the corpuscular object is made of bone tissue
(=> (instance ?B Brick) (material Clay ?B))	Mid-level-ontology.kif 4713-4715	If a corpuscular object is an instance of brick, then the corpuscular object is made of clay
(=> (instance ?BB BallBearing) (material Metal ?BB))	Cars.kif 1409-1411	If a corpuscular object is an instance of ball bearing, then the corpuscular object is made of metal
(=> (instance ?BERG Iceberg) (exists (?SHEET) (and (subclass ?SHEET Glacier) (holdsDuring (ImmediatePastFn (WhenFn ?BERG)) (material ?SHEET ?BERG)))))	Geography.kif 4641-4649	If a physical is an instance of iceberg, then there exists a class such that the class is a subclass of glacier and the physical is made of the class holds during immediately before the time of existence of the physical
(=> (instance ?C Calamari) (exists (?S) (and (meatOfAnimal ?S Squid) (material ?S ?C))))	Food.kif 471-476	If a corpuscular object is an instance of calamari, then there exists a kind of substance such that a kind of substance is the meat of squid and the corpuscular object is made of the kind of substance
(=> (instance ?C Cappuccino) (material Coffee ?C))	Food.kif 487-489	If a corpuscular object is an instance of cappuccino, then the corpuscular object is made of coffee
(=> (instance ?C Cappuccino) (material Milk ?C))	Food.kif 483-485	If a corpuscular object is an instance of cappuccino, then the corpuscular object is made of milk
(=> (instance ?C Carabiner) (material Metal ?C))	Mid-level-ontology.kif 30710-30712	If a corpuscular object is an instance of karabiner, then the corpuscular object is made of metal
(=> (instance ?C Cask) (material Wood ?C))	Food.kif 994-996	If a corpuscular object is an instance of cask, then the corpuscular object is made of wood
(=> (instance ?C Chocolate) (material Cocoa ?C))	Food.kif 501-503	If a corpuscular object is an instance of chocolate, then the corpuscular object is made of cocoa
(=> (instance ?C ElectricalConductor) (exists (?S) (and (subclass ?S ConductorSubstance) (material ?S ?C))))	engineering.kif 824-829	If a corpuscular object is an instance of electrical conductor, then there exists a kind of substance such that a kind of substance is a subclass of conductor substance and the corpuscular object is made of the kind of substance
(=> (instance ?C HolidayCard) (material Paper ?C))	Mid-level-ontology.kif 14718-14720	If a corpuscular object is an instance of holiday card, then the corpuscular object is made of paper
(=> (instance ?C PlayingCard) (material Paper ?C))	Mid-level-ontology.kif 16972-16974	If a corpuscular object is an instance of playing card, then the corpuscular object is made of paper
(=> (instance ?CANDLE Candle) (material Wax ?CANDLE))	Mid-level-ontology.kif 2991-2993	If a corpuscular object is an instance of candle, then the corpuscular object is made of wax
(=> (instance ?CF CharcoalFilter) (exists (?C) (and (subclass ?C Charcoal) (material ?C ?CF))))	Cars.kif 1688-1693	If a corpuscular object is an instance of charcoal filter, then there exists a kind of substance such that a kind of substance is a subclass of charcoal and the corpuscular object is made of the kind of substance
(=> (instance ?CL ChainLink) (material Metal ?CL))	Cars.kif 4429-4431	If a corpuscular object is an instance of chain link, then the corpuscular object is made of metal
(=> (instance ?COIN CurrencyCoin) (exists (?METAL) (and (subclass ?METAL Metal) (material ?METAL ?COIN))))	Mid-level-ontology.kif 3565-3570	If a corpuscular object is an instance of currency coin, then there exists a kind of substance such that a kind of substance is a subclass of metal and the corpuscular object is made of the kind of substance
(=> (instance ?F CottonFabric) (material Cotton ?F))	Mid-level-ontology.kif 5422-5424	If a corpuscular object is an instance of cotton fabric, then the corpuscular object is made of cotton
(=> (instance ?G Gland) (material EpithelialTissue ?G))	Merge.kif 15069-15071	If a corpuscular object is an instance of gland, then the corpuscular object is made of epithelial tissue

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

(material Heart InvoluntaryMuscle)

Mid-level-ontology.kif 11204-11204

Involuntary muscle is made of heart

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

KB Term:			Term intersection

English Word: