TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Rubber PlantSubstance)	Mid-level-ontology.kif 10677-10677	Rubber is a subclass of plant substance
(subclass Rubber BodySubstance)	Mid-level-ontology.kif 10678-10678	Rubber is a subclass of body substance
(subclass Rubber Hydrocarbon)	Mid-level-ontology.kif 10679-10679	Rubber is a subclass of hydrocarbon
(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 10680-10683	Rubber is a subclass of hydrocarbon
(roomTempState Rubber Solid)	Mid-level-ontology.kif 34081-34081	room temperature state rubber and solid
(externalImage Rubber "http://upload.wikimedia.org/wikipedia/commons/8/86/ Rubber_baseball_2006.jpg")	pictureList.kif 4811-4811	room temperature state rubber and solid

appearance as argument number 2

(termFormat EnglishLanguage Rubber "rubber")	domainEnglishFormat.kif 50553-50553
(termFormat ChineseTraditionalLanguage Rubber "橡膠")	domainEnglishFormat.kif 50554-50554
(termFormat ChineseLanguage Rubber "橡胶")	domainEnglishFormat.kif 50555-50555

antecedent

(=>
    (instance ?R Rubber)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?R ?T))))

Mid-level-ontology.kif 10685-10690

If X is an instance of rubber, then there exists Y such that Y is an instance of botanical tree and X is a part of Y

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

If X is an instance of organization and plastics and rubber products manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of plastic or W is an instance of rubber (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U

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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: