FreeAtom |
appearance as argument number 1 |
(documentation FreeAtom EnglishLanguage "Any Atom which is not part of a Molecule.") | Mid-level-ontology.kif 21697-21697 | |
(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 21696-21696 | FreeAtom e' uma sub-classe de Atomo |
appearance as argument number 2 |
(termFormat ChineseLanguage FreeAtom "自由原子") | domainEnglishFormat.kif 24896-24896 | |
(termFormat ChineseTraditionalLanguage FreeAtom "自由原子") | domainEnglishFormat.kif 24895-24895 | |
(termFormat EnglishLanguage FreeAtom "free atom") | domainEnglishFormat.kif 24894-24894 |
antecedent |
(=> (instance ?A FreeAtom) (not (exists (?M) (and (instance ?M Molecule) (part ?A ?M))))) |
Mid-level-ontology.kif 21699-21705 |