| appearance as argument number 1 |
|
| (documentation unratifiedSignatoryToAgreement EnglishLanguage "(unratifiedSignatoryToAgreement ?AGENT ?PROP) means that the Agent ?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 2966-2970 | |
| (domain unratifiedSignatoryToAgreement 1 Agent) | Geography.kif 2963-2963 | The number 1 argument of unratified signatory to agreement is an instance of agent |
| (domain unratifiedSignatoryToAgreement 2 Agreement) | Geography.kif 2964-2964 | The number 2 argument of unratified signatory to agreement is an instance of agreement |
| (instance unratifiedSignatoryToAgreement BinaryPredicate) | Geography.kif 2962-2962 | 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 60444-60444 | |
| (termFormat ChineseTraditionalLanguage unratifiedSignatoryToAgreement "未經批准的簽署協議") | domainEnglishFormat.kif 60443-60443 | |
| (termFormat EnglishLanguage unratifiedSignatoryToAgreement "unratified signatory to agreement") | domainEnglishFormat.kif 60442-60442 |
| antecedent |
|
|
| (=> (unratifiedSignatoryToAgreement ?AGENT ?PROP) (not (partyToAgreement ?AGENT ?PROP))) |
Geography.kif 2972-2974 |
|
|
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