| Installing(installing) | | instal, install, installation, installing, installment, instalment, put_in, retrofit, set_up, wire |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14468-14469 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14467-14467 | Installing is a subclass of putting |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30228-30228 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30227-30227 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30226-30226 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14477-14482 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14471-14475 |
|
|
|
|