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 | 在类型的事件中发挥作用 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23270-23270 | 在类型的事件中发挥作用 的 2 数量 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23272-23272 | 在类型的事件中发挥作用 的 4 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23273-23273 | 在类型的事件中发挥作用 的 5 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23271-23271 | 在类型的事件中发挥作用 的 3 数量 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23268-23268 | 在类型的事件中发挥作用 是 五元谓语 的 instance |
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 | 1 在此刻拘留 对于 %3 在地方 %2 若且唯若 有感知的主事 对于 关押 和 时间位置 和 客体 在事件类别 被拘留者 plays 角色 |
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 |
![]() |
![]() |