| appearance as argument number 1 |
|
| (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 3107-3111 | |
| (domain unratifiedSignatoryToAgreement 1 AutonomousAgent) | Geography.kif 3104-3104 | The number 1 argument of unratified signatory to agreement is an instance of agent |
| (domain unratifiedSignatoryToAgreement 2 Agreement) | Geography.kif 3105-3105 | The number 2 argument of unratified signatory to agreement is an instance of agreement |
| (instance unratifiedSignatoryToAgreement BinaryPredicate) | Geography.kif 3103-3103 | unratified signatory to agreement is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage unratifiedSignatoryToAgreement "%2 %n 是 协议 %1 的 unratified 签署") | domainEnglishFormat.kif 2571-2571 | |
| (format ChineseTraditionalLanguage unratifiedSignatoryToAgreement "%2 %n 是 協議 %1 的 unratified 簽署") | domainEnglishFormat.kif 2570-2570 | |
| (format EnglishLanguage unratifiedSignatoryToAgreement "%2 is %n an unratified signatory to agreement of %1") | domainEnglishFormat.kif 2569-2569 | |
| (termFormat ChineseLanguage unratifiedSignatoryToAgreement "未经批准的签署协议") | domainEnglishFormat.kif 60584-60584 | |
| (termFormat ChineseTraditionalLanguage unratifiedSignatoryToAgreement "未經批准的簽署協議") | domainEnglishFormat.kif 60583-60583 | |
| (termFormat EnglishLanguage unratifiedSignatoryToAgreement "unratified signatory to agreement") | domainEnglishFormat.kif 60582-60582 |
| antecedent |
|
|
| (=> (unratifiedSignatoryToAgreement ?AGENT ?PROP) (not (partyToAgreement ?AGENT ?PROP))) |
Geography.kif 3113-3115 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners