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
agreementEffectiveDuring
Sigma KEE - agreementEffectiveDuring
agreementEffectiveDuring
appearance as argument number 1
(
documentation
agreementEffectiveDuring
EnglishLanguage
"(
agreementEffectiveDuring
?AGR ?DATE) means that the agreement ?AGR is effective during the time indicated by ?DATE. The agreement may be effective for longer than ?DATE, but it is in effect at least throughout the time indicated by ?DATE.")
Government.kif 761-764
(
domain
agreementEffectiveDuring
1
Proposition
)
Government.kif 758-758
域
協議有效期間
, 1 and
Proposition
(
domainSubclass
agreementEffectiveDuring
2
TimePosition
)
Government.kif 759-759
域子類
協議有效期間
, 2 and
TimePosition
(
instance
agreementEffectiveDuring
AsymmetricRelation
)
Government.kif 756-756
例
協議有效期間
and
AsymmetricRelation
(
instance
agreementEffectiveDuring
BinaryPredicate
)
Government.kif 755-755
例
協議有效期間
and
BinaryPredicate
(
instance
agreementEffectiveDuring
PartialValuedRelation
)
Government.kif 757-757
例
協議有效期間
and
PartialValuedRelation
appearance as argument number 2
(
format
ChineseLanguage
agreementEffectiveDuring
"%2 %n 是 %1 的 agreement 生效其间")
domainEnglishFormat.kif 88-88
(
format
ChineseTraditionalLanguage
agreementEffectiveDuring
"%2 %n 是 %1 的 agreement 生效其間")
domainEnglishFormat.kif 87-87
(
format
EnglishLanguage
agreementEffectiveDuring
"%2 is %n an agreement effective during of %1")
domainEnglishFormat.kif 86-86
(
termFormat
ChineseLanguage
agreementEffectiveDuring
"协议有效期间")
domainEnglishFormat.kif 5910-5910
(
termFormat
ChineseTraditionalLanguage
agreementEffectiveDuring
"協議有效期間")
domainEnglishFormat.kif 5909-5909
(
termFormat
EnglishLanguage
agreementEffectiveDuring
"agreement effective during")
domainEnglishFormat.kif 5908-5908
antecedent
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 766-772
TimePosition
是
Proposition
的
agreement
生效其間
例
TimePosition
and
TimePosition
例
Formula
and
Formula
包含信息
Formula
and
Proposition
持有期間
TimePosition
and
Formula
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 774-783
例
Proposition
and
GeopoliticalArea
的
constitution
例
GeopoliticalArea
and
Nation
等於
Government
and
政府
GeopoliticalArea
例
何時
Government
and
TimePosition
TimePosition
是
Proposition
的
agreement
生效其間
次提案
Proposition
and
Proposition
包含信息
Formula
and
Proposition
持有義務
Formula
and
Government
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