(=>     (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 21688-21703

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners