| FreeAtom(free atom)
|
| 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 11013-11013 | |
| (externalImage FreeAtom "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Atom.png") | pictureList.kif 10021-10021 | |
| (subclass FreeAtom Atom) | Mid-level-ontology.kif 21927-21927 | Free atom is a subclass of atom |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FreeAtom "自由原子") | domainEnglishFormat.kif 24930-24930 | |
| (termFormat ChineseTraditionalLanguage FreeAtom "自由原子") | domainEnglishFormat.kif 24929-24929 | |
| (termFormat EnglishLanguage FreeAtom "free atom") | domainEnglishFormat.kif 24928-24928 |
| antecedent |
|
|
| (=> (instance ?A FreeAtom) (not (exists (?M) (and (instance ?M Molecule) (part ?A ?M))))) |
Mid-level-ontology.kif 21930-21936 |
|
|
|
|