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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BirthdayNotification

Sigma KEE - material
material

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


(documentation material ChineseLanguage "(material ?SUBSTANCE ?OBJECT) 的意思是 ?OBJECT 是由 ?SUBSTANCE 作为部件所构成的。 这个关系包括 「组成」、「做成」和「形成」等概念。例子有 塑料是我电算计屏幕的一种 material。可参考比较 part 和它的子关系,即 componentpiece。") Merge.kif 1020-1022
(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 1015-1019
(domain material 2 CorpuscularObject) Merge.kif 1014-1014
(domainSubclass material 1 Substance) Merge.kif 1013-1013
(instance material BinaryPredicate) Merge.kif 1012-1012

appearance as argument number 2
-------------------------


(format ChineseLanguage material "%1 %n 是 %2 的材料") chinese_format.kif 151-151
(format EnglishLanguage material "%1 is %n made of %2") english_format.kif 102-102
(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 PortugueseLanguage material "%1 e' %n feito de %2") portuguese_format.kif 48-48
(format ar material "%1 هو %n مَصْنُوع مِن %2") arabic_format.kif 46-46
(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 tg material "%1 %n ay mayari ng %2") relations-tg.txt 345-345
(subrelation ingredient material) Food.kif 94-94
(termFormat ChineseLanguage material "材料") chinese_format.kif 152-152
(termFormat EnglishLanguage material "material") domainEnglishFormat.kif 6494-6494
(termFormat ar material "«مَصْنُوع مِن»") arabic_format.kif 496-496
(termFormat tg material "kasangkapan") relations-tg.txt 346-346

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 1753-1769

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 458-462
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 23513-23520
(=>
    (instance ?B Bacon)
    (material SodiumChloride ?B))
Food.kif 507-509
(=>
    (instance ?B Brick)
    (material Clay ?B))
Mid-level-ontology.kif 5070-5072
(=>
    (instance ?BB BallBearing)
    (material Metal ?BB))
Cars.kif 1445-1447
(=>
    (instance ?BERG Iceberg)
    (exists (?SHEET)
        (and
            (instance ?SHEET Glacier)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?BERG))
                (material ?BERG ?SHEET)))))
Geography.kif 4426-4431
(=>
    (instance ?C Calamari)
    (exists (?S)
        (and
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))
Food.kif 534-539
(=>
    (instance ?C Cappuccino)
    (material Coffee ?C))
Food.kif 550-552
(=>
    (instance ?C Cappuccino)
    (material Milk ?C))
Food.kif 546-548
(=>
    (instance ?C Cask)
    (material Wood ?C))
Food.kif 1048-1050
(=>
    (instance ?C Chocolate)
    (material Cocoa ?C))
Food.kif 564-566
(=>
    (instance ?C ElectricalConductor)
    (exists (?S)
        (and
            (subclass ?S ConductorSubstance)
            (material ?S ?C))))
engineering.kif 830-835
(=>
    (instance ?C HolidayCard)
    (material Paper ?C))
Mid-level-ontology.kif 12315-12317
(=>
    (instance ?C PlayingCard)
    (material Paper ?C))
Mid-level-ontology.kif 14453-14455
(=>
    (instance ?CANDLE Candle)
    (material Wax ?CANDLE))
Mid-level-ontology.kif 3563-3565
(=>
    (instance ?CF CharcoalFilter)
    (exists (?C)
        (and
            (subclass ?C Charcoal)
            (material ?C ?CF))))
Cars.kif 1724-1729
(=>
    (instance ?CL ChainLink)
    (material Metal ?CL))
Cars.kif 4434-4436
(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))
Mid-level-ontology.kif 4131-4136
(=>
    (instance ?F CottonFabric)
    (material Cotton ?F))
Mid-level-ontology.kif 5702-5704
(=>
    (instance ?I ResistorElement)
    (exists (?S)
        (and
            (subclass ?S InsulatorSubstance)
            (material ?S ?I))))
engineering.kif 859-864
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))
Mid-level-ontology.kif 22687-22693
(=>
    (instance ?K Ketchup)
    (material Tomato ?K))
Food.kif 656-658
(=>
    (instance ?L Liqueur)
    (material Sugar ?L))
Food.kif 682-684

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners