| 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 | Le nombre 1 argument de unratifiedSignatoryToAgreement est une instance de AutonomousAgent |
| (domain unratifiedSignatoryToAgreement 2 Agreement) | Geography.kif 3105-3105 | Le nombre 2 argument de unratifiedSignatoryToAgreement est une instance de Agreement |
| (instance unratifiedSignatoryToAgreement BinaryPredicate) | Geography.kif 3103-3103 | unratifiedSignatoryToAgreement est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage unratifiedSignatoryToAgreement "%2 %n 是 协议 %1 的 unratified 签署") | domainEnglishFormat.kif 2579-2579 | |
| (format ChineseTraditionalLanguage unratifiedSignatoryToAgreement "%2 %n 是 協議 %1 的 unratified 簽署") | domainEnglishFormat.kif 2578-2578 | |
| (format EnglishLanguage unratifiedSignatoryToAgreement "%2 is %n an unratified signatory to agreement of %1") | domainEnglishFormat.kif 2577-2577 | |
| (termFormat ChineseLanguage unratifiedSignatoryToAgreement "未经批准的签署协议") | domainEnglishFormat.kif 60548-60548 | |
| (termFormat ChineseTraditionalLanguage unratifiedSignatoryToAgreement "未經批准的簽署協議") | domainEnglishFormat.kif 60547-60547 | |
| (termFormat EnglishLanguage unratifiedSignatoryToAgreement "unratified signatory to agreement") | domainEnglishFormat.kif 60546-60546 |
| 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