|
|
   CaseRole
|
|
|
| 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 23473-23473 | 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 13084-13084 | 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 22872-22872 | 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 10990-10990 | 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 19678-19678 | contestParticipant e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23422-23422 | controlled e' uma instancia de Role em Caso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23528-23528 | 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 16266-16266 | 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 6783-6783 | 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 23238-23238 | 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 23271-23271 | 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 23252-23258 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9601-9607 |
|
| 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 |
|
|
|