contestParticipant |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19681-19685 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19679-19679 | Le nombre 1 argument de contestParticipant est une instance de affrontement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19680-19680 | Le nombre 2 argument de contestParticipant est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19677-19677 | contestParticipant 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 19678-19678 | contestParticipant est une instance de relation total |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19676-19676 | contestParticipant est une sous-relation de agent |
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 21775-21794 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19725-19729 |
|
consequent |