| appearance as argument number 1 |
|
| (documentation VehicleLight EnglishLanguage "Any LightFixture which is attached to the surface of a Vehicle and whose purpose is to illuminate that area around the Vehicle so that potential obstacles can be detected or alerted.") | Mid-level-ontology.kif 3525-3527 | |
| (subclass VehicleLight LightFixture) | Mid-level-ontology.kif 3524-3524 | Vehicle light is a subclass of light fixture |
| appearance as argument number 2 |
|
|
| (subclass Headlight VehicleLight) | Mid-level-ontology.kif 3536-3536 | Headlight is a subclass of vehicle light |
| (subclass Taillight VehicleLight) | Mid-level-ontology.kif 3547-3547 | Taillight is a subclass of vehicle light |
| (termFormat ChineseLanguage VehicleLight "车灯") | domainEnglishFormat.kif 61405-61405 | Taillight is a subclass of vehicle light |
| (termFormat ChineseTraditionalLanguage VehicleLight "車燈") | domainEnglishFormat.kif 61404-61404 | Taillight is a subclass of vehicle light |
| (termFormat EnglishLanguage VehicleLight "vehicle light") | domainEnglishFormat.kif 61403-61403 | Taillight is a subclass of vehicle light |
| antecedent |
|
|
| (=> (instance ?L VehicleLight) (exists (?V) (and (instance ?V Vehicle) (part ?L ?V)))) |
Mid-level-ontology.kif 3529-3534 |
|
|
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