Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
SubclavianNerve
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
Il numero 1 argomenti di
unratifiedSignatoryToAgreement
è un
istanza
di
AutonomousAgent
(
domain
unratifiedSignatoryToAgreement
2
Agreement
)
Geography.kif 3105-3105
Il numero 2 argomenti di
unratifiedSignatoryToAgreement
è un
istanza
di
Agreement
(
instance
unratifiedSignatoryToAgreement
BinaryPredicate
)
Geography.kif 3103-3103
unratifiedSignatoryToAgreement
è un'
istanza
di
PredicatoBinario
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 60538-60538
(
termFormat
ChineseTraditionalLanguage
unratifiedSignatoryToAgreement
"未經批准的簽署協議")
domainEnglishFormat.kif 60537-60537
(
termFormat
EnglishLanguage
unratifiedSignatoryToAgreement
"unratified signatory to agreement")
domainEnglishFormat.kif 60536-60536
antecedent
(=>
(
unratifiedSignatoryToAgreement
?AGENT ?PROP)
(
not
(
partyToAgreement
?AGENT ?PROP)))
Geography.kif 3113-3115
unratifiedSignatoryToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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