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
ageOfMajorityForProcess
Sigma KEE - ageOfMajorityForProcess
ageOfMajorityForProcess
appearance as argument number 1
(
documentation
ageOfMajorityForProcess
EnglishLanguage
"The
age
at which a
Human
is allowed under the
Law
to take responsibility for a particular
Process
. This could include
SigningAnAgreement
,
Voting
, or
Buying
and
AlcoholicBeverage
.")
Law.kif 549-552
(
domain
ageOfMajorityForProcess
1
TimeDuration
)
Law.kif 543-543
域
ageOfMajorityForProcess
, 1 and
TimeDuration
(
domain
ageOfMajorityForProcess
2
GeopoliticalArea
)
Law.kif 544-544
域
ageOfMajorityForProcess
, 2 and
GeopoliticalArea
(
domain
ageOfMajorityForProcess
3
Process
)
Law.kif 545-545
域
ageOfMajorityForProcess
, 3 and
Process
(
instance
ageOfMajorityForProcess
TernaryPredicate
)
Law.kif 542-542
例
ageOfMajorityForProcess
and
TernaryPredicate
appearance as argument number 2
(
format
EnglishLanguage
ageOfMajorityForProcess
"%1 is the age of majority for %3 in %2")
Law.kif 547-547
(
termFormat
EnglishLanguage
ageOfMajorityForProcess
"age of majority for process")
Law.kif 546-546
antecedent
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N2
YearDuration
))
(
greaterThan
?N2 ?N))))
Law.kif 573-588
協議
是
CognitiveAgent
的
party
協議
例
Process
and
IntentionalProcess
位於
Process
and
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
ageOfMajorityForProcess
測量
RealNumber
and
年持續時間
,
GeopoliticalArea
and
Process
結果
Process
and
內容承載物理
內容承載物理
是
協議
的
record
attribute
協議
and
合法
持有期間
何時
Process
and
年齡
CognitiveAgent
and
測量
RealNumber
and
年持續時間
比較多
RealNumber
and
RealNumber
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
協議
是
CognitiveAgent
的
party
協議
例
Process
and
IntentionalProcess
位於
Process
and
GeopoliticalArea
例
GeopoliticalArea
and
Nation
位於
Process
and
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
ageOfMajorityForProcess
測量
RealNumber
and
年持續時間
,
GeopoliticalArea
and
Process
結果
Process
and
內容承載物理
內容承載物理
是
協議
的
record
持有期間
何時
Process
and
年齡
CognitiveAgent
and
測量
entity
and
年持續時間
比較多
entity
and
RealNumber
attribute
協議
and
合法
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