typicallyContainsPart |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5092-5092 | 灯具 typically 有 part LightBulb |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4861-4861 | MiniCooper typically 有 part MiniCooperEngine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3321-3321 | 内燃机 typically 有 part OilPan |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 565-565 | DrumBrake typically 有 part ParkingBrake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 345-345 | EngineCylinder typically 有 part Piston |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3809-3809 | Piston typically 有 part PistonRing |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2198-2198 | LiquidEngineCoolingSystem typically 有 part Radiator |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11264-11264 | Chest typically 有 part RibCage |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3842-3842 | FourStrokeEngine typically 有 part RockerArm |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3665-3665 | 汽车 typically 有 part SeatBelt |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3207-3207 | AutomobileIgnitionSystem typically 有 part SparkPlug |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 725-725 | AutoSuspensionSystem typically 有 part 弹簧 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1372-1372 | BallJoint typically 有 part 弹簧 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3968-3968 | 汽车 typically 有 part SteeringBox |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3985-3985 | 汽车 typically 有 part SteeringColumn |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3990-3990 | 汽车 typically 有 part 方向盘 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4032-4032 | AutomobileExhaustSystem typically 有 part Tailpipe |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2164-2164 | LiquidEngineCoolingSystem typically 有 part 温度计 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4137-4137 | 汽车 typically 有 part TieRod |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 792-792 | 人类 typically 有 part VocalCords |