| Molecule(分子)
| |
| 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 15558-15561 | |
| (externalImage Molecule "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Atisane3.png") | pictureList.kif 6707-6707 | |
| (subclass Molecule CompoundSubstance) | Merge.kif 15557-15557 | 分子 は 合成物質 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass AmphipathicMolecule Molecule) | VirusProteinAndCellPart.kif 447-447 | AmphipathicMolecule は 分子 の subclass では %n |
| (subclass Caffeine Molecule) | Mid-level-ontology.kif 21576-21576 | Caffeine は 分子 の subclass では %n |
| (subclass DNAMolecule Molecule) | VirusProteinAndCellPart.kif 44-44 | DNAMolecule は 分子 の subclass では %n |
| (subclass RNAMolecule Molecule) | VirusProteinAndCellPart.kif 73-73 | RNAMolecule は 分子 の subclass では %n |
| (subclass ViralGenome Molecule) | VirusProteinAndCellPart.kif 599-599 | ViralGenome は 分子 の subclass では %n |
| (termFormat ChineseLanguage Molecule "分子") | chinese_format.kif 1047-1047 | |
| (termFormat EnglishLanguage Molecule "molecule") | english_format.kif 1305-1305 | |
| (termFormat FrenchLanguage Molecule "mol�cule") | french_format.kif 725-725 | |
| (termFormat Hindi Molecule "mOlikyUla") | terms-hindi.txt 256-256 | |
| (termFormat ItalianLanguage Molecule "Molecola") | terms-it.txt 257-257 | |
| (termFormat JapaneseLanguage Molecule "分子") | japanese_format.kif 2409-2409 | |
| (termFormat PortugueseLanguage Molecule "Molecula") | portuguese_format.kif 677-677 | |
| (termFormat cz Molecule "molecule") | terms-cz.txt 295-295 | |
| (termFormat ro Molecule "moleculã") | relations-ro.kif 746-746 | |
| (termFormat tg Molecule "maliit na butil") | terms-tg.txt 260-260 |
| appearance as argument number 3 |
|
|
| (domain geneticSubstrateOfVirus 2 Molecule) | VirusProteinAndCellPart.kif 36-36 | geneticSubstrateOfVirus の数値 2 引数は 分子 の instance では %n |
| (domain hasMolecularStructuralAttribute 1 Molecule) | VirusProteinAndCellPart.kif 119-119 | hasMolecularStructuralAttribute の数値 1 引数は 分子 の instance では %n |
| 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 2558-2573 |
|
| (=> (and (instance ?COMPOUND OrganicCompound) (instance ?COMPOUND Molecule)) (exists (?CARBON) (and (instance ?CARBON Carbon) (part ?CARBON ?COMPOUND)))) |
Mid-level-ontology.kif 8535-8542 | |
| (=> (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 15563-15572 |
| 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 21663-21678 | |
| (=> (instance ?A FreeAtom) (not (exists (?M) (and (instance ?M Molecule) (part ?A ?M))))) |
Mid-level-ontology.kif 21622-21628 | |
| (=> (instance ?G AtomicGroup) (exists (?M) (and (instance ?M Molecule) (part ?G ?M)))) |
Mid-level-ontology.kif 21694-21699 | |
| (=> (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 21638-21653 |
|
|
|