|
|
   GasMixture
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14737-14737 | 混合气体 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3465-3466 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14738-14741 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4480-4480 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31602-31602 | roomTempState 混合气体 and 加油站 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14736-14736 | 混合气体 是 混合物 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7542-7542 | 气溶胶 是 混合气体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14795-14795 | 空气 是 混合气体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14750-14750 | 云 是 混合气体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 67-67 | FuelVapor 是 混合气体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14731-14731 | 悬挂 是 混合气体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25532-25532 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25531-25531 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25530-25530 |
| 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 14743-14748 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19648-19655 | |
| 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 |
|
|
|
