| 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 3095-3099 | |
| (domain unratifiedSignatoryToAgreement 1 AutonomousAgent) | Geography.kif 3092-3092 | The number 1 argument of unratified signatory to agreement is an instance of agent |
| (domain unratifiedSignatoryToAgreement 2 Agreement) | Geography.kif 3093-3093 | The number 2 argument of unratified signatory to agreement is an instance of agreement |
| (instance unratifiedSignatoryToAgreement BinaryPredicate) | Geography.kif 3091-3091 | unratified signatory to agreement is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage unratifiedSignatoryToAgreement "%2 %n 是 协议 %1 的 unratified 签署") | domainEnglishFormat.kif 2575-2575 | |
| (format ChineseTraditionalLanguage unratifiedSignatoryToAgreement "%2 %n 是 協議 %1 的 unratified 簽署") | domainEnglishFormat.kif 2574-2574 | |
| (format EnglishLanguage unratifiedSignatoryToAgreement "%2 is %n an unratified signatory to agreement of %1") | domainEnglishFormat.kif 2573-2573 | |
| (termFormat ChineseLanguage unratifiedSignatoryToAgreement "未经批准的签署协议") | domainEnglishFormat.kif 60559-60559 | |
| (termFormat ChineseTraditionalLanguage unratifiedSignatoryToAgreement "未經批准的簽署協議") | domainEnglishFormat.kif 60558-60558 | |
| (termFormat EnglishLanguage unratifiedSignatoryToAgreement "unratified signatory to agreement") | domainEnglishFormat.kif 60557-60557 |
| antecedent |
|
|
| (=> (unratifiedSignatoryToAgreement ?AGENT ?PROP) (not (partyToAgreement ?AGENT ?PROP))) |
Geography.kif 3101-3103 |
|
|
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