| Hydrocarbon
| |
| 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 4731-4731 | |
| (subclass Hydrocarbon OrganicCompound) | Mid-level-ontology.kif 8801-8801 |
| appearance as argument number 2 |
|
|
| (subclass Plastic Hydrocarbon) | Mid-level-ontology.kif 9413-9413 | |
| (subclass Rubber Hydrocarbon) | Mid-level-ontology.kif 9400-9400 | |
| (termFormat ChineseLanguage Hydrocarbon "烃") | domainEnglishFormat.kif 29048-29048 | |
| (termFormat ChineseTraditionalLanguage Hydrocarbon "烴") | domainEnglishFormat.kif 29047-29047 | |
| (termFormat EnglishLanguage Hydrocarbon "hydrocarbon") | domainEnglishFormat.kif 29046-29046 |
| 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 8805-8811 |
| 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 |
|
|
|