| Tube(管)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1517-1518 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 149-149 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1516-1516 | 子類 管 and Artifact |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1247-1247 | 每個 閥 是 管 的 part |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 960-960 | 子類 AirIntake and 管 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 521-521 | 子類 Catheter and 管 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4318-4318 | 子類 Hose and 管 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4091-4091 | 子類 Tailpipe and 管 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59409-59409 | 子類 Tailpipe and 管 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59408-59408 | 子類 Tailpipe and 管 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59407-59407 | 子類 Tailpipe and 管 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4123-4133 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4111-4121 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1520-1528 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1252-1265 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2631-2640 |
|
|
|