![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation OrganicCompound EnglishLanguage "Any CompoundSubstance that has a Carbon base.") | Mid-level-ontology.kif 8559-8560 | |
(subclass OrganicCompound CompoundSubstance) | Mid-level-ontology.kif 8558-8558 | 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 8562-8569 |
|
consequent |
![]() |
(=> (instance ?PP PetroleumProduct) (exists (?O) (and (instance ?O OrganicCompound) (part ?O ?PP)))) |
Mid-level-ontology.kif 1680-1685 |
|
![]() |
![]() |