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 |
|
| s__instance(s__objectAttached,s__CaseRole)
|
Merge.kif 12662-12662 | attached is an instance of case role |
| s__subrelation(s__objectAttached,s__patient)
|
Merge.kif 12663-12663 | attached is a subrelation of patient |
| s__domain(s__objectAttached,n__1,s__Process)
|
Merge.kif 12664-12664 | The number 1 argument of attached is an instance of process |
| s__domain(s__objectAttached,n__2,s__Entity)
|
Merge.kif 12665-12665 | The number 2 argument of attached is an instance of entity |
| s__documentation(s__objectAttached, s__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 |
|
|
| s__termFormat(s__EnglishLanguage, s__objectAttached, "attached") | Merge.kif 12668-12668 | |
| s__format(s__EnglishLanguage, s__objectAttached, "%1 attaches %2 to another object") | Merge.kif 12669-12669 |
| consequent |
|
|
| ! [V__A : $i,V__O1 : $i,V__O2 : $i] : (((s__instance(V__A, s__Attaching) & s__patient(V__A, V__O1) & s__patient(V__A, V__O2) & s__holdsDuring(s__BeginFn(s__WhenFn(V__A)), ~(s__connected(V__O1, V__O2))) & s__holdsDuring(s__EndFn(s__WhenFn(V__A)), s__connected(V__O1, V__O2))) => (s__objectAttached(V__A, V__O1) & s__objectAttached(V__A, V__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 |
| ! [V__F] : ((s__instance(V__F,s__Fertilisation) => (? [V__G1,V__G2] : ((s__instance(V__G1,s__Gamete) & s__instance(V__G2,s__Gamete) & ~((V__G1 = V__G2)) & s__objectAttached(V__F,V__G1) & s__objectAttached(V__F,V__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 |
|