Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Installing(installing) |  | instal, install, installation, installing, installment, instalment, put_in, retrofit, set_up, wire |
| appearance as argument number 1 |
|
|
| s__subclass(s__Installing,s__Putting)
|
Mid-level-ontology.kif 19821-19821 | Installing is a subclass of putting |
| s__documentation(s__Installing, s__EnglishLanguage, "Putting a Device in a location and configuring the Device so that it can be used as intended after the installation_") | Mid-level-ontology.kif 19822-19823 | Installing is a subclass of putting |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__INSTALL,V__DEVICE] : (((s__instance(V__INSTALL,s__Installing) & s__patient(V__INSTALL,V__DEVICE)) => s__instance(V__DEVICE,s__Device)) )
|
Mid-level-ontology.kif 19825-19829 | If X is an instance of installing and Y is a patient of X, then Y is an instance of device |
| ! [V__DEVICE : $i,V__INSTALL : $i,V__PURPOSE : $i] : (((s__instance(V__INSTALL, s__Installing) & s__patient(V__INSTALL, V__DEVICE) & s__hasPurpose(V__DEVICE, V__PURPOSE)) => s__holdsDuring(s__EndFn(s__WhenFn(V__INSTALL)), s__truth(V__PURPOSE, '$true__m')))) | Mid-level-ontology.kif 19831-19836 | If X is an instance of installing, Y is a patient of X, and Y has the purpose Z, then Z is true holds during the end of the time of existence of X |
|