|
|
   Tire
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4766-4769 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4765-4765 | Tire 是 设备 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4800-4800 | ATVTire 是 Tire 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4633-4633 | FourByFourTire 是 Tire 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4977-4977 | MudTire 是 Tire 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4770-4770 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4787-4789 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4783-4785 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4772-4781 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4860-4870 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4872-4882 |
|
|
|