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 | OrganicCompound ist eine teilkategorie von CompoundSubstance |
appearance as argument number 2 |
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 |
|