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 e' uma sub-classe de Aparelho |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4800-4800 | ATVTire e' uma sub-classe de Tire |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4633-4633 | FourByFourTire e' uma sub-classe de Tire |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4977-4977 | MudTire e' uma sub-classe de Tire |
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 |
|