| 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 23525-23525 | 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 13130-13130 | 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 22924-22924 | 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 11024-11024 | 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 19705-19705 | contestParticipant e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23474-23474 | controlled e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23580-23580 | 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 16293-16293 | 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 6810-6810 | 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 4121-4121 | 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 3904-3904 | 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 2733-2733 | 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 23290-23290 | 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 23323-23323 | 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 23304-23310 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9637-9643 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3911-3917 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2737-2746 |
|
| 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 |
|
|
|