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 和它的子关系，即 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 974-978
(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 972-972 Le nombre 2 argument de material est une instance de objet corpusculaire
(domainSubclass material 1 Substance) Merge.kif 971-971 Le nombre 1 argument de material est une sous-classe de substance
(instance material BinaryPredicate) Merge.kif 970-970 material est une instance de pr�dicat binaire

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 1201-1201 ingredient est une sous-relation de material
(termFormat ChineseLanguage material "材料") chinese_format.kif 152-152 ingredient est une sous-relation de material
(termFormat ChineseTraditionalLanguage material "材料") domainEnglishFormat.kif 36480-36480 ingredient est une sous-relation de material
(termFormat EnglishLanguage material "material") domainEnglishFormat.kif 36479-36479 ingredient est une sous-relation de material
(termFormat de material "material") terms-de.txt 56-56 ingredient est une sous-relation de material
(termFormat tg material "kasangkapan") relations-tg.txt 346-346 ingredient est une sous-relation de 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 1724-1740
(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (or
        (subclass ?MAT Metal)
        (subclass ?MAT Wood)
        (subclass ?MAT Plastic)))		 Sports.kif 1042-1049

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
(=>
    (equal
        (MeasureFn ?X PoundForce)
        (JankaHardnessFn ?CLASS))
    (modalAttribute
        (exists (?T ?W ?P ?B ?H ?S)
            (and
                (instance ?T ?CLASS)
                (part ?W ?T)
                (instance ?W Wood)
                (instance ?P Pushing)
                (destination ?P ?W)
                (instance ?B Ball)
                (material ?B Steel)
                (patient ?P ?B)
                (sphereRadius ?B
                    (MeasureFn 5.64 Millimeter))
                (result ?P ?H)
                (instance ?H HoleRegion)
                (part ?H ?W)
                (surface ?S ?W)
                (distance ?S ?H
                    (MeasureFn 5.64 Millimeter))
                (measure ?P
                    (MeasureFn ?X PoundForce)))) Likely))		 Mid-level-ontology.kif 9964-9987
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))		 Mid-level-ontology.kif 27063-27070
(=>
    (instance ?B Bacon)
    (material SodiumChloride ?B))		 Food.kif 2139-2141
(=>
    (instance ?B Basket)
    (material Wicker ?B))		 Mid-level-ontology.kif 4568-4570
(=>
    (instance ?B Bone)
    (material BoneTissue ?B))		 Merge.kif 15277-15279
(=>
    (instance ?B Brick)
    (material Clay ?B))		 Mid-level-ontology.kif 4821-4823
(=>
    (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 4801-4809
(=>
    (instance ?C Calamari)
    (exists (?S)
        (and
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))		 Food.kif 2410-2415
(=>
    (instance ?C Cappuccino)
    (and
        (material MilkFoam ?C)
        (material Espresso ?C)))		 Food.kif 1279-1283
(=>
    (instance ?C Carabiner)
    (material Metal ?C))		 Mid-level-ontology.kif 31908-31910
(=>
    (instance ?C Cask)
    (material Wood ?C))		 Food.kif 3580-3582
(=>
    (instance ?C Coffee)
    (material DrinkingWater ?C))		 Food.kif 641-643
(=>
    (instance ?C ElectricalConductor)
    (exists (?S)
        (and
            (subclass ?S ConductorSubstance)
            (material ?S ?C))))		 engineering.kif 1139-1144
(=>
    (instance ?C HolidayCard)
    (material Paper ?C))		 Mid-level-ontology.kif 15799-15801
(=>
    (instance ?C PlayingCard)
    (material Paper ?C))		 Mid-level-ontology.kif 18057-18059
(=>
    (instance ?CANDLE Candle)
    (material Wax ?CANDLE))		 Mid-level-ontology.kif 3092-3094
(=>
    (instance ?CF CharcoalFilter)
    (exists (?C)
        (and
            (subclass ?C Charcoal)
            (material ?C ?CF))))		 Cars.kif 1695-1700
(=>
    (instance ?CHOC ChocolateCandy)
    (and
        (material CocoaLiquor ?CHOC)
        (material Oil ?CHOC)
        (material Sugar ?CHOC)))		 Food.kif 2500-2505
(=>
    (instance ?CL ChainLink)
    (material Metal ?CL))		 Cars.kif 4490-4492
(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))		 Mid-level-ontology.kif 3666-3671
(=>
    (instance ?D Dune)
    (material Sand ?D))		 Geography.kif 4466-4468
(=>
    (instance ?F CottonFabric)
    (material Cotton ?F))		 Mid-level-ontology.kif 6011-6013

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25