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
deceptiveIdentifier
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 13993-13994
(
domain
partyToAgreement
1
CognitiveAgent
)
Mid-level-ontology.kif 13997-13997
域
協議的一方
, 1 and
CognitiveAgent
(
domain
partyToAgreement
2
Agreement
)
Mid-level-ontology.kif 13998-13998
域
協議的一方
, 2 and
協議
(
instance
partyToAgreement
BinaryPredicate
)
Mid-level-ontology.kif 13992-13992
例
協議的一方
and
BinaryPredicate
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
子關係
帳號在
and
協議的一方
(
subrelation
accountHolder
partyToAgreement
)
FinancialOntology.kif 247-247
子關係
帳戶持有人
and
協議的一方
(
subrelation
borrower
partyToAgreement
)
FinancialOntology.kif 1298-1298
子關係
借款人
and
協議的一方
(
subrelation
financialAccount
partyToAgreement
)
FinancialOntology.kif 3804-3804
子關係
financialAccount
and
協議的一方
(
subrelation
lender
partyToAgreement
)
FinancialOntology.kif 1284-1284
子關係
貸款人
and
協議的一方
(
subrelation
optionHolder
partyToAgreement
)
FinancialOntology.kif 2583-2583
子關係
期權持有人
and
協議的一方
(
subrelation
optionSeller
partyToAgreement
)
FinancialOntology.kif 2596-2596
子關係
期權賣方
and
協議的一方
(
termFormat
ChineseLanguage
partyToAgreement
"协议的一方")
domainEnglishFormat.kif 44616-44616
(
termFormat
ChineseTraditionalLanguage
partyToAgreement
"協議的一方")
domainEnglishFormat.kif 44615-44615
(
termFormat
EnglishLanguage
partyToAgreement
"party to agreement")
domainEnglishFormat.kif 44614-44614
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
FinancialTransaction
and
限價訂單
協議
是
FinancialTransaction
的
party
協議
attribute
協議
and
經紀人
FinancialTransaction
是 對於
安全
的
order
Buying
測量
安全
and
PhysicalQuantity
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
limit
價格
例
UnitOfMeasure
and
UnitOfCurrency
AutonomousAgent
為了
安全
asks
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
安全
測量
安全
and
PhysicalQuantity
等於
何時
SymbolicString
and
SymbolicString
ingTime
暫時重疊
AutonomousAgent
and
SymbolicString
ingTime and
協議
(=>
(
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
FinancialTransaction
and
限價訂單
協議
是
FinancialTransaction
的
party
協議
attribute
協議
and
經紀人
FinancialTransaction
是 對於
安全
的
order
Selling
測量
安全
and
PhysicalQuantity
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
limit
價格
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
安全
例
UnitOfMeasure
and
UnitOfCurrency
大於或等於
RealNumber
and
RealNumber
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
安全
測量
安全
and
PhysicalQuantity
等於
何時
SymbolicString
and
SymbolicString
ingTime
暫時重疊
SymbolicString
ingTime and
AutonomousAgent
and
協議
(=>
(
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
FinancialTransaction
and
市場秩序
attribute
協議
and
經紀人
協議
是
FinancialTransaction
的
party
協議
FinancialTransaction
是 對於
安全
的
order
FinancialTransaction
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
FinancialTransaction
患者
SymbolicString
and
安全
and
協議
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
例
協議
and
民政協議
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
enemy
CognitiveAgent
and
CognitiveAgent
(=>
(
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
例
協議
and
民政協議
協議
是
entity
_MIL_THIS 的
party
協議
例
entity
_MIL_THIS and
軍事組織
entity
_THIS 是
entity
_MIL_THIS 的
military
區域
例
entity
_THIS and
Nation
位於
entity
_MIL_THIS and
entity
_FRIENDLY
例
entity
_FRIENDLY and
Nation
等於
entity
_THIS and
entity
_FRIENDLY
enemy
entity
_THIS and
entity
_FRIENDLY
entity
_FRIENDLY
位於
entity
_FRIENDLY and
entity
_FRIENDLY
協議
是
entity
_FRIENDLY 的
party
協議
例
entity
_FRIENDLY and
軍事組織
(=>
(
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
總額
義務
(=>
(
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
對於
Physical
協商的
price
在
協議
是
CurrencyMeasure
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
模態屬性
entity
entity
例
entity
and
Selling
患者
entity
and
entity
立即實例
entity
and
Physical
agent
entity
and
CognitiveAgent
目的地
entity
and
CognitiveAgent
CurrencyMeasure
是
entity
的
transaction
總額 and
諾言
(=>
(
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
合法
(=>
(
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
協議
是
CognitiveAgent
的
party
協議
例
Process
and
IntentionalProcess
結果
Process
and
內容承載物理
內容承載物理
是
協議
的
record
attribute
協議
and
合法
持有期間
何時
Process
and
attribute
CognitiveAgent
and
清醒
(=>
(
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 14148-14162
屬性
協議
and
合同
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
例
Process
and
IntentionalProcess
agent
Process
and
CognitiveAgent
實現
Process
and
Proposition
協議
是
Proposition
的
consistent
模態屬性
entity
例
entity
and
LegalAction
CognitiveAgent
是
plaintiff
在
entity
CognitiveAgent
是在
entity
的
defendant
and
可能性
(=>
(
partyToAgreement
?AGENT ?CONTENT)
(
exists
(?C)
(
and
(
instance
?C
Committing
)
(
agent
?C ?AGENT)
(
patient
?C ?CONTENT))))
Mid-level-ontology.kif 14000-14006
協議
是
CognitiveAgent
的
party
協議
Process
例
Process
and
Committing
agent
Process
and
CognitiveAgent
患者
Process
and
協議
consequent
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3260-3266
採用
協議
and
協議
CognitiveAgent
屬性
CognitiveAgent
and
僱用
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
(=>
(
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
協議
(=>
(
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
例
金融賬戶
and
責任賬戶
協議
持有
account
金融賬戶
金融賬戶
是被
協議
held
CognitiveAgent
屬性
CognitiveAgent
and
責任
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
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 29627-29641
例
TimeInterval
and
Confirming
agent
TimeInterval
and
協議
包含信息
TimeInterval
and
Proposition
TimeInterval
內容承載物理
and
協議
2
例
TimeInterval
and
Stating
早期
TimeInterval
and
TimeInterval
例
內容承載物理
and
ReachingAgreement
agent
TimeInterval
and
協議
2
包含信息
內容承載物理
and
Proposition
包含信息
TimeInterval
and
Proposition
協議
是
內容承載物理
的
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
例
協議
and
民政協議
協議
是
entity
_MIL_THIS 的
party
協議
例
entity
_MIL_THIS and
軍事組織
entity
_THIS 是
entity
_MIL_THIS 的
military
區域
例
entity
_THIS and
Nation
位於
entity
_MIL_THIS and
entity
_FRIENDLY
例
entity
_FRIENDLY and
Nation
等於
entity
_THIS and
entity
_FRIENDLY
enemy
entity
_THIS and
entity
_FRIENDLY
entity
_FRIENDLY
位於
entity
_FRIENDLY and
entity
_FRIENDLY
協議
是
entity
_FRIENDLY 的
party
協議
例
entity
_FRIENDLY and
軍事組織
(=>
(
and
(
instance
?CLOSE
ClosingContract
)
(
agent
?CLOSE ?AGENT)
(
destination
?CLOSE ?CONTRACT))
(
partyToAgreement
?CONTRACT ?AGENT))
Mid-level-ontology.kif 21511-21516
例
Process
and
契約終止
agent
Process
and
協議
目的地
Process
and
CognitiveAgent
協議
是
CognitiveAgent
的
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
例
Process
and
ReachingAgreement
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
例
Entity
and
協議
持有期間
未來
何時
Process
and
Entity
是
AutonomousAgent
的
party
協議
(=>
(
attribute
?Broker
Broker
)
(
exists
(?Contract)
(
and
(
instance
?Contract
ServiceContract
)
(
partyToAgreement
?Broker ?Contract))))
FinancialOntology.kif 2058-2063
attribute
CognitiveAgent
and
經紀人
協議
例
協議
and
服務合同
協議
是
CognitiveAgent
的
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
協議
對於
FunctionQuantity
指定
Physical
的
rental
CognitiveAgent
CognitiveAgent
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
模態屬性
entity
entity
例
entity
and
租
例
entity
and
Physical
患者
entity
and
entity
agent
entity
and
CognitiveAgent
目的地
entity
and
CognitiveAgent
and
義務
(=>
(
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 20822-20835
CognitiveAgent
有
contract
去
build
StationaryArtifact
協議
CognitiveAgent
屬性
協議
and
合同
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
授予義務
entity
StationaryArtifact
2
例
entity
and
Constructing
agent
entity
and
CognitiveAgent
結果
entity
and
StationaryArtifact
2
例
StationaryArtifact
2 and
StationaryArtifact
,
CognitiveAgent
and
CognitiveAgent
(=>
(
instance
?AGREEMENT
Agreement
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
not
(
equal
?AGENT1 ?AGENT2)))))
Mid-level-ontology.kif 13971-13977
例
協議
and
協議
CognitiveAgent
CognitiveAgent
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
等於
CognitiveAgent
and
CognitiveAgent
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14169-14175
屬性
協議
and
婚姻合同
Human
Human
協議
是
Human
的
party
協議
協議
是
Human
的
party
協議
Human
是
Human
的
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 14182-14191
屬性
Proposition
and
採購合同
Process
Process
ELLER and
協議
例
Process
and
Selling
agent
Process
and
Process
ELLER
目的地
Process
and
協議
實現
Process
and
Proposition
Process
ELLER 是
Proposition
的
party
協議
協議
是
Proposition
的
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 14197-14206
屬性
Proposition
and
服務合同
服務
協議
and
Proposition
UST
例
服務
and
服務
實現
服務
and
Proposition
服務提供者
服務
and
協議
服務接收者
服務
and
Proposition
UST
協議
是
Proposition
的
party
協議
Proposition
UST 是
Proposition
的
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
屬性
CognitiveAgent
and
貸款承諾
貸款
協議
and
協議
例
貸款
and
貸款
協議
lends
貸款
貸款
是
協議
的
borrower
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
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 14219-14228
屬性
CognitiveAgent
and
條約
協議
協議
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
例
協議
and
Nation
例
協議
and
Nation
等於
協議
and
協議
(=>
(
unratifiedSignatoryToAgreement
?AGENT ?PROP)
(
not
(
partyToAgreement
?AGENT ?PROP)))
Geography.kif 3113-3115
協議
是 協議
CognitiveAgent
的
unratified
簽署
協議
是
CognitiveAgent
的
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