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 | 域 在事件中發揮作用, 1 and Object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23237-23237 | 域 在事件中發揮作用, 2 and CaseRole |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23238-23238 | 域 在事件中發揮作用, 3 and Process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23235-23235 | 例 在事件中發揮作用 and TernaryPredicate |
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 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. | Mid-level-ontology.kif 23245-23249 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23311-23316 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23251-23257 | |
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 30018-30048 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23245-23249 | |
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 23279-23286 |
![]() |
![]() |