contestParticipant |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19682-19686 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19680-19680 | 比赛参与者 的 1 数量 是 比赛 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19681-19681 | 比赛参与者 的 2 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19678-19678 | 比赛参与者 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19679-19679 | 比赛参与者 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19677-19677 | 比赛参与者 是 主事 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3098-3098 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3097-3097 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3096-3096 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16956-16956 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16955-16955 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16954-16954 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21776-21795 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19726-19730 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1363-1370 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1522-1535 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21776-21795 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 883-896 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8427-8435 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1007-1020 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1027-1040 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7539-7547 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19692-19700 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 857-873 |