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