Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  FordCorporation
|
|
|
| appearance as argument number 1 |
|
|
| (instance FordCorporation Corporation) | Cars.kif 4808-4808 | Ford is an instance of corporation |
| (documentation FordCorporation EnglishLanguage "A company based in the UnitedStates that is one of the oldest and largest existing passenger car makers.") | Cars.kif 4810-4811 | Ford is an instance of corporation |
| appearance as argument number 2 |
|
|
| (manufacturer FordAutomobile FordCorporation) | Cars.kif 4806-4806 | The maker of Ford car is Ford |
| (termFormat EnglishLanguage FordCorporation "Ford") | Cars.kif 4809-4809 | The maker of Ford car is Ford |
|