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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Hydrocarbon

appearance as argument number 1

(documentation Hydrocarbon EnglishLanguage "Any OrganicCompound that contains only Carbon and Hydrogen.") Mid-level-ontology.kif 8556-8557
(externalImage Hydrocarbon " 2/ 20/ Diels_hydrocarbon.svg") pictureList.kif 4732-4732
(subclass Hydrocarbon OrganicCompound) Mid-level-ontology.kif 8555-8555

appearance as argument number 2

(subclass Plastic Hydrocarbon) Mid-level-ontology.kif 9167-9167
(subclass Rubber Hydrocarbon) Mid-level-ontology.kif 9154-9154
(termFormat ChineseLanguage Hydrocarbon "烃") domainEnglishFormat.kif 29025-29025
(termFormat ChineseTraditionalLanguage Hydrocarbon "烴") domainEnglishFormat.kif 29024-29024
(termFormat EnglishLanguage Hydrocarbon "hydrocarbon") domainEnglishFormat.kif 29023-29023


        (instance ?X Hydrocarbon)
        (instance ?X Molecule))
    (exists (?Y ?Z)
            (instance ?Y Hydrogen)
            (instance ?Z Carbon)
            (part ?Y ?X)
            (part ?Z ?X))))
naics.kif 3036-3045
    (instance ?S Hydrocarbon)
    (exists (?P1 ?P2)
            (equal ?S
                (MereologicalSumFn ?P1 ?P2))
            (instance ?P1 Carbon)
            (instance ?P2 Hydrogen))))
Mid-level-ontology.kif 8559-8565


        (instance ?ORG Organization)
        (attribute ?ORG PetroleumAndCoalProductsManufacturing))
    (exists (?EV ?MEM)
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                    (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 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