| CaseRole(Role em Caso) | |
| 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 | Role em Caso e' uma sub-classe de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2400-2400 | Role em Caso e' uma sub-classe de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2401-2401 | Role em Caso e' uma sub-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 e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2431-2431 | agent e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1446-1446 | amountOfBid e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23472-23472 | arrested e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 226-226 | arrestingOfficer e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13106-13106 | attends e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 443-443 | attorney e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1680-1680 | broker e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22871-22871 | cargo e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 250-250 | catalyst e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11012-11012 | changesLocation e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 201-201 | computerRunning e' uma instancia de Role em Caso |
| 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 23421-23421 | controlled e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23527-23527 | conveyance e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1875-1875 | dataProcessed e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16265-16265 | defendant e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 280-280 | defenseLawyer e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2442-2442 | destination e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6782-6782 | detainee e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1703-1703 | eCommerceSite e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4120-4120 | eventLocated e' uma instancia de Role em Caso |
| 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 | O argumento numero 2 de capability e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 918-918 | O argumento numero 2 de capabilityDuring e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2688-2688 | O argumento numero 2 de capableAtLocation e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23237-23237 | O argumento numero 2 de playsRoleInEvent e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23270-23270 | O argumento numero 2 de playsRoleInEventOfType e' uma instancia de Role em Caso |
| antecedent |
|
|
| 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. | Merge.kif 9623-9629 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3910-3916 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2692-2701 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2427-2429 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 119-121 | Relacao e' uma sub-relacao de involvedInEvent Relacao e' uma instancia de Role em Caso |
|
|
|