| SyntheticSubstance(synthetic substance)
| | Plasticine, phosphor, rubber, synthetic, synthetic_rubber, synthetic_substance |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1591-1592 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1069-1070 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 170-171 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 200-202 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 919-919 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1067-1067 | Synthetic substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1043-1043 | Substance is exhaustively partitioned into synthetic substance and natural substance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56629-56629 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56628-56628 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56627-56627 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1072-1078 |
|
|
|
|