|
|
  SortimoCorp
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5110-5110 | The headquarters of Sortimo Corporation is in germany |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5108-5108 | Sortimo Corporation is an instance of corporation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5109-5109 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5112-5115 | There exists an agent such that the agent is a subclass of tool box and the maker of Sortimo Corporation is the agent |
|
|
|