playsRoleInEvent
|
|
Sigma KEE - 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 |
|