Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| objectAttached |
| appearance as argument number 1 |
|
| (instance objectAttached CaseRole) | Merge.kif 12662-12662 | attached is an instance of case role |
| (subrelation objectAttached patient) | Merge.kif 12663-12663 | attached is a subrelation of patient |
| (domain objectAttached 1 Process) | Merge.kif 12664-12664 | The number 1 argument of attached is an instance of process |
| (domain objectAttached 2 Entity) | Merge.kif 12665-12665 | The number 2 argument of attached is an instance of entity |
| (documentation objectAttached EnglishLanguage "Relates an object that is attached to the Process of Attaching.") | Merge.kif 12666-12667 | The number 2 argument of attached is an instance of entity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage objectAttached "attached") | Merge.kif 12668-12668 | |
| (format EnglishLanguage objectAttached "%1 attaches %2 to another object") | Merge.kif 12669-12669 |
| consequent |
|
|
| (=> (and (instance ?A Attaching) (patient ?A ?O1) (patient ?A ?O2) (holdsDuring (BeginFn (WhenFn ?A)) (not (connected ?O1 ?O2))) (holdsDuring (EndFn (WhenFn ?A)) (connected ?O1 ?O2))) (and (objectAttached ?A ?O1) (objectAttached ?A ?O2))) |
Merge.kif 12671-12685 | If X is an instance of attaching, Y is a patient of X, Z is a patient of X, Y is not connected to Z holds during the beginning of the time of existence of X, and Y is connected to Z holds during the end of the time of existence of X, then X attaches Y to another object and X attaches Z to another object |
| (=> (instance ?F Fertilisation) (exists (?G1 ?G2) (and (instance ?G1 Gamete) (instance ?G2 Gamete) (not (equal ?G1 ?G2)) (objectAttached ?F ?G1) (objectAttached ?F ?G2)))) |
Mid-level-ontology.kif 26262-26271 | If X is an instance of conceiving, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of gamete (3) Z is an instance of gamete (4) equal Y (5) Z (6) X attaches Y to another object (7) X attaches Z to another object |
|