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 725-728
(
domain
agreementEffectiveDuring
1
Proposition
)
Government.kif 722-722
(
domainSubclass
agreementEffectiveDuring
2
TimePosition
)
Government.kif 723-723
(
instance
agreementEffectiveDuring
AsymmetricRelation
)
Government.kif 720-720
(
instance
agreementEffectiveDuring
BinaryPredicate
)
Government.kif 719-719
(
instance
agreementEffectiveDuring
PartialValuedRelation
)
Government.kif 721-721
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 730-736
(=>
(
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 738-747
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