No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3607-3607 | 子類 線 and Artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3616-3616 | 子類 鋼絲彈簧 and 線 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3621-3621 | 子類 電線 and 線 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3062-3062 | 子類 WireCoil and 線 |