Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  SimmonsCorp
|
|
|
| appearance as argument number 1 |
|
|
| (instance SimmonsCorp Corporation) | Cars.kif 4726-4726 | Simmons corp is an instance of corporation |
| (documentation SimmonsCorp EnglishLanguage "An Australian manufacturer of custom alloy WheelRims.") | Cars.kif 4727-4728 | Simmons corp is an instance of corporation |
| (headquartersOfOrganization SimmonsCorp Australia) | Cars.kif 4729-4729 | The headquarters of Simmons corp is in australia |
| appearance as argument number 2 |
|
|
| (manufacturer SimmonsWheelRim SimmonsCorp) | Cars.kif 4736-4736 | The maker of Simmons wheel is Simmons corp |
| (termFormat EnglishLanguage SimmonsCorp "Simmons corp") | domainEnglishFormat.kif 65495-65495 | The maker of Simmons wheel is Simmons corp |
|