| appearance as argument number 1 |
|
| (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 3929-3932 | |
| (subclass VehicleRegistration Certificate) | Transportation.kif 3928-3928 | Vehicle registration is a subclass of certificate |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage VehicleRegistration "车辆登记") | domainEnglishFormat.kif 61436-61436 | |
| (termFormat ChineseTraditionalLanguage VehicleRegistration "車輛登記") | domainEnglishFormat.kif 61435-61435 | |
| (termFormat EnglishLanguage VehicleRegistration "vehicle registration") | domainEnglishFormat.kif 61434-61434 |
|
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