| Hydrocarbon
| |
| appearance as argument number 1 |
|
|
| (documentation Hydrocarbon EnglishLanguage "Any OrganicCompound that contains only Carbon and Hydrogen.") | Mid-level-ontology.kif 9790-9791 | |
| (externalImage Hydrocarbon "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Diels_hydrocarbon.svg") | pictureList.kif 4731-4731 | |
| (subclass Hydrocarbon OrganicCompound) | Mid-level-ontology.kif 9789-9789 |
| appearance as argument number 2 |
|
|
| (subclass Plastic Hydrocarbon) | Mid-level-ontology.kif 10524-10524 | |
| (subclass Rubber Hydrocarbon) | Mid-level-ontology.kif 10511-10511 | |
| (termFormat ChineseLanguage Hydrocarbon "烃") | domainEnglishFormat.kif 29030-29030 | |
| (termFormat ChineseTraditionalLanguage Hydrocarbon "烴") | domainEnglishFormat.kif 29029-29029 | |
| (termFormat EnglishLanguage Hydrocarbon "hydrocarbon") | domainEnglishFormat.kif 29028-29028 |
| 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 9793-9799 |
| 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 |
|
|
|