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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 932-936
(domain material 2 CorpuscularObject) Merge.kif 930-930
(domainSubclass material 1 Substance) Merge.kif 929-929
(instance material BinaryPredicate) Merge.kif 928-928

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) Food.kif 46-46
(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 1731-1747

consequent
-------------------------


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PaperManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?EV ?MEM)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Paper)
                        (material ?THING Paper))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 2717-2735
(=>
    (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 ?A Aioli)
    (and
        (material Garlic ?A)
        (material OliveOil ?A)))
Food.kif 413-417
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 24373-24380
(=>
    (instance ?B Bacon)
    (material SodiumChloride ?B))
Food.kif 462-464
(=>
    (instance ?B Brick)
    (material Clay ?B))
Mid-level-ontology.kif 4467-4469
(=>
    (instance ?BB BallBearing)
    (material Metal ?BB))
Cars.kif 1423-1425
(=>
    (instance ?BERG Iceberg)
    (exists (?SHEET)
        (and
            (instance ?SHEET Glacier)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?BERG))
                (material ?BERG ?SHEET)))))
Geography.kif 4526-4531
(=>
    (instance ?C Calamari)
    (exists (?S)
        (and
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))
Food.kif 489-494
(=>
    (instance ?C Cappuccino)
    (material Coffee ?C))
Food.kif 505-507
(=>
    (instance ?C Cappuccino)
    (material Milk ?C))
Food.kif 501-503
(=>
    (instance ?C Carabiner)
    (material ?C Metal))
Mid-level-ontology.kif 29209-29211
(=>
    (instance ?C Cask)
    (material Wood ?C))
Food.kif 1011-1013
(=>
    (instance ?C Chocolate)
    (material Cocoa ?C))
Food.kif 519-521
(=>
    (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 13425-13427
(=>
    (instance ?C PlayingCard)
    (material Paper ?C))
Mid-level-ontology.kif 15612-15614
(=>
    (instance ?CANDLE Candle)
    (material Wax ?CANDLE))
Mid-level-ontology.kif 2958-2960
(=>
    (instance ?CF CharcoalFilter)
    (exists (?C)
        (and
            (subclass ?C Charcoal)
            (material ?C ?CF))))
Cars.kif 1702-1707
(=>
    (instance ?CL ChainLink)
    (material Metal ?CL))
Cars.kif 4446-4448
(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))
Mid-level-ontology.kif 3533-3538
(=>
    (instance ?F CottonFabric)
    (material Cotton ?F))
Mid-level-ontology.kif 5128-5130
(=>
    (instance ?I ResistorElement)
    (exists (?S)
        (and
            (subclass ?S InsulatorSubstance)
            (material ?S ?I))))
engineering.kif 853-858
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))
Mid-level-ontology.kif 23572-23578
(=>
    (instance ?K Ketchup)
    (material Tomato ?K))
Food.kif 611-613

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25