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 | O argumento numero 1 de contestParticipant e' uma instancia de Contest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19680-19680 | O argumento numero 2 de contestParticipant e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19677-19677 | contestParticipant e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19678-19678 | contestParticipant e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19676-19676 | contestParticipant e' uma sub-relacao 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 |