playsRoleInEvent |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23241-23244 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23237-23237 | Le nombre 1 argument de playsRoleInEvent est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23238-23238 | Le nombre 2 argument de playsRoleInEvent est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23239-23239 | Le nombre 3 argument de playsRoleInEvent est une instance de processus |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23236-23236 | playsRoleInEvent est une instance de pr�dicat ternaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1967-1967 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1966-1966 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1965-1965 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46272-46272 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46271-46271 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46270-46270 |
antecedent |
consequent |