| OrganicCompound(有機化合物) | |
| appearance as argument number 1 |
|
|
| (documentation OrganicCompound EnglishLanguage "Any CompoundSubstance that has a Carbon base.") | Mid-level-ontology.kif 8560-8561 | |
| (subclass OrganicCompound CompoundSubstance) | Mid-level-ontology.kif 8559-8559 | 子類 有機化合物 and CompoundSubstance |
| appearance as argument number 2 |
|
|
| (subclass Alcohol OrganicCompound) | Mid-level-ontology.kif 8612-8612 | 子類 醇 and 有機化合物 |
| (subclass AminoAcid OrganicCompound) | Mid-level-ontology.kif 8696-8696 | 子類 氨基酸 and 有機化合物 |
| (subclass Hydrocarbon OrganicCompound) | Mid-level-ontology.kif 8583-8583 | 子類 烴 and 有機化合物 |
| (subclass Steroid OrganicCompound) | Mid-level-ontology.kif 8578-8578 | 子類 類固醇 and 有機化合物 |
| (subclass Urea OrganicCompound) | Mid-level-ontology.kif 8572-8572 | 子類 尿素 and 有機化合物 |
| (subclass WoodProduct OrganicCompound) | Economy.kif 5225-5225 | 子類 WoodProduct and 有機化合物 |
| (termFormat ChineseLanguage OrganicCompound "有机化合物") | domainEnglishFormat.kif 42474-42474 | |
| (termFormat ChineseTraditionalLanguage OrganicCompound "有機化合物") | domainEnglishFormat.kif 42473-42473 | |
| (termFormat EnglishLanguage OrganicCompound "organic compound") | domainEnglishFormat.kif 42472-42472 |
| antecedent |
|
|
| (=> (and (instance ?COMPOUND OrganicCompound) (instance ?COMPOUND Molecule)) (exists (?CARBON) (and (instance ?CARBON Carbon) (part ?CARBON ?COMPOUND)))) |
Mid-level-ontology.kif 8563-8570 |
| consequent |
|
|
| (=> (instance ?PP PetroleumProduct) (exists (?O) (and (instance ?O OrganicCompound) (part ?O ?PP)))) |
Mid-level-ontology.kif 1680-1685 |
|
|
|