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
agreementClause
Sigma KEE - agreementClause
agreementClause
appearance as argument number 1
(
documentation
agreementClause
EnglishLanguage
"(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT) means that
Proposition
?PROP, which has
modalAttribute
?ATTR, is part of
Agreement
?AGREEMENT and, with
CognitiveAgent
?AGENT being the one responsible to make the statement true")
Mid-level-ontology.kif 14061-14064
(
domain
agreementClause
1
Proposition
)
Mid-level-ontology.kif 14067-14067
agreementClause
的 1 数量 是
命题
的
instance
(
domain
agreementClause
2
DeonticAttribute
)
Mid-level-ontology.kif 14068-14068
agreementClause
的 2 数量 是
道义属性
的
instance
(
domain
agreementClause
3
Agreement
)
Mid-level-ontology.kif 14069-14069
agreementClause
的 3 数量 是
协议
的
instance
(
domain
agreementClause
4
CognitiveAgent
)
Mid-level-ontology.kif 14070-14070
agreementClause
的 4 数量 是
有认知的主事
的
instance
(
instance
agreementClause
QuaternaryPredicate
)
Mid-level-ontology.kif 14060-14060
agreementClause
是
四元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
agreementClause
"%4 有义务去做在 %3 的 %1 %2")
domainEnglishFormat.kif 2726-2726
(
format
ChineseTraditionalLanguage
agreementClause
"%4 有義務去做在 %3 的 %1 %2 ")
domainEnglishFormat.kif 2725-2725
(
format
EnglishLanguage
agreementClause
"%4 has the responsibility to make %1 %2 in %3")
domainEnglishFormat.kif 2724-2724
(
termFormat
EnglishLanguage
agreementClause
"agreement clause")
Mid-level-ontology.kif 14065-14065
antecedent
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14072-14077
如果
有认知的主事
有义务去做在
协议
的
命题
道义属性
,
然后 有存在
内容承载物理
这样
那个 内容承载物理
contains
那个 命题
的资料 和
那个 协议
是
那个 有认知的主事
的
party
协议
(=>
(
agreementClause
?PROP
Permission
?AGREEMENT ?AGENT)
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 14100-14106
如果
有认知的主事
有义务去做在
协议
的
命题
允许
,
然后
那个 有认知的主事
有权利去做 有存在
实体
这样
那个 实体
表示
那个 命题
的内容 和
那个 有认知的主事
是
那个 实体
的
agent
(=>
(
agreementClause
?PROP
Prohibition
?AGREEMENT ?AGENT)
(
not
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 14091-14098
如果
有认知的主事
有义务去做在
协议
的
命题
禁令
,
然后
那个 有认知的主事
doesn't have 有权利去做 有存在
实体
这样
那个 实体
表示
那个 命题
的内容 和
那个 有认知的主事
是
那个 实体
的
agent
(=>
(
and
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
or
(
equal
?ATTR
Obligation
)
(
equal
?ATTR
Promise
)))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT)))
Likely
))
Mid-level-ontology.kif 14079-14089
如果
有认知的主事
有义务去做在
协议
的
命题
道义属性
和
那个 道义属性
equal
义务
或
那个 道义属性
equal
诺言
,
然后 有存在
实体
这样
那个 实体
表示
那个 命题
的内容 和
那个 有认知的主事
是
那个 实体
的
agent
的声明 has
容易
的语气
consequent
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
agreementClause
(
exists
(?B ?ITEM)
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?B ?BUYER)
(
origin
?B ?SELLER)
(
transactionAmount
?B ?PRICE)))
Obligation
?AGREE ?SELLER))
Catalog.kif 311-324
如果 对于
有点 物理
协商的
price
在
协议
是
货币测量
和
那个 协议
是
有认知的主事
的
party
协议 和
那个 协议
是
另一个 有认知的主事
的
party
协议,
然后
那个 有认知的主事
有义务去做在
那个 协议
的 有存在
实体
和
另一个 实体
这样
那个 实体
是
购买
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
有点 物理
的
immediateInstance
和
那个 另外 有认知的主事
是
那个 实体
的
agent
和
那个 有认知的主事
是
那个 实体
的源头 和
那个 货币测量
是
那个 实体
的
transaction
总额
义务
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