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 934-934 | 每個 閥 是 管 的 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 533-533 | 子類 Catheter and 管 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4242-4242 | 子類 Hose and 管 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4015-4015 | 子類 Tailpipe and 管 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59398-59398 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59397-59397 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59396-59396 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4135-4145 | |
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. | Mid-level-ontology.kif 1520-1528 |
consequent |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 939-952 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2630-2639 |