OrganicCompound(organic compound) | acetone, dimethyl_ketone, glycerin, glycerine, glycerol, organic, organic_compound, propanone |
appearance as argument number 1 |
(documentation OrganicCompound EnglishLanguage "Any CompoundSubstance that has a Carbon base.") | Mid-level-ontology.kif 8587-8588 | |
(subclass OrganicCompound CompoundSubstance) | Mid-level-ontology.kif 8586-8586 | Organic compound is a subclass of compound substance |
appearance as argument number 2 |
(subclass Alcohol OrganicCompound) | Mid-level-ontology.kif 8639-8639 | Alcohol is a subclass of organic compound |
(subclass AminoAcid OrganicCompound) | Mid-level-ontology.kif 8723-8723 | Amino acid is a subclass of organic compound |
(subclass Hydrocarbon OrganicCompound) | Mid-level-ontology.kif 8610-8610 | Hydrocarbon is a subclass of organic compound |
(subclass Steroid OrganicCompound) | Mid-level-ontology.kif 8605-8605 | Steroid is a subclass of organic compound |
(subclass Urea OrganicCompound) | Mid-level-ontology.kif 8599-8599 | Urea is a subclass of organic compound |
(subclass WoodProduct OrganicCompound) | Economy.kif 5225-5225 | Wood product is a subclass of organic compound |
(termFormat ChineseLanguage OrganicCompound "有机化合物") | domainEnglishFormat.kif 42476-42476 | |
(termFormat ChineseTraditionalLanguage OrganicCompound "有機化合物") | domainEnglishFormat.kif 42475-42475 | |
(termFormat EnglishLanguage OrganicCompound "organic compound") | domainEnglishFormat.kif 42474-42474 |
antecedent |
(=> (and (instance ?COMPOUND OrganicCompound) (instance ?COMPOUND Molecule)) (exists (?CARBON) (and (instance ?CARBON Carbon) (part ?CARBON ?COMPOUND)))) |
Mid-level-ontology.kif 8590-8597 |
|
consequent |
(=> (instance ?PP PetroleumProduct) (exists (?O) (and (instance ?O OrganicCompound) (part ?O ?PP)))) |
Mid-level-ontology.kif 1673-1678 |
|