agreementEffectiveDuring |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 761-764 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 758-758 | Le nombre 1 argument de agreementEffectiveDuring est une instance de proposition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 759-759 | Le nombre 2 argument de agreementEffectiveDuring est une sous-classe de position temporel |
No TPTP formula. May not be expressible in strict first order. | Government.kif 756-756 | agreementEffectiveDuring est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Government.kif 755-755 | agreementEffectiveDuring est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Government.kif 757-757 | agreementEffectiveDuring est une instance de relation partielle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 88-88 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 87-87 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 86-86 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5910-5910 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5909-5909 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5908-5908 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 766-772 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 774-783 |
|