| appearance as argument number 1 |
|
| (documentation HoldenCorporation EnglishLanguage "A manufacturer of Automobiles in Australia that is a subOrganization of GeneralMotorsCorp and is the manufacturer of the CommodoreAutomobile.") | Cars.kif 4561-4563 | |
| (headquartersOfOrganization HoldenCorporation Australia) | Cars.kif 4559-4559 | headquartersOfOrganization HoldenCorporation and Australia |
| (instance HoldenCorporation Corporation) | Cars.kif 4558-4558 | HoldenCorporation is an instance of corporation |
| (subOrganization HoldenCorporation GeneralMotorsCorp) | Cars.kif 4564-4564 | HoldenCorporation is a part of the organization GeneralMotorsCorp |
| appearance as argument number 2 |
|
|
| (manufacturer CommodoreAutomobile HoldenCorporation) | Cars.kif 4569-4569 | manufacturer CommodoreAutomobile and HoldenCorporation |
| (manufacturer CommodoreWheel HoldenCorporation) | Cars.kif 4575-4575 | manufacturer CommodoreWheel and HoldenCorporation |
| (manufacturer HoldenToranaAutomobile HoldenCorporation) | Cars.kif 4929-4929 | manufacturer HoldenToranaAutomobile and HoldenCorporation |
| (termFormat EnglishLanguage HoldenCorporation "Holden Corporation") | Cars.kif 4560-4560 | manufacturer HoldenToranaAutomobile and HoldenCorporation |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners