Hydrocarbon - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass Plastic Hydrocarbon)	Mid-level-ontology.kif 9413-9413	Plastic is a subclass of hydrocarbon
(subclass Rubber Hydrocarbon)	Mid-level-ontology.kif 9400-9400	Rubber is a subclass of hydrocarbon
(termFormat ChineseLanguage Hydrocarbon "烃")	domainEnglishFormat.kif 29053-29053	Rubber is a subclass of hydrocarbon
(termFormat ChineseTraditionalLanguage Hydrocarbon "烴")	domainEnglishFormat.kif 29052-29052	Rubber is a subclass of hydrocarbon
(termFormat EnglishLanguage Hydrocarbon "hydrocarbon")	domainEnglishFormat.kif 29051-29051	Rubber is a subclass of hydrocarbon

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	If an object is an instance of hydrocarbon and the object is an instance of molecule, then there exist another object and a third object such that the other object is an instance of hydrogen and the third object is an instance of carbon and the other object is a part of the object and the third object is a part of the object
(=> (instance ?S Hydrocarbon) (exists (?P1 ?P2) (and (equal ?S (MereologicalSumFn ?P1 ?P2)) (instance ?P1 Carbon) (instance ?P2 Hydrogen))))	Mid-level-ontology.kif 8805-8811	If an object is an instance of hydrocarbon, then there exist another object and a third object such that the object is equal to the union of the parts of the other object and the third object and the other object is an instance of carbon and the third object is an instance of hydrogen

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

If a collection is an instance of organization and petroleum and coal products manufacturing is an attribute of the collection,
then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of hydrocarbon and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2

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

KB Term:			Term intersection

English Word: