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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hydrocarbon

Sigma KEE - Hydrocarbon
Hydrocarbon(hydrocarbon)
aromatic_compound, aromatic_hydrocarbon, chlorobenzene, cymene, hydrocarbon, provitamin, pyrene

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


(documentation Hydrocarbon EnglishLanguage "Any OrganicCompound that contains only Carbon and Hydrogen.") Mid-level-ontology.kif 8584-8585
(externalImage Hydrocarbon "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Diels_hydrocarbon.svg") pictureList.kif 4732-4732
(subclass Hydrocarbon OrganicCompound) Mid-level-ontology.kif 8583-8583 Hydrocarbon is a subclass of organic compound

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


(subclass Plastic Hydrocarbon) Mid-level-ontology.kif 9195-9195 Plastic is a subclass of hydrocarbon
(subclass Rubber Hydrocarbon) Mid-level-ontology.kif 9182-9182 Rubber is a subclass of hydrocarbon
(termFormat ChineseLanguage Hydrocarbon "烃") domainEnglishFormat.kif 29019-29019
(termFormat ChineseTraditionalLanguage Hydrocarbon "烴") domainEnglishFormat.kif 29018-29018
(termFormat EnglishLanguage Hydrocarbon "hydrocarbon") domainEnglishFormat.kif 29017-29017

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


(=>
    (and
        (instance ?X Hydrocarbon)
        (instance ?X Molecule))
    (exists (?Y ?Z)
        (and
            (instance ?Y Hydrogen)
            (instance ?Z Carbon)
            (part ?Y ?X)
            (part ?Z ?X))))
naics.kif 3036-3045
(=>
    (instance ?S Hydrocarbon)
    (exists (?P1 ?P2)
        (and
            (equal ?S
                (MereologicalSumFn ?P1 ?P2))
            (instance ?P1 Carbon)
            (instance ?P2 Hydrogen))))
Mid-level-ontology.kif 8587-8593

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PetroleumAndCoalProductsManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Hydrocarbon)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 3053-3069


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 is open source software produced by Articulate Software and its partners