|
|
  MakingFn
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Molecule ChineseLanguage "分子是 CompoundSubstance在能保留该物质所有的物理和 化学性质下最小的物质单位，例如：Ne、 H2和H2O等。分子是由两个或以上的 Atom 以化学键联系的。") | chinese_format.kif 3577-3578 | |
| (documentation Molecule EnglishLanguage "A molecule is the smallest unit of matter of a CompoundSubstance that retains all the physical and chemical properties of that substance, e.g., Ne, H2, H2O. A molecule is two or more Atoms linked by a chemical bond.") | Merge.kif 15721-15724 | |
| (externalImage Molecule "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Atisane3.png") | pictureList.kif 6706-6706 | |
| (subclass Molecule CompoundSubstance) | Merge.kif 15720-15720 | Molecule ist eine teilkategorie von CompoundSubstance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain geneticSubstrateOfVirus 2 Molecule) | VirusProteinAndCellPart.kif 36-36 | Die Zahl 2 Argument von geneticSubstrateOfVirus ist ein fall von Molecule %n{nicht} |
| (domain hasMolecularStructuralAttribute 1 Molecule) | VirusProteinAndCellPart.kif 164-164 | Die Zahl 1 Argument von hasMolecularStructuralAttribute ist ein fall von Molecule %n{nicht} |
| antecedent |
|
|
| (=> (and (instance ?CD CarbonDioxide) (instance ?CD Molecule)) (exists (?C ?O1 ?O2) (and (instance ?C Carbon) (instance ?O1 Oxygen) (instance ?O2 Oxygen) (instance ?C Atom) (instance ?O1 Atom) (instance ?O2 Atom) (part ?C ?CD) (part ?O1 ?CD) (part ?O2 ?CD) (not (equal ?O1 ?O2))))) |
Food.kif 3414-3429 |
|
| (=> (and (instance ?COMPOUND OrganicCompound) (instance ?COMPOUND Molecule)) (exists (?CARBON) (and (instance ?CARBON Carbon) (part ?CARBON ?COMPOUND)))) |
Mid-level-ontology.kif 8781-8788 |
|
| (=> (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 ?MOLE Molecule) (exists (?ATOM1 ?ATOM2) (and (instance ?ATOM1 Atom) (instance ?ATOM2 Atom) (part ?ATOM1 ?MOLE) (part ?ATOM2 ?MOLE) (not (equal ?ATOM1 ?ATOM2))))) |
Merge.kif 15726-15735 |
|
| consequent |
|
|
| (=> (electronNumber ?SUBSTANCE ?NUMBER) (=> (exists (?ATOM) (and (part ?ATOM ?SUBSTANCE) (or (instance ?ATOM Atom) (instance ?ATOM Molecule)))) (exists (?ELECTRON) (equal ?NUMBER (CardinalityFn (KappaFn ?ELECTRON (and (part ?ELECTRON ?ATOM) (instance ?ELECTRON Electron)))))))) |
Mid-level-ontology.kif 22003-22018 |
|
| (=> (instance ?A FreeAtom) (not (exists (?M) (and (instance ?M Molecule) (part ?A ?M))))) |
Mid-level-ontology.kif 21962-21968 |
|
| (=> (instance ?G AtomicGroup) (exists (?M) (and (instance ?M Molecule) (part ?G ?M)))) |
Mid-level-ontology.kif 22059-22064 |
|
| (=> (protonNumber ?SUBSTANCE ?NUMBER) (=> (exists (?ATOM) (and (part ?ATOM ?SUBSTANCE) (or (instance ?ATOM Atom) (instance ?ATOM Molecule)))) (exists (?PROTON) (equal ?NUMBER (CardinalityFn (KappaFn ?PROTON (and (part ?PROTON ?ATOM) (instance ?PROTON Proton)))))))) |
Mid-level-ontology.kif 21978-21993 |
|
|
|
|
