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

appearance as argument number 2

(subclass Plastic Hydrocarbon)	Mid-level-ontology.kif 10091-10091	Plastic is a subclass of hydrocarbon
(subclass Rubber Hydrocarbon)	Mid-level-ontology.kif 10078-10078	Rubber is a subclass of hydrocarbon
(termFormat ChineseLanguage Hydrocarbon "烃")	domainEnglishFormat.kif 29047-29047	Rubber is a subclass of hydrocarbon
(termFormat ChineseTraditionalLanguage Hydrocarbon "烴")	domainEnglishFormat.kif 29046-29046	Rubber is a subclass of hydrocarbon
(termFormat EnglishLanguage Hydrocarbon "hydrocarbon")	domainEnglishFormat.kif 29045-29045	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 9360-9366	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: