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 8036-8039
(externalImage Rubber "http://upload.wikimedia.org/wikipedia/commons/8/86/ Rubber_baseball_2006.jpg") pictureList.kif 4813-4813
(subclass Rubber BodySubstance) Mid-level-ontology.kif 8034-8034
(subclass Rubber Hydrocarbon) Mid-level-ontology.kif 8035-8035
(subclass Rubber PlantSubstance) Mid-level-ontology.kif 8033-8033

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


(termFormat ChineseLanguage Rubber "橡胶") domainEnglishFormat.kif 50540-50540
(termFormat ChineseTraditionalLanguage Rubber "橡膠") domainEnglishFormat.kif 50539-50539
(termFormat EnglishLanguage Rubber "rubber") domainEnglishFormat.kif 50538-50538

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


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

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


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