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 | Le nombre 1 argument de involvedInEvent est une instance de processus |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2415-2415 | Le nombre 2 argument de involvedInEvent est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2413-2413 | involvedInEvent est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2412-2412 | involvedInEvent est une instance de pr�dicat binaire |
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 est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2446-2446 | destination est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16940-16940 | direction est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4117-4117 | eventPartlyLocated est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2460-2460 | experiencer est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10987-10987 | moves est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2484-2484 | origin est une sous-relation de involvedInEvent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2497-2497 | patient est une sous-relation 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 30223-30236 | Alone est un attribut de entit� pendant interval temporel entit�2 processus entit� est entit�2 entit�2 est une instance de AutonomousAgent processus est une instance de interaction social temps d'existence de processus prend place pendant interval temporel involvedInEvent processus and entit� involvedInEvent processus and entit�2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7949-7958 |
|
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 18408-18415 |
|
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 9747-9755 |
|
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 13004-13013 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5894-5904 | |
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 30207-30218 |
|