|
|
  Monochromatic
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3954-3955 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17764-17765 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2259-2259 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17763-17763 | 例 單色 and ColorAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17785-17785 | 相反的屬性 多色 and 單色 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38459-38459 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38458-38458 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38457-38457 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17767-17776 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17778-17782 |
|
|
|
