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 14060-14063
(
domain
agreementClause
1
Proposition
)
Mid-level-ontology.kif 14066-14066
域
agreementClause
, 1 and
Proposition
(
domain
agreementClause
2
DeonticAttribute
)
Mid-level-ontology.kif 14067-14067
域
agreementClause
, 2 and
DeonticAttribute
(
domain
agreementClause
3
Agreement
)
Mid-level-ontology.kif 14068-14068
域
agreementClause
, 3 and
協議
(
domain
agreementClause
4
CognitiveAgent
)
Mid-level-ontology.kif 14069-14069
域
agreementClause
, 4 and
CognitiveAgent
(
instance
agreementClause
QuaternaryPredicate
)
Mid-level-ontology.kif 14059-14059
例
agreementClause
and
QuaternaryPredicate
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 14064-14064
antecedent
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14071-14076
CognitiveAgent
有義務去做在
協議
的
Proposition
DeonticAttribute
內容承載物理
包含信息
內容承載物理
and
Proposition
協議
是
CognitiveAgent
的
party
協議
(=>
(
agreementClause
?PROP
Permission
?AGREEMENT ?AGENT)
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 14099-14105
CognitiveAgent
有義務去做在
協議
的
Proposition
允許
堅持正確
entity
實現
entity
and
Proposition
agent
entity
and
CognitiveAgent
and
CognitiveAgent
(=>
(
agreementClause
?PROP
Prohibition
?AGREEMENT ?AGENT)
(
not
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 14090-14097
CognitiveAgent
有義務去做在
協議
的
Proposition
禁令
堅持正確
entity
實現
entity
and
Proposition
agent
entity
and
CognitiveAgent
and
CognitiveAgent
(=>
(
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 14078-14088
CognitiveAgent
有義務去做在
協議
的
Proposition
DeonticAttribute
等於
DeonticAttribute
and
義務
等於
DeonticAttribute
and
諾言
模態屬性
entity
實現
entity
and
Proposition
agent
entity
and
CognitiveAgent
and
容易
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
對於
Physical
協商的
price
在
協議
是
CurrencyMeasure
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
CognitiveAgent
有義務去做在
協議
的
entity
entity
例
entity
and
Buying
患者
entity
and
entity
立即實例
entity
and
Physical
agent
entity
and
CognitiveAgent
起源
entity
and
CognitiveAgent
CurrencyMeasure
是
entity
的
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