|
|
  SteveWozniakOfApple
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2427-2427 | Steve Wozniak is an instance of human |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2430-2430 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2429-2429 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2428-2428 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2431-2431 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2421-2425 | There exists a time position such that the time position is an instance of the year 1976 and Steve Wozniak is a coworker of Steve Jobs holds during the time position |
|
|
|