Hydrocarbon |
appearance as argument number 1 |
(documentation Hydrocarbon EnglishLanguage "Any OrganicCompound that contains only Carbon and Hydrogen.") | Mid-level-ontology.kif 8584-8585 | |
(externalImage Hydrocarbon "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Diels_hydrocarbon.svg") | pictureList.kif 4732-4732 | |
(subclass Hydrocarbon OrganicCompound) | Mid-level-ontology.kif 8583-8583 | Hydrocarbon ist eine teilkategorie von OrganicCompound |
appearance as argument number 2 |
(subclass Plastic Hydrocarbon) | Mid-level-ontology.kif 9195-9195 | Plastic ist eine teilkategorie von Hydrocarbon |
(subclass Rubber Hydrocarbon) | Mid-level-ontology.kif 9182-9182 | Rubber ist eine teilkategorie von 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 8587-8593 |
|
consequent |