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 13994-13995
(
domain
partyToAgreement
1
CognitiveAgent
)
Mid-level-ontology.kif 13998-13998
Die Zahl 1 Argument von
partyToAgreement
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
domain
partyToAgreement
2
Agreement
)
Mid-level-ontology.kif 13999-13999
Die Zahl 2 Argument von
partyToAgreement
ist ein
fall
von
Agreement
%n{nicht}
(
instance
partyToAgreement
BinaryPredicate
)
Mid-level-ontology.kif 13993-13993
partyToAgreement
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
accountAt
ist eine
teilrelation
von
partyToAgreement
(
subrelation
accountHolder
partyToAgreement
)
FinancialOntology.kif 247-247
accountHolder
ist eine
teilrelation
von
partyToAgreement
(
subrelation
borrower
partyToAgreement
)
FinancialOntology.kif 1298-1298
borrower
ist eine
teilrelation
von
partyToAgreement
(
subrelation
financialAccount
partyToAgreement
)
FinancialOntology.kif 3804-3804
financialAccount
ist eine
teilrelation
von
partyToAgreement
(
subrelation
lender
partyToAgreement
)
FinancialOntology.kif 1284-1284
lender
ist eine
teilrelation
von
partyToAgreement
(
subrelation
optionHolder
partyToAgreement
)
FinancialOntology.kif 2583-2583
optionHolder
ist eine
teilrelation
von
partyToAgreement
(
subrelation
optionSeller
partyToAgreement
)
FinancialOntology.kif 2596-2596
optionSeller
ist eine
teilrelation
von
partyToAgreement
(
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
Wenn
LimitOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
Agreement
und
Broker
ist ein
attribut
von
** Agreement
%n{nicht} und
orderFor
** FinancialTransaction
,
Buying
and
Security
und das
mass
von
** Security
ist
PhysicalQuantity
%n{nicht} und
limitPrice
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
askPrice
** Security
,
** RealNumber
** UnitOfMeasure
(s) and
AutonomousAgent
und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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
Wenn
LimitOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
Agreement
und
Broker
ist ein
attribut
von
** Agreement
%n{nicht} und
orderFor
** FinancialTransaction
,
Selling
and
Security
und das
mass
von
** Security
ist
PhysicalQuantity
%n{nicht} und
limitPrice
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
bidPrice
** Security
,
** RealNumber
** UnitOfMeasure
(s) and
AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht},
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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
Wenn
MarketOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
Broker
ist ein
attribut
von
Agreement
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
** Agreement
und
orderFor
** FinancialTransaction
,
** ** FinancialTransaction
and
Security
,
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
Wenn
Agreement
ist ein
fall
von
CivilAffairsAgreement
%n{nicht} und
partyToAgreement
CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
,
dann
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
Wenn
Agreement
ist ein
fall
von
CivilAffairsAgreement
%n{nicht} und
partyToAgreement
entity
_MIL_THIS and
** Agreement
und
** entity
_MIL_THIS ist ein
fall
von
MilitaryOrganization
%n{nicht} und
militaryOfArea
** entity
_MIL_THIS and
** entity
_THIS und
** ** entity
_THIS ist ein
fall
von
Nation
%n{nicht} und
** entity
_MIL_THIS
befindet
sich an %n{nicht} und
** ** entity
_FRIENDLY ist ein
fall
von
Nation
%n{nicht},
dann
** ** entity
_THIS ist gleich
** ** entity
_FRIENDLY nicht und
enemy
** ** entity
_THIS and
** ** entity
_FRIENDLY und es gibt
** entity
_FRIENDLY um
** entity
_FRIENDLY
befindet
sich an %n{nicht} und
partyToAgreement
** entity
_FRIENDLY and
** Agreement
und
** entity
_FRIENDLY ist ein
fall
von
MilitaryOrganization
nicht
(=>
(
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
Wenn
negotiatedPrice
** Physical
,
CurrencyMeasure
and
Agreement
und
partyToAgreement
CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
,
dann
agreementClause
es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Buying
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
direkter
fall von
** Physical
und
** entity
ist der
agent
von
** ** CognitiveAgent
%n{nicht} und
** entity
beginnet an
** CognitiveAgent
%n{nicht} und
transactionAmount
** entity
and
** CurrencyMeasure
,
Obligation
,
** Agreement
and
** CognitiveAgent
(=>
(
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
Wenn
negotiatedPrice
** Physical
,
CurrencyMeasure
and
Agreement
und
partyToAgreement
CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
,
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
direkter
fall von
** Physical
und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** entity
endet an
** ** CognitiveAgent
%n{nicht} und
transactionAmount
** entity
and
** CurrencyMeasure
hat die modale Kraft von
Promise
(=>
(
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
Wenn
partyToAgreement
CognitiveAgent
and
Agreement
und
Process
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
ageOfMajorityForProcess
RealNumber
YearDuration
(s),
** GeopoliticalArea
and
** Process
und
ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
recordForAgreement
** ContentBearingPhysical
and
** Agreement
und
Legal
ist ein
attribut
von
** Agreement
%n{nicht},
dann das
alter
von
** CognitiveAgent
ist
** RealNumber
2
YearDuration
(s) %n{nicht} und
** RealNumber
2 ist
groesserAls
** RealNumber
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
partyToAgreement
CognitiveAgent
and
Agreement
und
Process
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
** GeopoliticalArea
2 ist ein
fall
von
GeopoliticalArea
%n{nicht} und
ageOfMajorityForProcess
RealNumber
YearDuration
(s),
** GeopoliticalArea
and
** Process
und
ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
recordForAgreement
** ContentBearingPhysical
and
** Agreement
und das
alter
von
** CognitiveAgent
ist
entity
YearDuration
(s) %n{nicht} und
** entity
ist
groesserAls
** RealNumber
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
Legal
ist ein
attribut
von
** Agreement
%n{nicht}
(=>
(
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
Wenn
partyToAgreement
CognitiveAgent
and
Agreement
und
Process
ist ein
fall
von
IntentionalProcess
%n{nicht} und
ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
recordForAgreement
** ContentBearingPhysical
and
** Agreement
und
Legal
ist ein
attribut
von
** Agreement
%n{nicht},
dann
Sober
ist ein
attribut
von
** CognitiveAgent
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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 14149-14163
Wenn
Agreement
hat ein
attribut
Contract
%n{nicht} und
partyToAgreement
CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
Process
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** Process
druekt den Inhalt von
Proposition
aus und
consistent
** Proposition
and
** Agreement
,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
LegalAction
%n{nicht} und
plaintiff
** entity
and
** ** CognitiveAgent
und
defendant
** entity
and
** CognitiveAgent
hat die modale Kraft von
Possibility
(=>
(
partyToAgreement
?AGENT ?CONTENT)
(
exists
(?C)
(
and
(
instance
?C
Committing
)
(
agent
?C ?AGENT)
(
patient
?C ?CONTENT))))
Mid-level-ontology.kif 14001-14007
Wenn
partyToAgreement
CognitiveAgent
and
Agreement
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Committing
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** Agreement
ist ein
patient
von
** Process
%n{nicht}
consequent
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3260-3266
Agreement
beschaeftigt
** Agreement
%n{nicht} genau dann wenn es gibt
CognitiveAgent
um
** CognitiveAgent
hat ein
attribut
Employment
%n{nicht} und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** ** Agreement
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14072-14077
Wenn
agreementClause
Proposition
,
DeonticAttribute
,
Agreement
and
CognitiveAgent
,
dann es gibt
ContentBearingPhysical
um
** ContentBearingPhysical
enthaelt Informationen ueber
** Proposition
und
partyToAgreement
** CognitiveAgent
and
** Agreement
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
LiabilityAccount
%n{nicht} und
accountHolder
** FinancialAccount
and
Agreement
und
accountAt
** FinancialAccount
and
** Agreement
,
dann es gibt
CognitiveAgent
um
** CognitiveAgent
hat ein
attribut
Liability
%n{nicht} und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** ** Agreement
(=>
(
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 29639-29653
Wenn
TimeInterval
ist ein
fall
von
Confirming
%n{nicht} und
** TimeInterval
ist der
agent
von
Agreement
%n{nicht} und
** TimeInterval
enthaelt Informationen ueber
Proposition
,
dann es gibt
** TimeInterval
,
ContentBearingPhysical
, and und
** Agreement
2 um
** ** TimeInterval
ist ein
fall
von
Stating
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
** ContentBearingPhysical
ist ein
fall
von
ReachingAgreement
%n{nicht} und
** ** TimeInterval
ist der
agent
von
** Agreement
2 %n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
** Proposition
und
** ** TimeInterval
enthaelt Informationen ueber
** Proposition
und
partyToAgreement
** ContentBearingPhysical
and
** Agreement
und
partyToAgreement
** ContentBearingPhysical
and
** Agreement
2
(=>
(
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
Wenn
Agreement
ist ein
fall
von
CivilAffairsAgreement
%n{nicht} und
partyToAgreement
entity
_MIL_THIS and
** Agreement
und
** entity
_MIL_THIS ist ein
fall
von
MilitaryOrganization
%n{nicht} und
militaryOfArea
** entity
_MIL_THIS and
** entity
_THIS und
** ** entity
_THIS ist ein
fall
von
Nation
%n{nicht} und
** entity
_MIL_THIS
befindet
sich an %n{nicht} und
** ** entity
_FRIENDLY ist ein
fall
von
Nation
%n{nicht},
dann
** ** entity
_THIS ist gleich
** ** entity
_FRIENDLY nicht und
enemy
** ** entity
_THIS and
** ** entity
_FRIENDLY und es gibt
** entity
_FRIENDLY um
** entity
_FRIENDLY
befindet
sich an %n{nicht} und
partyToAgreement
** entity
_FRIENDLY and
** Agreement
und
** entity
_FRIENDLY ist ein
fall
von
MilitaryOrganization
nicht
(=>
(
and
(
instance
?CLOSE
ClosingContract
)
(
agent
?CLOSE ?AGENT)
(
destination
?CLOSE ?CONTRACT))
(
partyToAgreement
?CONTRACT ?AGENT))
Mid-level-ontology.kif 21512-21517
Wenn
Process
ist ein
fall
von
ClosingContract
%n{nicht} und
** Process
ist der
agent
von
Agreement
%n{nicht} und
** Process
endet an
CognitiveAgent
%n{nicht},
dann
partyToAgreement
** CognitiveAgent
and
** Agreement
(=>
(
and
(
instance
?RA
ReachingAgreement
)
(
agent
?RA ?AGENT)
(
result
?RA ?PROP)
(
instance
?PROP
Agreement
))
(
holdsDuring
(
FutureFn
(
WhenFn
?RA))
(
partyToAgreement
?AGENT ?PROP)))
Media.kif 153-160
Wenn
Process
ist ein
fall
von
ReachingAgreement
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Agreement
%n{nicht},
dann
partyToAgreement
** AutonomousAgent
and
** Entity
haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
attribute
?Broker
Broker
)
(
exists
(?Contract)
(
and
(
instance
?Contract
ServiceContract
)
(
partyToAgreement
?Broker ?Contract))))
FinancialOntology.kif 2058-2063
Wenn
Broker
ist ein
attribut
von
CognitiveAgent
%n{nicht},
dann es gibt
Agreement
um
** Agreement
ist ein
fall
von
ServiceContract
%n{nicht} und
partyToAgreement
** CognitiveAgent
and
** Agreement
(=>
(
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
Wenn
contractedRentalPrice
** Physical
,
FunctionQuantity
and
Agreement
,
dann es gibt
CognitiveAgent
und
** CognitiveAgent
um
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** ** CognitiveAgent
and
** Agreement
und die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Renting
%n{nicht} und
** ** entity
ist ein
fall
von
** Physical
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** entity
endet an
** ** CognitiveAgent
%n{nicht} hat die modale Kraft von
Obligation
(=>
(
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 20823-20836
Wenn
contractor
StationaryArtifact
and
CognitiveAgent
,
dann es gibt
Agreement
und
** CognitiveAgent
um
** Agreement
hat ein
attribut
Contract
%n{nicht} und
partyToAgreement
** ** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
** ** CognitiveAgent
zwingt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
und
** StationaryArtifact
um
** entity
ist ein
fall
von
Constructing
%n{nicht} und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** StationaryArtifact
ist ein
resultat
von
** entity
%n{nicht} und
** StationaryArtifact
ist ein
fall
von
StationaryArtifact
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
instance
?AGREEMENT
Agreement
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
not
(
equal
?AGENT1 ?AGENT2)))))
Mid-level-ontology.kif 13972-13978
Wenn
Agreement
ist ein
fall
von
Agreement
%n{nicht},
dann es gibt
CognitiveAgent
und
** CognitiveAgent
um
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** ** CognitiveAgent
and
** Agreement
und
** CognitiveAgent
ist gleich
** ** CognitiveAgent
nicht
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14170-14176
Wenn
Agreement
hat ein
attribut
MarriageContract
%n{nicht},
dann es gibt
Human
und
** Human
um
partyToAgreement
** Human
and
** Agreement
und
partyToAgreement
** ** Human
and
** Agreement
und
spouse
** Human
and
** ** Human
(=>
(
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 14183-14192
Wenn
Proposition
hat ein
attribut
PurchaseContract
%n{nicht},
dann es gibt
Process
,
** Process
ELLER, and und
** Agreement
um
** Process
ist ein
fall
von
Selling
%n{nicht} und
** Process
ist der
agent
von
** Process
ELLER %n{nicht} und
** Process
endet an
** ** Agreement
%n{nicht} und
** Process
druekt den Inhalt von
** Proposition
aus und
partyToAgreement
** Proposition
and
** Process
ELLER und
partyToAgreement
** Proposition
and
** ** Agreement
(=>
(
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 14198-14207
Wenn
Proposition
hat ein
attribut
ServiceContract
%n{nicht},
dann es gibt
ServiceProcess
,
Agreement
, and und
** Proposition
UST um
** ServiceProcess
ist ein
fall
von
ServiceProcess
%n{nicht} und
** ServiceProcess
druekt den Inhalt von
** Proposition
aus und
serviceProvider
** ServiceProcess
and
** Agreement
und
serviceRecipient
** ServiceProcess
and
** Proposition
UST und
partyToAgreement
** Proposition
and
** Agreement
und
partyToAgreement
** Proposition
and
** Proposition
UST
(=>
(
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
Wenn
CognitiveAgent
hat ein
attribut
LoanCommitment
%n{nicht},
dann es gibt
Loan
,
Agreement
, and und
** Agreement
um
** Loan
ist ein
fall
von
Loan
%n{nicht} und
lender
** Loan
and
** Agreement
und
borrower
** Loan
and
** ** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** ** Agreement
(=>
(
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 14220-14229
Wenn
CognitiveAgent
hat ein
attribut
Treaty
%n{nicht},
dann es gibt
Agreement
und
** Agreement
um
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** ** Agreement
und
** Agreement
ist ein
fall
von
Nation
%n{nicht} und
** ** Agreement
ist ein
fall
von
Nation
%n{nicht} und
** Agreement
ist gleich
** ** Agreement
nicht
(=>
(
unratifiedSignatoryToAgreement
?AGENT ?PROP)
(
not
(
partyToAgreement
?AGENT ?PROP)))
Geography.kif 3113-3115
Wenn
unratifiedSignatoryToAgreement
CognitiveAgent
and
Agreement
,
dann
partyToAgreement
** CognitiveAgent
and
** Agreement
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