Piston |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 293-303 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 305-305 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 291-291 | Piston 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 344-344 | Piston typically 是 EngineCylinder 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 345-345 | EngineCylinder typically 有 part Piston |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 292-292 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3816-3816 | PistonRing typically 是 Piston 的 part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3817-3817 | Piston typically 有 part PistonRing |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 509-521 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 463-475 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1949-1971 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1978-1986 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1611-1621 |