involvedInEvent |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1863-1864 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2409-2410 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 486-487 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2414-2414 | O argumento numero 1 de involvedInEvent e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2415-2415 | O argumento numero 2 de involvedInEvent e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2413-2413 | involvedInEvent e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2412-2412 | involvedInEvent e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1389-1389 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1388-1388 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1387-1387 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2435-2435 | agent e' uma sub-relacao de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2446-2446 | destination e' uma sub-relacao de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16962-16962 | direction e' uma sub-relacao de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4117-4117 | eventPartlyLocated e' uma sub-relacao de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2460-2460 | experiencer e' uma sub-relacao de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11009-11009 | moves e' uma sub-relacao de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2484-2484 | origin e' uma sub-relacao de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2497-2497 | patient e' uma sub-relacao de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30901-30901 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30900-30900 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30899-30899 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30211-30224 | Alone e' um atributo de Entidade vale durante Intervalo Temporal Entidade2 Processo Entidade e' igual a Entidade2 Entidade2 e' uma instancia de AutonomousAgent Processo e' uma instancia de Interacao Social tempo de existencia de Processo acontece durante Intervalo Temporal involvedInEvent Processo and Entidade involvedInEvent Processo and Entidade2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7948-7957 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5747-5767 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18407-18414 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5876-5885 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9746-9754 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3537-3561 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13026-13035 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5893-5903 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2427-2429 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30195-30206 |
|