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