| SafetyHarness
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3429-3429 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1557-1557 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3427-3427 | SafetyHarness e' uma sub-classe de SafetyDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3428-3428 | SafetyHarness e' uma sub-classe de WearableItem |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50781-50781 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50780-50780 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50779-50779 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3397-3425 |
|
|
|
|