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 | 在事件中发挥作用 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23238-23238 | 在事件中发挥作用 的 2 数量 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23239-23239 | 在事件中发挥作用 的 3 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23236-23236 | 在事件中发挥作用 是 三元谓语 的 instance |
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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23260-23267 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23289-23296 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23246-23250 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23312-23317 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23252-23258 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 49-59 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30030-30060 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23246-23250 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 36-42 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23280-23287 |