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 | 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 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 |
|