Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 748-751
(
domain
agreementEffectiveDuring
1
Proposition
)
Government.kif 745-745
The number 1 argument of
agreement effective during
is an
instance
of
proposition
(
domainSubclass
agreementEffectiveDuring
2
TimePosition
)
Government.kif 746-746
The number 2 argument of
agreement effective during
is a
subclass
of
time position
(
instance
agreementEffectiveDuring
AsymmetricRelation
)
Government.kif 743-743
agreement effective during
is an
instance
of
asymmetric relation
(
instance
agreementEffectiveDuring
BinaryPredicate
)
Government.kif 742-742
agreement effective during
is an
instance
of
binary predicate
(
instance
agreementEffectiveDuring
PartialValuedRelation
)
Government.kif 744-744
agreement effective during
is an
instance
of
partial valued relation
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 5919-5919
(
termFormat
ChineseTraditionalLanguage
agreementEffectiveDuring
"協議有效期間")
domainEnglishFormat.kif 5918-5918
(
termFormat
EnglishLanguage
agreementEffectiveDuring
"agreement effective during")
domainEnglishFormat.kif 5917-5917
antecedent
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 753-759
If
a kind of time position
is an
agreement
effective during of
a proposition
and
another time position
is an
instance
of
a kind of time position
and
a formula
is an
instance
of
formula
and
the formula
contain
s information
the proposition
,
then
the formula
holds
during
the other time position
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
agreementEffectiveDuring
?CONST
(
WhenFn
?GOV))
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 761-769
If
a proposition
is an
instance
of the
constitution
of
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
and
a government
is
equal
to the
government
of
the geopolitical area
and the
time
of existence of
the government
is an
agreement
effective during of
the proposition
and
another proposition
is a
sub
-proposition of
the proposition
and
a formula
contain
s information
the other proposition
,
then
the government
is
obliged
to perform tasks of type
the formula
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
