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
StrikeSlipFault
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
Le nombre 1 argument de
agreementEffectiveDuring
est une
instance
de
proposition
(
domainSubclass
agreementEffectiveDuring
2
TimePosition
)
Government.kif 723-723
Le nombre 2 argument de
agreementEffectiveDuring
est une
sous
-classe de
position temporel
(
instance
agreementEffectiveDuring
AsymmetricRelation
)
Government.kif 720-720
agreementEffectiveDuring
est une
instance
de
relation asym�trique
(
instance
agreementEffectiveDuring
BinaryPredicate
)
Government.kif 719-719
agreementEffectiveDuring
est une
instance
de
pr�dicat binaire
(
instance
agreementEffectiveDuring
PartialValuedRelation
)
Government.kif 721-721
agreementEffectiveDuring
est une
instance
de
relation partielle
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
agreementEffectiveDuring
proposition
and
position temporel
position temporel
est une
instance
de
position temporel
formule
est une
instance
de
formule
formule
contient
information
proposition
formule
pendant
position temporel
(=>
(
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
Proposition
est une
instance
de
ConstitutionFn
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
gouvernement
est
gouvernment
de
secteur g�opolitique
temps
d'existence de
gouvernement
est une
instance
de
position temporel
agreementEffectiveDuring
proposition
and
position temporel
proposition
est une
sous
-proposition de
proposition
formule
contient
information
proposition
gouvernement
est
oblig
� d'ex�cut� des t�ches du type
formule
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