Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  HoldenCorporation
|
|
|
| appearance as argument number 1 |
|
|
| (instance HoldenCorporation Corporation) | Cars.kif 4389-4389 | Holden Corporation is an instance of corporation |
| (headquartersOfOrganization HoldenCorporation Australia) | Cars.kif 4390-4390 | The headquarters of Holden Corporation is in australia |
| (documentation HoldenCorporation EnglishLanguage "A manufacturer of Automobiles in Australia that is a subOrganization of GeneralMotorsCorp and is the manufacturer of the CommodoreAutomobile.") | Cars.kif 4392-4394 | The headquarters of Holden Corporation is in australia |
| (subOrganization HoldenCorporation GeneralMotorsCorp) | Cars.kif 4395-4395 | Holden Corporation is a part of the organization General Motors |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HoldenCorporation "Holden Corporation") | Cars.kif 4391-4391 | |
| (manufacturer CommodoreAutomobile HoldenCorporation) | Cars.kif 4400-4400 | The maker of commodore automobile is Holden Corporation |
| (manufacturer CommodoreWheel HoldenCorporation) | Cars.kif 4406-4406 | The maker of Commodore wheel is Holden Corporation |
| (manufacturer HoldenToranaAutomobile HoldenCorporation) | Cars.kif 4760-4760 | The maker of Holden Torana is Holden Corporation |
|