Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FordAutomobile(Ford car) |
| appearance as argument number 1 |
|
| (subclass FordAutomobile Automobile) | Cars.kif 4801-4801 | Ford car is a subclass of automobile |
| (documentation FordAutomobile EnglishLanguage "A brand of Automobile that is the output of Manufacture by FordCorporation.") | Cars.kif 4802-4803 | Ford car is a subclass of automobile |
| (manufacturer FordAutomobile FordCorporation) | Cars.kif 4806-4806 | The maker of Ford car is Ford |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FordAutomobile "Ford") | Cars.kif 4804-4804 | |
| (termFormat EnglishLanguage FordAutomobile "Ford car") | Cars.kif 4805-4805 |
|