Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AtomicGroup(atomic group) |
| appearance as argument number 1 |
|
| (subclass AtomicGroup CompoundSubstance) | Mid-level-ontology.kif 24023-24023 | Atomic group is a subclass of compound substance |
| (documentation AtomicGroup EnglishLanguage "Two or more Atoms that are bound together and comprise part of a Molecule.") | Mid-level-ontology.kif 24024-24025 | Atomic group is a subclass of compound substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?G AtomicGroup) (exists (?ATOM1 ?ATOM2) (and (instance ?ATOM1 Atom) (instance ?ATOM2 Atom) (not (equal ?ATOM1 ?ATOM2)) (part ?ATOM1 ?G) (part ?ATOM2 ?G)))) |
Mid-level-ontology.kif 24027-24035 | If X is an instance of atomic group, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of atom (3) Z is an instance of atom (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X |
| (=> (instance ?G AtomicGroup) (exists (?M) (and (instance ?M Molecule) (part ?G ?M)))) |
Mid-level-ontology.kif 24037-24042 | If X is an instance of atomic group, then there exists Y such that Y is an instance of molecule and X is a part of Y |
|