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 8583-8584 | |
(externalImage Hydrocarbon "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Diels_hydrocarbon.svg") | pictureList.kif 4732-4732 | |
(subclass Hydrocarbon OrganicCompound) | Mid-level-ontology.kif 8582-8582 | Hydrocarbon is a subclass of organic compound |
appearance as argument number 2 |
(subclass Plastic Hydrocarbon) | Mid-level-ontology.kif 9194-9194 | Plastic is a subclass of hydrocarbon |
(subclass Rubber Hydrocarbon) | Mid-level-ontology.kif 9181-9181 | Rubber is a subclass of hydrocarbon |
(termFormat ChineseLanguage Hydrocarbon "烃") | domainEnglishFormat.kif 29019-29019 | |
(termFormat ChineseTraditionalLanguage Hydrocarbon "烴") | domainEnglishFormat.kif 29018-29018 | |
(termFormat EnglishLanguage Hydrocarbon "hydrocarbon") | domainEnglishFormat.kif 29017-29017 |
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 8586-8592 |
|
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 |
|