playsRoleInEvent
|
|
Sigma KEE - playsRoleInEvent
appearance as argument number 1
|
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23240-23243 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23236-23236 |
O argumento numero 1 de playsRoleInEvent e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23237-23237 |
O argumento numero 2 de playsRoleInEvent e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23238-23238 |
O argumento numero 3 de playsRoleInEvent e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23235-23235 |
playsRoleInEvent e' uma instancia de Predicado Ternario |
|