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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rubber
Rubber(橡胶)

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


(documentation Rubber EnglishLanguage "Natural rubber, as opposed to synthetic rubber which is a Plastic, is a product of the rubber tree, genus Hevea or Ficus. It is the coagulated form of the milky juice secreted by these trees. Rubber is essentially a polymer of isoprene. ") Mid-level-ontology.kif 9183-9186
(externalImage Rubber "http://upload.wikimedia.org/wikipedia/commons/8/86/ Rubber_baseball_2006.jpg") pictureList.kif 4812-4812
(roomTempState Rubber Solid) Mid-level-ontology.kif 31646-31646 roomTempState 橡胶 and 固体
(subclass Rubber BodySubstance) Mid-level-ontology.kif 9181-9181 橡胶身体物质subclass
(subclass Rubber Hydrocarbon) Mid-level-ontology.kif 9182-9182 橡胶subclass
(subclass Rubber PlantSubstance) Mid-level-ontology.kif 9180-9180 橡胶植物物质subclass

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


(termFormat ChineseLanguage Rubber "橡胶") domainEnglishFormat.kif 50558-50558
(termFormat ChineseTraditionalLanguage Rubber "橡膠") domainEnglishFormat.kif 50557-50557
(termFormat EnglishLanguage Rubber "rubber") domainEnglishFormat.kif 50556-50556

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


(=>
    (instance ?R Rubber)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?R ?T))))
Mid-level-ontology.kif 9188-9193

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PlasticsAndRubberProductsManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Plastic)
                        (instance ?THING Rubber))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 3497-3515


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



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