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 956-960
(domain material 2 CorpuscularObject)	Merge.kif 954-954	The number 2 argument of material is an instance of corpuscular object
(domainSubclass material 1 Substance)	Merge.kif 953-953	The number 1 argument of material is a subclass of substance
(instance material BinaryPredicate)	Merge.kif 952-952	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 1160-1160	ingredient is a subrelation of material
(termFormat ChineseLanguage material "材料")	chinese_format.kif 152-152
(termFormat ChineseTraditionalLanguage material "材料")	domainEnglishFormat.kif 36437-36437
(termFormat EnglishLanguage material "material")	domainEnglishFormat.kif 36436-36436

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 combustion 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 2

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 ?THING Paper))))	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 kind of substance 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 a kind of substance is a patient of the process and paper is made of the kind of substance
(=> (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	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 kind of substance, the process2 and the agent2 such that the agent is an instance of manufacture and a kind of substance is an instance of wood or wood is made of the kind of substance and the kind of substance 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 kind of substance 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 Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 25335-25342	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 Brick) (material Clay ?B))	Mid-level-ontology.kif 4487-4489	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 (instance ?SHEET Glacier) (holdsDuring (ImmediatePastFn (WhenFn ?BERG)) (material ?BERG ?SHEET)))))	Geography.kif 4630-4638	If a physical is an instance of iceberg, then there exists an entity such that the entity is an instance of glacier and the entity is made of the physical 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 ?C Metal))	Mid-level-ontology.kif 30172-30174	If a kind of substance is an instance of karabiner, then metal is made of a kind of substance
(=> (instance ?C Cask) (material Wood ?C))	Food.kif 993-995	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 ElectricalConductor, 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 14315-14317	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 16548-16550	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 2977-2979	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 4432-4434	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 3552-3557	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 5154-5156	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 14936-14938	If a corpuscular object is an instance of gland, then the corpuscular object is made of epithelial tissue
(=> (instance ?I ResistorElement) (exists (?S) (and (subclass ?S InsulatorSubstance) (material ?S ?I))))	engineering.kif 853-858	If a corpuscular object is an instance of resistor element, then there exists a kind of substance such that a kind of substance is a subclass of insulator substance and the corpuscular object is made of the kind of substance
(=> (instance ?IRON FabricIron) (exists (?BASE) (and (bottom ?BASE ?IRON) (material Metal ?BASE) (attribute ?BASE Flat))))	Mid-level-ontology.kif 24521-24527	If a self connected object is an instance of iron, then there exists a corpuscular object such that the bottom of the self connected object is the corpuscular object and the corpuscular object is made of metal and flat is an attribute of the corpuscular object

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

InvoluntaryMuscle 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: