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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VehicleRegistration
VehicleRegistration

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 VehicleRegistration est une sous-classe de certificat

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 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