|
|
  lastStatement UnitedNationsMissionForTheReferendumInWesternSahara
|
|
|
| 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 |
|
|
|
|