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 8233-8234
(externalImage Hydrocarbon "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Diels_hydrocarbon.svg") pictureList.kif 4733-4733
(subclass Hydrocarbon OrganicCompound) Mid-level-ontology.kif 8232-8232 Hydrocarbon is a subclass of organic compound

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


(subclass Plastic Hydrocarbon) Mid-level-ontology.kif 8853-8853 Plastic is a subclass of hydrocarbon
(subclass Rubber Hydrocarbon) Mid-level-ontology.kif 8840-8840 Rubber is a subclass of hydrocarbon
(termFormat ChineseLanguage Hydrocarbon "烃") domainEnglishFormat.kif 29010-29010
(termFormat ChineseTraditionalLanguage Hydrocarbon "烴") domainEnglishFormat.kif 29009-29009
(termFormat EnglishLanguage Hydrocarbon "hydrocarbon") domainEnglishFormat.kif 29008-29008

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

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