|
|
  AbunLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3413-3414 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3411-3411 | Safety device is a subclass of device |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32776-32776 | Climbing carabiner is a subclass of safety device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3505-3505 | Hearing protection is a subclass of safety device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4420-4420 | Helmet is a subclass of safety device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4803-4803 | Motorcycle glove is a subclass of safety device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3539-3539 | Protective eyewear is a subclass of safety device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3587-3587 | Respirator is a subclass of safety device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3480-3480 | Safety harness is a subclass of safety device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3616-3616 | Safety vest is a subclass of safety device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3436-3436 | Vehicle safety device is a subclass of safety device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3412-3412 | Vehicle safety device is a subclass of safety device |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3416-3434 |
|
|
|
|