Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VehicleRegistration(vehicle registration) |
| appearance as argument number 1 |
|
| (subclass VehicleRegistration Certificate) | Transportation.kif 4547-4547 | Vehicle registration is a subclass of certificate |
| (documentation VehicleRegistration EnglishLanguage "VehicleRegistration is the class of official documents containing information about a vehicle's ownership and identifying characteristics, as required by the appropriate authority for the type and location of individual vehicles.") | Transportation.kif 4548-4551 | Vehicle registration is a subclass of certificate |
| appearance as argument number 2 |
|
|
|