Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  material

Sigma KEE - material
material

appearance as argument number 1
-------------------------


(documentation material ChineseLanguage "(material ?SUBSTANCE ?OBJECT) 的意思是 ?OBJECT 是由 ?SUBSTANCE 作为部件所构成的。 这个关系包括 「组成」、「做成」和「形成」等概念。例子有 塑料是我电算计屏幕的一种 material。可参考比较 part 和它的子关系,即 componentpiece。") 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 975-979
(domain material 2 CorpuscularObject) Merge.kif 973-973 The number 2 argument of material is an instance of corpuscular object
(domainSubclass material 1 Substance) Merge.kif 972-972 The number 1 argument of material is a subclass of substance
(instance material BinaryPredicate) Merge.kif 971-971 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 1179-1179 ingredient is a subrelation of material
(termFormat ChineseLanguage material "材料") chinese_format.kif 152-152
(termFormat ChineseTraditionalLanguage material "材料") domainEnglishFormat.kif 36436-36436
(termFormat EnglishLanguage material "material") domainEnglishFormat.kif 36435-36435

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
(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (exists (?MAT)
        (or
            (subclass ?MAT Metal)
            (subclass ?MAT Wood)
            (subclass ?MAT Plastic))))
Sports.kif 1039-1047

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
(=>
    (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
(=>
    (instance ?A Aioli)
    (and
        (material Garlic ?A)
        (material OliveOil ?A)))
Food.kif 395-399
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 25876-25883
(=>
    (instance ?B Bacon)
    (material SodiumChloride ?B))
Food.kif 444-446
(=>
    (instance ?B Basket)
    (material Wicker ?B))
Mid-level-ontology.kif 4460-4462
(=>
    (instance ?B Bone)
    (material BoneTissue ?B))
Merge.kif 15056-15058
(=>
    (instance ?B Brick)
    (material Clay ?B))
Mid-level-ontology.kif 4713-4715
(=>
    (instance ?BB BallBearing)
    (material Metal ?BB))
Cars.kif 1409-1411
(=>
    (instance ?BERG Iceberg)
    (exists (?SHEET)
        (and
            (subclass ?SHEET Glacier)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?BERG))
                (material ?SHEET ?BERG)))))
Geography.kif 4641-4649
(=>
    (instance ?C Calamari)
    (exists (?S)
        (and
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))
Food.kif 471-476
(=>
    (instance ?C Cappuccino)
    (material Coffee ?C))
Food.kif 487-489
(=>
    (instance ?C Cappuccino)
    (material Milk ?C))
Food.kif 483-485
(=>
    (instance ?C Carabiner)
    (material Metal ?C))
Mid-level-ontology.kif 30709-30711
(=>
    (instance ?C Cask)
    (material Wood ?C))
Food.kif 994-996
(=>
    (instance ?C Chocolate)
    (material Cocoa ?C))
Food.kif 501-503
(=>
    (instance ?C ElectricalConductor)
    (exists (?S)
        (and
            (subclass ?S ConductorSubstance)
            (material ?S ?C))))
engineering.kif 824-829
(=>
    (instance ?C HolidayCard)
    (material Paper ?C))
Mid-level-ontology.kif 14717-14719
(=>
    (instance ?C PlayingCard)
    (material Paper ?C))
Mid-level-ontology.kif 16971-16973
(=>
    (instance ?CANDLE Candle)
    (material Wax ?CANDLE))
Mid-level-ontology.kif 2991-2993
(=>
    (instance ?CF CharcoalFilter)
    (exists (?C)
        (and
            (subclass ?C Charcoal)
            (material ?C ?CF))))
Cars.kif 1688-1693
(=>
    (instance ?CL ChainLink)
    (material Metal ?CL))
Cars.kif 4429-4431
(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))
Mid-level-ontology.kif 3565-3570
(=>
    (instance ?F CottonFabric)
    (material Cotton ?F))
Mid-level-ontology.kif 5422-5424
(=>
    (instance ?G Gland)
    (material EpithelialTissue ?G))
Merge.kif 15072-15074

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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