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
partyToAgreement
Sigma KEE - partyToAgreement
partyToAgreement
appearance as argument number 1
(
documentation
partyToAgreement
EnglishLanguage
"(
partyToAgreement
?AGENT ?PROP) means that the
AutonomousAgent
?AGENT has committed to the agreement ?PROP.")
Mid-level-ontology.kif 14021-14022
(
domain
partyToAgreement
1
CognitiveAgent
)
Mid-level-ontology.kif 14025-14025
协议的一方
的 1 数量 是
有认知的主事
的
instance
(
domain
partyToAgreement
2
Agreement
)
Mid-level-ontology.kif 14026-14026
协议的一方
的 2 数量 是
协议
的
instance
(
instance
partyToAgreement
BinaryPredicate
)
Mid-level-ontology.kif 14020-14020
协议的一方
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
partyToAgreement
"%2 %n 是 %1 的
part
y 协议")
domainEnglishFormat.kif 1907-1907
(
format
ChineseTraditionalLanguage
partyToAgreement
"%2 %n 是 %1 的
part
y 協議")
domainEnglishFormat.kif 1906-1906
(
format
EnglishLanguage
partyToAgreement
"%2 is %n a
part
y to agreement of %1")
domainEnglishFormat.kif 1905-1905
(
subrelation
accountAt
partyToAgreement
)
FinancialOntology.kif 228-228
帐号在
是
协议的一方
的
subrelation
(
subrelation
accountHolder
partyToAgreement
)
FinancialOntology.kif 247-247
帐户持有人
是
协议的一方
的
subrelation
(
subrelation
borrower
partyToAgreement
)
FinancialOntology.kif 1298-1298
借款人
是
协议的一方
的
subrelation
(
subrelation
financialAccount
partyToAgreement
)
FinancialOntology.kif 3804-3804
financialAccount
是
协议的一方
的
subrelation
(
subrelation
lender
partyToAgreement
)
FinancialOntology.kif 1284-1284
贷款人
是
协议的一方
的
subrelation
(
subrelation
optionHolder
partyToAgreement
)
FinancialOntology.kif 2583-2583
期权持有人
是
协议的一方
的
subrelation
(
subrelation
optionSeller
partyToAgreement
)
FinancialOntology.kif 2596-2596
期权卖方
是
协议的一方
的
subrelation
(
termFormat
ChineseLanguage
partyToAgreement
"协议的一方")
domainEnglishFormat.kif 44618-44618
(
termFormat
ChineseTraditionalLanguage
partyToAgreement
"協議的一方")
domainEnglishFormat.kif 44617-44617
(
termFormat
EnglishLanguage
partyToAgreement
"party to agreement")
domainEnglishFormat.kif 44616-44616
antecedent
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
如果
限价订单
是
金融交易
的
attribute
和
协议
是
那个 金融交易
的
party
协议 和
经纪人
是
那个 协议
的
attribute
和
那个 金融交易
是 對於
安全
的
order
购买
和
那个 安全
的
measure
是
物理量
和
实数
测量单位
是
那个 金融交易
的
limit
价格 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
施事体
为了
那个 安全
asks
另一个 实数
那个 测量单位
和
那个 另外 实数
是
lessThanOrEqualTo
那个 实数
,
然后
那个 协议
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
如果
限价订单
是
金融交易
的
attribute
和
协议
是
那个 金融交易
的
party
协议 和
经纪人
是
那个 协议
的
attribute
和
那个 金融交易
是 對於
安全
的
order
出售
和
那个 安全
的
measure
是
物理量
和
实数
测量单位
是
那个 金融交易
的
limit
价格 和
施事体
bids
另一个 实数
那个 测量单位
對於
那个 安全
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
,
然后
那个 协议
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
attribute
?Order
MarketOrder
)
(
attribute
?Broker
Broker
)
(
partyToAgreement
?Order ?Broker)
(
orderFor
?Order ?TransactionType ?Shares))
(
holdsObligation
(
KappaFn
?Transaction
(
and
(
instance
?Transaction ?TransactionType)
(
patient
?Transaction ?Shares))) ?Broker))
FinancialOntology.kif 1981-1990
如果
市场秩序
是
金融交易
的
attribute
和
经纪人
是
协议
的
attribute
和
那个 协议
是
那个 金融交易
的
party
协议 和
那个 金融交易
是 對於
安全
的
order
另一个 有点 金融交易
,
然后
那个 协议
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
如果
协议
是
民政协议
的
instance
和
那个 协议
是
有认知的主事
的
party
协议 和
那个 协议
是
另一个 有认知的主事
的
party
协议,
然后
enemy
那个 有认知的主事
and
那个 另外 有认知的主事
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT_MIL_THIS ?CAA)
(
instance
?AGENT_MIL_THIS
MilitaryOrganization
)
(
militaryOfArea
?AGENT_MIL_THIS ?NATION_THIS)
(
instance
?NATION_THIS
Nation
)
(
located
?AGENT_MIL_THIS ?NATION_FRIENDLY)
(
instance
?NATION_FRIENDLY
Nation
))
(
and
(
not
(
equal
?NATION_THIS ?NATION_FRIENDLY))
(
not
(
enemy
?NATION_THIS ?NATION_FRIENDLY))
(
exists
(?AGENT_FRIENDLY)
(
and
(
located
?AGENT_FRIENDLY ?NATION_FRIENDLY)
(
partyToAgreement
?AGENT_FRIENDLY ?CAA)
(
not
(
instance
?AGENT_FRIENDLY
MilitaryOrganization
))))))
MilitaryProcesses.kif 2309-2328
如果
协议
是
民政协议
的
instance
和
那个 协议
是
实体
_MIL_THIS 的
party
协议 和
那个 实体
_MIL_THIS 是
军事组织
的
instance
和
另一个 实体
_THIS 是
那个 实体
_MIL_THIS 的
military
区域 和
那个 另外 实体
_THIS 是
国家
的
instance
和
那个 实体
_MIL_THIS 是
located
在
那个 另外 实体
_FRIENDLY 和
那个 另外 实体
_FRIENDLY 是
国家
的
instance
,
然后
那个 另外 实体
_THIS 不
equal
那个 另外 实体
_FRIENDLY 和
enemy
那个 另外 实体
_THIS and
那个 另外 实体
_FRIENDLY 和 有存在
那个 实体
_FRIENDLY 这样
那个 实体
_FRIENDLY 是
located
在
那个 另外 实体
_FRIENDLY 和
那个 协议
是
那个 实体
_FRIENDLY 的
party
协议 和
那个 实体
_FRIENDLY 不 是
军事组织
的
instance
(=>
(
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
总额
义务
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
modalAttribute
(
exists
(?S ?ITEM)
(
and
(
instance
?S
Selling
)
(
patient
?S ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
transactionAmount
?S ?PRICE)))
Promise
))
Catalog.kif 276-289
如果 对于
有点 物理
协商的
price
在
协议
是
货币测量
和
那个 协议
是
有认知的主事
的
party
协议 和
那个 协议
是
另一个 有认知的主事
的
party
协议,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
出售
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
有点 物理
的
immediateInstance
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 实体
在
那个 另外 有认知的主事
结束 和
那个 货币测量
是
那个 实体
的
transaction
总额 的声明 has
诺言
的语气
(=>
(
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
如果
协议
是
有认知的主事
的
party
协议 和
过程
是
有意图过程
的
instance
和
那个 过程
是
located
在
地缘政治区域
和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
ageOfMajorityForProcess
实数
年持续时间
,
那个 地缘政治区域
and
那个 过程
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
那个 协议
的
record
和
合法
是
那个 协议
的
attribute
,
然后
那个 有认知的主事
的
age
是
那个 实数
2
年持续时间
和
那个 实数
2 是
greaterThan
那个 实数
在
那个 过程
出现 的
time
holdsDuring
(=>
(
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
如果
协议
是
有认知的主事
的
party
协议 和
过程
是
有意图过程
的
instance
和
那个 过程
是
located
在
地缘政治区域
和
那个 地缘政治区域
是
国家
的
instance
和
那个 过程
是
located
在
那个 地缘政治区域
2 和
那个 地缘政治区域
2 是
地缘政治区域
的
instance
和
ageOfMajorityForProcess
实数
年持续时间
,
那个 地缘政治区域
and
那个 过程
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
那个 协议
的
record
和
那个 有认知的主事
的
age
是
实体
年持续时间
和
那个 实体
是
greaterThan
那个 实数
在
那个 过程
出现 的
time
holdsDuring
,
然后
合法
是
那个 协议
的
attribute
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
holdsDuring
(
WhenFn
?PROC)
(
attribute
?A1
Sober
)))
Law.kif 515-524
如果
协议
是
有认知的主事
的
party
协议 和
过程
是
有意图过程
的
instance
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
那个 协议
的
record
和
合法
是
那个 协议
的
attribute
,
然后
清醒
是
那个 有认知的主事
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14176-14190
如果
协议
有
合同
的
attribute
和
那个 协议
是
有认知的主事
的
party
协议 和
那个 协议
是
另一个 有认知的主事
的
party
协议 和
过程
是
有意图过程
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 过程
表示
命题
的内容 和
那个 协议
不 是
那个 命题
的
consistent
,
然后 有存在
实体
这样
那个 实体
是
法律诉讼
的
instance
和
那个 另外 有认知的主事
是
plaintiff
在
那个 实体
和
那个 有认知的主事
是在
那个 实体
的
defendant
的声明 has
可能性
的语气
(=>
(
partyToAgreement
?AGENT ?CONTENT)
(
exists
(?C)
(
and
(
instance
?C
Committing
)
(
agent
?C ?AGENT)
(
patient
?C ?CONTENT))))
Mid-level-ontology.kif 14028-14034
如果
协议
是
有认知的主事
的
party
协议,
然后 有存在
过程
这样
那个 过程
是
承诺
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 协议
是
那个 过程
的
patient
consequent
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3260-3266
协议
employs
另一个 协议
若且唯若 有存在
有认知的主事
这样
那个 有认知的主事
有
雇用
的
attribute
和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 协议
是
那个 有认知的主事
的
party
协议
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14099-14104
如果
有认知的主事
有义务去做在
协议
的
命题
道义属性
,
然后 有存在
内容承载物理
这样
那个 内容承载物理
contains
那个 命题
的资料 和
那个 协议
是
那个 有认知的主事
的
party
协议
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
exists
(?Debt)
(
and
(
property
?Debt
Liability
)
(
partyToAgreement
?Debt ?Agent)
(
partyToAgreement
?Debt ?Bank))))
FinancialOntology.kif 1162-1171
如果
金融账户
是
责任账户
的
instance
和
协议
持有
account
那个 金融账户
和
那个 金融账户
是被
另一个 协议
held
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
有
责任
的
attribute
和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 协议
是
那个 有认知的主事
的
party
协议
(=>
(
and
(
instance
?C
Confirming
)
(
agent
?C ?A)
(
containsInformation
?C ?P))
(
exists
(?S ?RA ?A2)
(
and
(
instance
?S
Stating
)
(
earlier
?S ?C)
(
instance
?RA
ReachingAgreement
)
(
agent
?S ?A2)
(
containsInformation
?RA ?P)
(
containsInformation
?S ?P)
(
partyToAgreement
?RA ?A)
(
partyToAgreement
?RA ?A2))))
Mid-level-ontology.kif 29690-29704
如果
时距
是
Confirming
的
instance
和
协议
是
那个 时距
的
agent
和
那个 时距
contains
命题
的资料,
然后 有存在
另一个 时距
,
内容承载物理
, and 和
那个 协议
2 这样
那个 另外 时距
是
陈述
的
instance
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 内容承载物理
是
ReachingAgreement
的
instance
和
那个 协议
2 是
那个 另外 时距
的
agent
和
那个 内容承载物理
contains
那个 命题
的资料 和
那个 另外 时距
contains
那个 命题
的资料 和
那个 协议
是
那个 内容承载物理
的
party
协议 和
那个 协议
2 是
那个 内容承载物理
的
party
协议
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT_MIL_THIS ?CAA)
(
instance
?AGENT_MIL_THIS
MilitaryOrganization
)
(
militaryOfArea
?AGENT_MIL_THIS ?NATION_THIS)
(
instance
?NATION_THIS
Nation
)
(
located
?AGENT_MIL_THIS ?NATION_FRIENDLY)
(
instance
?NATION_FRIENDLY
Nation
))
(
and
(
not
(
equal
?NATION_THIS ?NATION_FRIENDLY))
(
not
(
enemy
?NATION_THIS ?NATION_FRIENDLY))
(
exists
(?AGENT_FRIENDLY)
(
and
(
located
?AGENT_FRIENDLY ?NATION_FRIENDLY)
(
partyToAgreement
?AGENT_FRIENDLY ?CAA)
(
not
(
instance
?AGENT_FRIENDLY
MilitaryOrganization
))))))
MilitaryProcesses.kif 2309-2328
如果
协议
是
民政协议
的
instance
和
那个 协议
是
实体
_MIL_THIS 的
party
协议 和
那个 实体
_MIL_THIS 是
军事组织
的
instance
和
另一个 实体
_THIS 是
那个 实体
_MIL_THIS 的
military
区域 和
那个 另外 实体
_THIS 是
国家
的
instance
和
那个 实体
_MIL_THIS 是
located
在
那个 另外 实体
_FRIENDLY 和
那个 另外 实体
_FRIENDLY 是
国家
的
instance
,
然后
那个 另外 实体
_THIS 不
equal
那个 另外 实体
_FRIENDLY 和
enemy
那个 另外 实体
_THIS and
那个 另外 实体
_FRIENDLY 和 有存在
那个 实体
_FRIENDLY 这样
那个 实体
_FRIENDLY 是
located
在
那个 另外 实体
_FRIENDLY 和
那个 协议
是
那个 实体
_FRIENDLY 的
party
协议 和
那个 实体
_FRIENDLY 不 是
军事组织
的
instance
(=>
(
and
(
instance
?CLOSE
ClosingContract
)
(
agent
?CLOSE ?AGENT)
(
destination
?CLOSE ?CONTRACT))
(
partyToAgreement
?CONTRACT ?AGENT))
Mid-level-ontology.kif 21539-21544
如果
过程
是
合同终止
的
instance
和
协议
是
那个 过程
的
agent
和
那个 过程
在
有认知的主事
结束,
然后
那个 协议
是
那个 有认知的主事
的
party
协议
(=>
(
and
(
instance
?RA
ReachingAgreement
)
(
agent
?RA ?AGENT)
(
result
?RA ?PROP)
(
instance
?PROP
Agreement
))
(
holdsDuring
(
FutureFn
(
WhenFn
?RA))
(
partyToAgreement
?AGENT ?PROP)))
Media.kif 153-160
如果
过程
是
ReachingAgreement
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
result
和
那个 实体
是
协议
的
instance
,
然后
那个 实体
是
那个 施事体
的
party
协议 在
那个 过程
出现 的
time
之后
holdsDuring
(=>
(
attribute
?Broker
Broker
)
(
exists
(?Contract)
(
and
(
instance
?Contract
ServiceContract
)
(
partyToAgreement
?Broker ?Contract))))
FinancialOntology.kif 2058-2063
如果
经纪人
是
有认知的主事
的
attribute
,
然后 有存在
协议
这样
那个 协议
是
服务合同
的
instance
和
那个 协议
是
那个 有认知的主事
的
party
协议
(=>
(
contractedRentalPrice
?OBJ ?QUANT ?AGREE)
(
exists
(?SELLER ?CUSTOMER)
(
and
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?CUSTOMER ?AGREE)
(
modalAttribute
(
exists
(?R ?O)
(
and
(
instance
?R
Renting
)
(
instance
?O ?OBJ)
(
patient
?R ?O)
(
agent
?R ?SELLER)
(
destination
?R ?CUSTOMER)))
Obligation
))))
Catalog.kif 513-526
如果
协议
对于
函数量
指定
有点 物理
的
rental
,
然后 有存在
有认知的主事
和
另一个 有认知的主事
这样
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 协议
是
那个 另外 有认知的主事
的
party
协议 和 有存在
实体
和
另一个 实体
这样
那个 实体
是
租
的
instance
和
那个 另外 实体
是
有点 物理
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 实体
在
那个 另外 有认知的主事
结束 的声明 has
义务
的语气
(=>
(
contractor
?BUILDING ?CONTRACTOR)
(
exists
(?CONTRACT ?AGENT)
(
and
(
property
?CONTRACT
Contract
)
(
partyToAgreement
?AGENT ?CONTRACT)
(
partyToAgreement
?CONTRACTOR ?CONTRACT)
(
confersObligation
(
exists
(?CONSTRUCT ?BUILDING2)
(
and
(
instance
?CONSTRUCT
Constructing
)
(
agent
?CONSTRUCT ?CONTRACTOR)
(
result
?CONSTRUCT ?BUILDING2)
(
instance
?BUILDING2
StationaryArtifact
))) ?AGENT ?CONTRACTOR))))
Mid-level-ontology.kif 20850-20863
如果
有认知的主事
有
contract
去
build
固定人工制品
,
然后 有存在
协议
和
另一个 有认知的主事
这样
那个 协议
有
合同
的
attribute
和
那个 协议
是
那个 另外 有认知的主事
的
party
协议 和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 有认知的主事
要求
那个 有认知的主事
执行 有存在
实体
和
那个 固定人工制品
2 这样
那个 实体
是
建筑
的
instance
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 固定人工制品
2 是
那个 实体
的
result
和
那个 固定人工制品
2 是
固定人工制品
的
instance
的任务
(=>
(
instance
?AGREEMENT
Agreement
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
not
(
equal
?AGENT1 ?AGENT2)))))
Mid-level-ontology.kif 13999-14005
如果
协议
是
协议
的
instance
,
然后 有存在
有认知的主事
和
另一个 有认知的主事
这样
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 协议
是
那个 另外 有认知的主事
的
party
协议 和
那个 有认知的主事
不
equal
那个 另外 有认知的主事
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14197-14203
如果
协议
有
婚姻合同
的
attribute
,
然后 有存在
人类
和
另一个 人类
这样
那个 协议
是
那个 人类
的
party
协议 和
那个 协议
是
那个 另外 人类
的
party
协议 和
那个 人类
是
那个 另外 人类
的
spouse
(=>
(
property
?C
PurchaseContract
)
(
exists
(?S ?SELLER ?BUYER)
(
and
(
instance
?S
Selling
)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
realization
?S ?C)
(
partyToAgreement
?C ?SELLER)
(
partyToAgreement
?C ?BUYER))))
Mid-level-ontology.kif 14210-14219
如果
命题
有
采购合同
的
attribute
,
然后 有存在
过程
,
那个 过程
ELLER, and 和
另一个 协议
这样
那个 过程
是
出售
的
instance
和
那个 过程
ELLER 是
那个 过程
的
agent
和
那个 过程
在
那个 另外 协议
结束 和
那个 过程
表示
那个 命题
的内容 和
那个 过程
ELLER 是
那个 命题
的
party
协议 和
那个 另外 协议
是
那个 命题
的
party
协议
(=>
(
property
?C
ServiceContract
)
(
exists
(?SP ?SERVICE ?CUST)
(
and
(
instance
?SP
ServiceProcess
)
(
realization
?SP ?C)
(
serviceProvider
?SP ?SERVICE)
(
serviceRecipient
?SP ?CUST)
(
partyToAgreement
?C ?SERVICE)
(
partyToAgreement
?C ?CUST))))
Mid-level-ontology.kif 14225-14234
如果
命题
有
服务合同
的
attribute
,
然后 有存在
服务
,
协议
, and 和
那个 命题
UST 这样
那个 服务
是
服务
的
instance
和
那个 服务
表示
那个 命题
的内容 和
那个 协议
在
那个 服务
中提供服务 和
那个 命题
UST 在
那个 服务
中获得服务 和
那个 协议
是
那个 命题
的
party
协议 和
那个 命题
UST 是
那个 命题
的
party
协议
(=>
(
property
?Commitment
LoanCommitment
)
(
exists
(?Loan ?Lender ?Borrower)
(
and
(
instance
?Loan
Loan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
partyToAgreement
?Commitment ?Lender)
(
partyToAgreement
?Commitment ?Borrower))))
FinancialOntology.kif 1473-1481
如果
有认知的主事
有
贷款承诺
的
attribute
,
然后 有存在
贷款
,
协议
, and 和
另一个 协议
这样
那个 贷款
是
贷款
的
instance
和
那个 协议
lends
那个 贷款
和
那个 贷款
是
那个 另外 协议
的
borrower
和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 协议
是
那个 有认知的主事
的
party
协议
(=>
(
property
?T
Treaty
)
(
exists
(?N1 ?N2)
(
and
(
partyToAgreement
?T ?N1)
(
partyToAgreement
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2)))))
Mid-level-ontology.kif 14247-14256
如果
有认知的主事
有
条约
的
attribute
,
然后 有存在
协议
和
另一个 协议
这样
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 协议
是
那个 有认知的主事
的
party
协议 和
那个 协议
是
国家
的
instance
和
那个 另外 协议
是
国家
的
instance
和
那个 协议
不
equal
那个 另外 协议
(=>
(
unratifiedSignatoryToAgreement
?AGENT ?PROP)
(
not
(
partyToAgreement
?AGENT ?PROP)))
Geography.kif 3113-3115
如果
协议
是 协议
有认知的主事
的
unratified
签署,
然后
那个 协议
不 是
那个 有认知的主事
的
party
协议
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