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


s__documentation(s__material__m,s__ChineseLanguage,'"(material ?SUBSTANCE ?OBJECT) 的意思是 ?OBJECT 是由 ?SUBSTANCE 作为部件所构成的。 这个关系包括 「组成」、「做成」和「形成」等概念。例子有 塑料是我电算计屏幕的一种 material。可参考比较 part 和它的子关系,即 componentpiece。"')

chinese_format.kif 1581-1583
s__documentation(s__material__m,s__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
s__domain(s__material__m,n__2,s__CorpuscularObject)

Merge.kif 930-930 The number 2 argument of material is an instance of corpuscular object
s__domainSubclass(s__material__m,n__1,s__Substance)

Merge.kif 929-929 The number 1 argument of material is a subclass of substance
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__material__m,s__BinaryPredicate)

Merge.kif 928-928 material is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__material__m,'"%1 %n 是 %2 的材料"')

chinese_format.kif 151-151
s__format(s__EnglishLanguage,s__material__m,'"%2 is %n made of %1"')

english_format.kif 152-152
s__subrelation(s__ingredient__m,s__material__m)

Merge.kif 1130-1130 ingredient is a subrelation of material
s__termFormat(s__ChineseLanguage,s__material__m,'"材料"')

chinese_format.kif 152-152
s__termFormat(s__ChineseTraditionalLanguage,s__material__m,'"材料"')

domainEnglishFormat.kif 36437-36437
s__termFormat(s__EnglishLanguage,s__material__m,'"material"')

domainEnglishFormat.kif 36436-36436

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1717-1733

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


( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__PaperManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Agent) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__EV,V__MEM)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Manufacture) &
                     (s__instance(V__THING,s__Paper) |
                       s__material(V__THING,s__Paper))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 2717-2735
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__WoodProductManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Manufacture) &
                     (s__instance(V__THING,s__Wood) |
                       s__material(V__THING,s__Wood))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 2563-2581
( ! [V__A] :
   ((s__instance(V__A,s__Aioli) =>
       ((s__material(s__Garlic,V__A)
         &
         s__material(s__OliveOil,V__A))))
)
)

Food.kif 395-399
( ! [V__ADAPT] :
   ((s__instance(V__ADAPT,s__OutletAdapter) =>
       (( ? [V__HOLE] :
           ((s__instance(V__HOLE,s__Collection) &
               s__memberType(V__HOLE,s__Hole) &
               s__part(V__HOLE,V__ADAPT)
             &
             s__material(s__Metal,V__ADAPT))))))
)
)

Mid-level-ontology.kif 25005-25012
( ! [V__B] :
   ((s__instance(V__B,s__Bacon) =>
       (s__material(s__SodiumChloride,V__B)))
   )
)

Food.kif 444-446
( ! [V__B] :
   ((s__instance(V__B,s__Brick) =>
       (s__material(s__Clay,V__B)))
   )
)

Mid-level-ontology.kif 4470-4472
( ! [V__BB] :
   ((s__instance(V__BB,s__BallBearing) =>
       (s__material(s__Metal,V__BB)))
   )
)

Cars.kif 1409-1411
No TPTP formula. May not be expressible in strict first order. Geography.kif 4526-4531
( ! [V__C] :
   ((s__instance(V__C,s__Calamari) =>
       (( ? [V__S] :
           ((s__subclass(V__S,s__Substance) &
               s__subclass(V__S,s__OrganicObject) &
               (s__meatOfAnimal(V__S,s__Squid) &
                 s__material(V__S,V__C)))))))
   )
)

Food.kif 471-476
( ! [V__C] :
   ((s__instance(V__C,s__Cappuccino) =>
       (s__material(s__Coffee,V__C)))
   )
)

Food.kif 487-489
( ! [V__C] :
   ((s__instance(V__C,s__Cappuccino) =>
       (s__material(s__Milk,V__C)))
   )
)

Food.kif 483-485
( ! [V__C] :
   ((s__subclass(V__C,s__Substance) =>
       ((s__instance(V__C,s__Carabiner) =>
           (s__material(V__C,s__Metal)))))
     )
   )

Mid-level-ontology.kif 29841-29843
( ! [V__C] :
   ((s__instance(V__C,s__Cask) =>
       (s__material(s__Wood,V__C)))
   )
)

Food.kif 993-995
( ! [V__C] :
   ((s__instance(V__C,s__Chocolate) =>
       (s__material(s__Cocoa,V__C)))
   )
)

Food.kif 501-503
( ! [V__C] :
   ((s__instance(V__C,s__ElectricalConductor) =>
       (( ? [V__S] :
           ((s__subclass(V__S,s__Substance) &
               s__instance(V__S,s__Class) &
               (s__subclass(V__S,s__ConductorSubstance) &
                 s__material(V__S,V__C)))))))
   )
)

engineering.kif 824-829
( ! [V__C] :
   ((s__instance(V__C,s__HolidayCard) =>
       (s__material(s__Paper,V__C)))
   )
)

Mid-level-ontology.kif 14035-14037
( ! [V__C] :
   ((s__instance(V__C,s__PlayingCard) =>
       (s__material(s__Paper,V__C)))
   )
)

Mid-level-ontology.kif 16229-16231
( ! [V__CANDLE] :
   ((s__instance(V__CANDLE,s__Candle) =>
       (s__material(s__Wax,V__CANDLE)))
   )
)

Mid-level-ontology.kif 2960-2962
( ! [V__CF] :
   ((s__instance(V__CF,s__CharcoalFilter) =>
       (( ? [V__C] :
           ((s__subclass(V__C,s__Substance) &
               s__instance(V__C,s__Class) &
               (s__subclass(V__C,s__Charcoal) &
                 s__material(V__C,V__CF)))))))
   )
)

Cars.kif 1688-1693
( ! [V__CL] :
   ((s__instance(V__CL,s__ChainLink) =>
       (s__material(s__Metal,V__CL)))
   )
)

Cars.kif 4432-4434
( ! [V__COIN] :
   ((s__instance(V__COIN,s__CurrencyCoin) =>
       (( ? [V__METAL] :
           ((s__subclass(V__METAL,s__Substance) &
               s__instance(V__METAL,s__Class) &
               (s__subclass(V__METAL,s__Metal) &
                 s__material(V__METAL,V__COIN)))))))
   )
)

Mid-level-ontology.kif 3535-3540
( ! [V__F] :
   ((s__instance(V__F,s__CottonFabric) =>
       (s__material(s__Cotton,V__F)))
   )
)

Mid-level-ontology.kif 5131-5133
( ! [V__G] :
   ((s__instance(V__G,s__Gland) =>
       (s__material(s__EpithelialTissue,V__G)))
   )
)

Merge.kif 14551-14553
( ! [V__I] :
   ((s__instance(V__I,s__ResistorElement) =>
       (( ? [V__S] :
           ((s__subclass(V__S,s__Substance) &
               s__instance(V__S,s__Class) &
               (s__subclass(V__S,s__InsulatorSubstance) &
                 s__material(V__S,V__I)))))))
   )
)

engineering.kif 853-858
( ! [V__IRON] :
   ((s__instance(V__IRON,s__FabricIron) =>
       (( ? [V__BASE] :
           ((s__instance(V__BASE,s__CorpuscularObject) &
               (s__bottom(V__BASE,V__IRON)
               &
               s__material(s__Metal,V__BASE)
             &
             s__attribute(V__BASE,s__Flat)))))))
)
)

Mid-level-ontology.kif 24189-24195

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25