playsRoleInEventOfType |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23275-23277 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23269-23269 | Le nombre 1 argument de playsRoleInEventOfType est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23270-23270 | Le nombre 2 argument de playsRoleInEventOfType 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 23272-23272 | Le nombre 4 argument de playsRoleInEventOfType est une instance de position temporel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23273-23273 | Le nombre 5 argument de playsRoleInEventOfType est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23271-23271 | Le nombre 3 argument de playsRoleInEventOfType est une sous-classe de processus |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23268-23268 | playsRoleInEventOfType est une instance de predicate quinternaire |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1971-1971 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1970-1970 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1969-1969 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46278-46278 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46277-46277 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46276-46276 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23279-23286 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Justice.kif 26-28 | detainedAtTimeInPlace sentient agent, position temporel and objet playsRoleInEventOfType sentient agent, detainee, confiner, position temporel and objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23259-23266 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23288-23295 |
|
No TPTP formula. May not be expressible in strict first order. | Justice.kif 75-77 | |
No TPTP formula. May not be expressible in strict first order. | Justice.kif 71-73 |
![]() |
![]() |