|
|
  Embryonic
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18212-18212 | Embryonic e' &o oposto de Larval |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4027-4028 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18213-18216 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5984-5984 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6465-6465 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6466-6466 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18211-18211 | Embryonic e' um sub-atributo de NonFullyFormed |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21900-21900 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21899-21899 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21898-21898 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18225-18231 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2548-2562 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18218-18223 |
|
|
|
