Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

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


(subclass Rubber Hydrocarbon) Mid-level-ontology.kif 10679-10679 Rubber is a subclass of hydrocarbon
(subclass Plastic Hydrocarbon) Mid-level-ontology.kif 10692-10692 Plastic is a subclass of hydrocarbon
(termFormat EnglishLanguage Hydrocarbon "hydrocarbon") domainEnglishFormat.kif 29021-29021 Plastic is a subclass of hydrocarbon
(termFormat ChineseTraditionalLanguage Hydrocarbon "烴") domainEnglishFormat.kif 29022-29022 Plastic is a subclass of hydrocarbon
(termFormat ChineseLanguage Hydrocarbon "烃") domainEnglishFormat.kif 29023-29023 Plastic is a subclass of hydrocarbon

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


(=>
    (instance ?S Hydrocarbon)
    (exists (?P1 ?P2)
        (and
            (equal ?S
                (MereologicalSumFn ?P1 ?P2))
            (instance ?P1 Carbon)
            (instance ?P2 Hydrogen))))		 Mid-level-ontology.kif 9946-9952 If X is an instance of hydrocarbon, then there exist Y, Z such that equal X, the union of the parts of Y, Z, Y is an instance of carbon, and Z is an instance of hydrogen
(=>
    (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 3030-3039 If X is an instance of hydrocarbon and X is an instance of molecule, then there exist Y, Z such that Y is an instance of hydrogen, Z is an instance of carbon, Y is a part of X, and Z is a part of X

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 3047-3063 If X is an instance of organization and petroleum and coal 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 hydrocarbon (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