| FreeAtom(free atom)
|
| appearance as argument number 1 |
|
| (documentation FreeAtom EnglishLanguage "Any Atom which is not part of a Molecule.") | Mid-level-ontology.kif 22759-22759 | |
| (externalImage FreeAtom "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Hydrogen_Atom.jpg") | pictureList.kif 11006-11006 | |
| (externalImage FreeAtom "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Atom.png") | pictureList.kif 10019-10019 | |
| (subclass FreeAtom Atom) | Mid-level-ontology.kif 22758-22758 | Free atom is a subclass of atom |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FreeAtom "自由原子") | domainEnglishFormat.kif 24924-24924 | |
| (termFormat ChineseTraditionalLanguage FreeAtom "自由原子") | domainEnglishFormat.kif 24923-24923 | |
| (termFormat EnglishLanguage FreeAtom "free atom") | domainEnglishFormat.kif 24922-24922 |
| antecedent |
|
|
| (=> (instance ?A FreeAtom) (not (exists (?M) (and (instance ?M Molecule) (part ?A ?M))))) |
Mid-level-ontology.kif 22761-22767 |
|
|
|
|