ChevroletAutomobile(Chevrolet automobile) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4952-4952 | The maker of Chevrolet automobile is General Motors |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4951-4951 | Chevrolet automobile is a subclass of automobile |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64626-64626 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4955-4955 | A Chevrolet engine is typically a part of a Chevrolet automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4956-4956 | A Chevrolet automobile typically has a part Chevrolet engine |