| GasMixture(混合氣體)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14841-14841 | 不相交的 混合氣體 and 液體混合物 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3465-3466 | 不相交的 混合氣體 and 液體混合物 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14842-14845 | 不相交的 混合氣體 and 液體混合物 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4479-4479 | 不相交的 混合氣體 and 液體混合物 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33293-33293 | roomTempState 混合氣體 and 加油站 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14840-14840 | 子類 混合氣體 and Mixture |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7611-7611 | 子類 Aerosal and 混合氣體 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14899-14899 | 子類 空氣 and 混合氣體 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14854-14854 | 子類 雲 and 混合氣體 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 67-67 | 子類 FuelVapor and 混合氣體 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14835-14835 | 子類 懸掛 and 混合氣體 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25560-25560 | 子類 懸掛 and 混合氣體 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25559-25559 | 子類 懸掛 and 混合氣體 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25558-25558 | 子類 懸掛 and 混合氣體 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1379-1389 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14847-14852 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21226-21233 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1368-1376 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1092-1103 |
|
|
|