| SyntheticSubstance
| |
| 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 | SyntheticSubstance e' uma sub-classe de Substancia |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1043-1043 | O conceito Substancia e' completamente decomposto em SyntheticSubstance + NaturalSubstance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56631-56631 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56630-56630 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56629-56629 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1072-1078 |
|
|
|
|