|
|
  NonDenominationalIndividual
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 725-727 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11505-11505 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 724-724 | NonDenominationalIndividual est une instance de attribut interne |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40721-40721 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40720-40720 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40719-40719 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 729-735 |
|
|
|
|
