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
agreementEffectiveDuring
の数値 1 引数は
命題
の
instance
では %n
(
domainSubclass
agreementEffectiveDuring
2
TimePosition
)
Government.kif 759-759
agreementEffectiveDuring
の数値 2 引数は
時間位置
の
subclass
では %n
(
instance
agreementEffectiveDuring
AsymmetricRelation
)
Government.kif 756-756
agreementEffectiveDuring
は
非対称関係
の
instance
では %n
(
instance
agreementEffectiveDuring
BinaryPredicate
)
Government.kif 755-755
agreementEffectiveDuring
は
2進述語
の
instance
では %n
(
instance
agreementEffectiveDuring
PartialValuedRelation
)
Government.kif 757-757
agreementEffectiveDuring
は
部分的価値関係
の
instance
では %n
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
agreementEffectiveDuring
命題
and
時間位置
時間位置
は
時間位置
の
instance
では %n
公式
は
公式
の
instance
では %n
公式
は
命題
の情報を
contain
s %n{ない}
公式
は
時間位置
の
during
holds %n{ない}
(=>
(
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
命題
は
ConstitutionFn
地政学的地域
の
instance
では %n
地政学的地域
は
国民
の
instance
では %n
政府
は
地政学的地域
の
government
と
equal
では %n
政府
の
time
の existence は
時間位置
の
instance
では %n
agreementEffectiveDuring
命題
and
時間位置
命題
は
命題
の
sub
-proposition では %n
公式
は
命題
の情報を
contain
s %n{ない}
政府
はタイプ
公式
のタスクを実行する
obliged
%n
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