Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleRegistration

Sigma KEE - VehicleRegistration
VehicleRegistration(vehicle registration)

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 3102-3105
(subclass VehicleRegistration Certificate) Transportation.kif 3101-3101 Vehicle registration is a subclass of certificate

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage VehicleRegistration "车辆登记") domainEnglishFormat.kif 61388-61388
(termFormat ChineseTraditionalLanguage VehicleRegistration "車輛登記") domainEnglishFormat.kif 61387-61387
(termFormat EnglishLanguage VehicleRegistration "vehicle registration") domainEnglishFormat.kif 61386-61386


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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