Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  unratifiedSignatoryToAgreement

 Sigma KEE - unratifiedSignatoryToAgreement
unratifiedSignatoryToAgreement

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 60536-60536
(termFormat ChineseTraditionalLanguage unratifiedSignatoryToAgreement "未經批准的簽署協議") domainEnglishFormat.kif 60535-60535
(termFormat EnglishLanguage unratifiedSignatoryToAgreement "unratified signatory to agreement") domainEnglishFormat.kif 60534-60534

Show without tree


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