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 981-985
(documentation material JapaneseLanguage "(material ?SUBSTANCE ?OBJECT) とは、?OBJECTが、 ?SUBSTANCEの一部で構造的に構成されている、という意味である。　この関係は、「構成」、「作られた」、「形成された」の概念を網羅している。例えば、プラスチックは私のコンピューターモニターの material である。 part とそのサブリレーション、すなわち component と piece を比較する。")	japanese_format.kif 157-160
(documentation material SpanishLanguage "(material ?SUBSTANCE ?OBJECT) quiere decir que ?OBJECT es formado estructuralmente en parte de ?SUBSTANCE. Esta relación abarca los conceptos de «compuesto por», «hecho por» y «formado por». Por ejemplo, plástico es una material de la pantalla de la computadora. Compare parte y sus subrelaciones viz. component y piece.")	spanish_format.kif 184-188
(domain material 2 CorpuscularObject)	Merge.kif 979-979	The number 2 argument of material is an instance of corpuscular object
(domainSubclass material 1 Substance)	Merge.kif 978-978	The number 1 argument of material is a subclass of substance
(instance material BinaryPredicate)	Merge.kif 977-977	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
(format FrenchLanguage material "%1 est %n fait de %2")	french_format.kif 96-96
(format ItalianLanguage material "%1 è%n fatto di %2")	relations-it.txt 174-174
(format JapaneseLanguage material "%1 は %2 で made %n")	japanese_format.kif 1924-1924
(format PortugueseLanguage material "%1 e' %n feito de %2")	portuguese_format.kif 48-48
(format cz material "%1 %p{je} %n{nen�} z %2")	relations-cz.txt 68-68
(format de material "%1 ist von %2 %n{nicht} gebildet")	relations-de.txt 182-182
(format hi material "%1 %2 se %n banaa hai")	relations-hindi.txt 212-212
(format ro material "%1 %n{nu} este made%t{fãcut} din %2")	relations-ro.kif 115-115
(format sv material "%1 är %n{inte} gjord av %2")	relations-sv.txt 95-95
(format tg material "%1 %n ay mayari ng %2")	relations-tg.txt 345-345
(subrelation ingredient material)	Merge.kif 1208-1208	ingredient is a subrelation of material
(termFormat ChineseLanguage material "材料")	chinese_format.kif 152-152	ingredient is a subrelation of material
(termFormat ChineseTraditionalLanguage material "材料")	domainEnglishFormat.kif 36488-36488	ingredient is a subrelation of material
(termFormat EnglishLanguage material "material")	domainEnglishFormat.kif 36487-36487	ingredient is a subrelation of material
(termFormat de material "material")	terms-de.txt 56-56	ingredient is a subrelation of material
(termFormat tg material "kasangkapan")	relations-tg.txt 346-346	ingredient is a subrelation of material

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 1723-1739	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)) (or (subclass ?MAT Metal) (subclass ?MAT Wood) (subclass ?MAT Plastic)))	Sports.kif 1041-1048	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

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 ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 26232-26239	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 2139-2141	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 4495-4497	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 15249-15251	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 4748-4750	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 4732-4740	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 2410-2415	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) (and (material MilkFoam ?C) (material Espresso ?C)))	Food.kif 1279-1283	If a corpuscular object is an instance of cappuccino, then the corpuscular object is made of milk foam and the corpuscular object is made of espresso
(=> (instance ?C Carabiner) (material Metal ?C))	Mid-level-ontology.kif 31051-31053	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 3580-3582	If a corpuscular object is an instance of cask, then the corpuscular object is made of wood
(=> (instance ?C Coffee) (material DrinkingWater ?C))	Food.kif 641-643	If a corpuscular object is an instance of coffee, then the corpuscular object is made of potable water
(=> (instance ?C ElectricalConductor) (exists (?S) (and (subclass ?S ConductorSubstance) (material ?S ?C))))	engineering.kif 826-831	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 15089-15091	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 17347-17349	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 3019-3021	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 1694-1699	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 ?CHOC ChocolateCandy) (and (material CocoaLiquor ?CHOC) (material Oil ?CHOC) (material Sugar ?CHOC)))	Food.kif 2500-2505	If a corpuscular object is an instance of chocolate candy, then the corpuscular object is made of cocoa liquor and the corpuscular object is made of oil and the corpuscular object is made of sugar
(=> (instance ?CL ChainLink) (material Metal ?CL))	Cars.kif 4414-4416	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 3593-3598	If a corpuscular object is an instance of 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 ?D Dune) (material Sand ?D))	Geography.kif 4397-4399	If a corpuscular object is an instance of dune, then the corpuscular object is made of sand
(=> (instance ?F CottonFabric) (material Cotton ?F))	Mid-level-ontology.kif 5456-5458	If a corpuscular object is an instance of cotton fabric, then the corpuscular object is made of cotton
(=> (instance ?F FlatWhite) (and (material MilkFoam ?F) (material Espresso ?F)))	Food.kif 1343-1347	If a corpuscular object is an instance of flat white, then the corpuscular object is made of milk foam and the corpuscular object is made of espresso

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 11556-11556

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: