VehicleThrottle - Sigma Knowledge base Browser

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	子類車輛油門 and 車輛控制器

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