deceptiveIdentifier |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23378-23380 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23373-23373 | Le nombre 1 argument de deceptiveIdentifier est une instance de objet exprimant un sens |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23374-23374 | Le nombre 2 argument de deceptiveIdentifier est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23372-23372 | deceptiveIdentifier est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23371-23371 | deceptiveIdentifier est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23375-23375 | deceptiveIdentifier est une sous-relation de refers |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 696-696 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 695-695 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 694-694 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23376-23376 | alias est une sous-relation de deceptiveIdentifier |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18816-18816 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18815-18815 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18814-18814 |