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 | O argumento numero 1 de agreementEffectiveDuring e' uma instancia de Proposicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 759-759 | O argumento numero 2 de agreementEffectiveDuring e' uma sub-classe de Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Government.kif 756-756 | agreementEffectiveDuring e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 755-755 | agreementEffectiveDuring e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Government.kif 757-757 | agreementEffectiveDuring e' uma instancia de Relacao Parcial |
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 |
|