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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleThrottle

 Sigma KEE - VehicleThrottle
VehicleThrottle(vehicle throttle)
more pictures...		accelerator, throttle, throttle_valve

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3429-3430
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5089-5089
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4945-4945
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5090-5090
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5088-5088
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5091-5091
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3428-3428 Vehicle throttle is a subclass of vehicle controller

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61394-61394
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61393-61393
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61392-61392


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