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

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


(termFormat ChineseLanguage VehicleRegistration "车辆登记") domainEnglishFormat.kif 61358-61358
(termFormat ChineseTraditionalLanguage VehicleRegistration "車輛登記") domainEnglishFormat.kif 61357-61357
(termFormat EnglishLanguage VehicleRegistration "vehicle registration") domainEnglishFormat.kif 61356-61356


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