CaseRole(r�le d�pendant du cas) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1860-1862 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2404-2407 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 483-485 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2402-2402 | R�le d�pendant du cas est une sous-classe de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2400-2400 | R�le d�pendant du cas est une sous-classe de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2401-2401 | R�le d�pendant du cas est une sous-classe de InheritableRelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 384-384 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 383-383 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 382-382 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4160-4160 | accountUsed est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2431-2431 | agent est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1446-1446 | amountOfBid 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 23472-23472 | arrested est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Law.kif 226-226 | arrestingOfficer est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13106-13106 | attends est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Law.kif 443-443 | attorney est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1680-1680 | broker 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 22871-22871 | cargo est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 250-250 | catalyst est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11012-11012 | changesLocation est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 201-201 | computerRunning 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 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 23421-23421 | controlled 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 23527-23527 | conveyance est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1875-1875 | dataProcessed 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 16265-16265 | defendant est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Law.kif 280-280 | defenseLawyer est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2442-2442 | destination 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 6782-6782 | detainee est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1703-1703 | eCommerceSite est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4120-4120 | eventLocated est une instance de r�le d�pendant du cas |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3903-3903 | Le nombre 2 argument de capability est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 918-918 | Le nombre 2 argument de capabilityDuring est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2688-2688 | Le nombre 2 argument de capableAtLocation 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 23237-23237 | Le nombre 2 argument de playsRoleInEvent 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 23270-23270 | Le nombre 2 argument de playsRoleInEventOfType est une instance de r�le d�pendant du cas |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 119-121 | Relation est une sous-relation de involvedInEvent relation est une instance de r�le d�pendant du cas |