TreeView Knowledge Base Browser - unratifiedSignatoryToAgreement

appearance as argument number 1

(instance unratifiedSignatoryToAgreement BinaryPredicate)	Geography.kif 4535-4535	unratified signatory to agreement is an instance of binary predicate
(domain unratifiedSignatoryToAgreement 1 AutonomousAgent)	Geography.kif 4536-4536	The number 1 argument of unratified signatory to agreement is an instance of agent
(domain unratifiedSignatoryToAgreement 2 Agreement)	Geography.kif 4537-4537	The number 2 argument of unratified signatory to agreement is an instance of agreement
(documentation unratifiedSignatoryToAgreement EnglishLanguage "(unratifiedSignatoryToAgreement ?AGENT ?PROP) means that the AutonomousAgent ?AGENT has signed a document to begin the process of committing to the Agreement ?PROP, but that a ratification process required to complete the commitment has not yet occurred.")	Geography.kif 4539-4543	The number 2 argument of unratified signatory to agreement is an instance of agreement

appearance as argument number 2

(format EnglishLanguage unratifiedSignatoryToAgreement "%2 is %n an unratified signatory to agreement of %1")	domainEnglishFormat.kif 2573-2573
(format ChineseTraditionalLanguage unratifiedSignatoryToAgreement "%2 %n 是協議 %1 的 unratified 簽署")	domainEnglishFormat.kif 2574-2574
(format ChineseLanguage unratifiedSignatoryToAgreement "%2 %n 是协议 %1 的 unratified 签署")	domainEnglishFormat.kif 2575-2575
(termFormat EnglishLanguage unratifiedSignatoryToAgreement "unratified signatory to agreement")	domainEnglishFormat.kif 60521-60521
(termFormat ChineseTraditionalLanguage unratifiedSignatoryToAgreement "未經批准的簽署協議")	domainEnglishFormat.kif 60522-60522
(termFormat ChineseLanguage unratifiedSignatoryToAgreement "未经批准的签署协议")	domainEnglishFormat.kif 60523-60523

antecedent

(=>
    (unratifiedSignatoryToAgreement ?AGENT ?PROP)
    (not
        (partyToAgreement ?AGENT ?PROP)))

If X is an unratified signatory to agreement of Y, then X is not a party to agreement of Y