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
Il numero 1 argomenti di
partyToAgreement
è un
istanza
di
AgenteCognitivo
(
domain
partyToAgreement
2
Agreement
)
Mid-level-ontology.kif 13999-13999
Il numero 2 argomenti di
partyToAgreement
è un
istanza
di
Agreement
(
instance
partyToAgreement
BinaryPredicate
)
Mid-level-ontology.kif 13993-13993
partyToAgreement
è un'
istanza
di
PredicatoBinario
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
è una
sottorelazione
di
partyToAgreement
(
subrelation
accountHolder
partyToAgreement
)
FinancialOntology.kif 247-247
accountHolder
è una
sottorelazione
di
partyToAgreement
(
subrelation
borrower
partyToAgreement
)
FinancialOntology.kif 1298-1298
borrower
è una
sottorelazione
di
partyToAgreement
(
subrelation
financialAccount
partyToAgreement
)
FinancialOntology.kif 3804-3804
financialAccount
è una
sottorelazione
di
partyToAgreement
(
subrelation
lender
partyToAgreement
)
FinancialOntology.kif 1284-1284
lender
è una
sottorelazione
di
partyToAgreement
(
subrelation
optionHolder
partyToAgreement
)
FinancialOntology.kif 2583-2583
optionHolder
è una
sottorelazione
di
partyToAgreement
(
subrelation
optionSeller
partyToAgreement
)
FinancialOntology.kif 2596-2596
optionSeller
è una
sottorelazione
di
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
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Acquistare
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
askPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
minore
o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Vendere
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
bidPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
ScambioFinanziario
and
MarketOrder
attribute
Agreement
and
Broker
partyToAgreement
ScambioFinanziario
and
Agreement
orderFor
ScambioFinanziario
,
ScambioFinanziario
and
Security
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
Agreement
è un'
istanza
di
CivilAffairsAgreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
enemy
AgenteCognitivo
and
AgenteCognitivo
(=>
(
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
Agreement
è un'
istanza
di
CivilAffairsAgreement
partyToAgreement
Entit�
_MIL_THIS and
Agreement
Entit�
_MIL_THIS è un'
istanza
di
MilitaryOrganization
militaryOfArea
Entit�
_MIL_THIS and
Entit�
_THIS
Entit�
_THIS è un'
istanza
di
Nazione
Entit�
_MIL_THIS è
localizzato
in
Entit�
_FRIENDLY
Entit�
_FRIENDLY è un'
istanza
di
Nazione
Entit�
_THIS is
uguale
a
Entit�
_FRIENDLY
enemy
Entit�
_THIS and
Entit�
_FRIENDLY
Entit�
_FRIENDLY
Entit�
_FRIENDLY è
localizzato
in
Entit�
_FRIENDLY
partyToAgreement
Entit�
_FRIENDLY and
Agreement
Entit�
_FRIENDLY è un'
istanza
di
MilitaryOrganization
(=>
(
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
negotiatedPrice
Entit�Concreta
,
MisuraMonetaria
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
agreementClause
Entit�
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Entit�
%è una
istanza
immediata %2
Entit�
è un
agente
di
AgenteCognitivo
Entit�
si
originas in
AgenteCognitivo
transactionAmount
Entit�
and
MisuraMonetaria
,
Obligation
,
Agreement
and
AgenteCognitivo
(=>
(
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
negotiatedPrice
Entit�Concreta
,
MisuraMonetaria
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
%è una
istanza
immediata
Promise
Entit�
è un
agente
di
AgenteCognitivo
Entit�
fine
s in
AgenteCognitivo
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
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
partyToAgreement
AgenteCognitivo
and
Agreement
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è
localizzato
in
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
ageOfMajorityForProcess
NumeroReale
YearDuration
(s,
AreaGeopolitica
and
Processo
ContentBearingPhysical
è un
risultato
di
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
attribute
Agreement
and
Legal
il
et
à di
AgenteCognitivo
è
NumeroReale
2
YearDuration
(s
NumeroReale
2 è
pi
ù grande di
NumeroReale
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
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
partyToAgreement
AgenteCognitivo
and
Agreement
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è
localizzato
in
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Processo
è
localizzato
in
AreaGeopolitica
2
AreaGeopolitica
2 è un'
istanza
di
AreaGeopolitica
ageOfMajorityForProcess
NumeroReale
YearDuration
(s,
AreaGeopolitica
and
Processo
ContentBearingPhysical
è un
risultato
di
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
il
et
à di
AgenteCognitivo
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di
NumeroReale
vales
durante
il
tempo
di esistenza di
Processo
attribute
Agreement
and
Legal
(=>
(
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
partyToAgreement
AgenteCognitivo
and
Agreement
Processo
è un'
istanza
di
ProcessoIntenzionale
ContentBearingPhysical
è un
risultato
di
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
attribute
Agreement
and
Legal
attribute
AgenteCognitivo
and
Sober
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
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
Agreement
ha un
attributo
Contract
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AgenteCognitivo
Processo
esprime
il contenuto di
Proposizione
consistent
Proposizione
and
Agreement
l'affermazione
Entit�
Entit�
è un'
istanza
di
AzioneLegale
plaintiff
Entit�
and
AgenteCognitivo
defendant
Entit�
and
AgenteCognitivo
ha il modello di forza di
Possibility
(=>
(
partyToAgreement
?AGENT ?CONTENT)
(
exists
(?C)
(
and
(
instance
?C
Committing
)
(
agent
?C ?AGENT)
(
patient
?C ?CONTENT))))
Mid-level-ontology.kif 14001-14007
partyToAgreement
AgenteCognitivo
and
Agreement
Processo
Processo
è un'
istanza
di
Impegnarsi
Processo
è un
agente
di
AgenteCognitivo
Agreement
è un
paziente
di
Processo
consequent
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3260-3266
Agreement
impiega
s
Agreement
AgenteCognitivo
AgenteCognitivo
ha un
attributo
Employment
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14072-14077
agreementClause
Proposizione
,
AttributoDeontico
,
Agreement
and
AgenteCognitivo
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Proposizione
partyToAgreement
AgenteCognitivo
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
FinancialAccount
è un'
istanza
di
LiabilityAccount
accountHolder
FinancialAccount
and
Agreement
accountAt
FinancialAccount
and
Agreement
AgenteCognitivo
AgenteCognitivo
ha un
attributo
Liability
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
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
IntervalloTemporale
è un'
istanza
di
Confirming
IntervalloTemporale
è un
agente
di
Agreement
IntervalloTemporale
contiene
s informazione
Proposizione
IntervalloTemporale
ContentBearingPhysical
and
Agreement
2
IntervalloTemporale
è un'
istanza
di
Affermare
IntervalloTemporale
accades
prima
di
IntervalloTemporale
ContentBearingPhysical
è un'
istanza
di
ReachingAgreement
IntervalloTemporale
è un
agente
di
Agreement
2
ContentBearingPhysical
contiene
s informazione
Proposizione
IntervalloTemporale
contiene
s informazione
Proposizione
partyToAgreement
ContentBearingPhysical
and
Agreement
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
Agreement
è un'
istanza
di
CivilAffairsAgreement
partyToAgreement
Entit�
_MIL_THIS and
Agreement
Entit�
_MIL_THIS è un'
istanza
di
MilitaryOrganization
militaryOfArea
Entit�
_MIL_THIS and
Entit�
_THIS
Entit�
_THIS è un'
istanza
di
Nazione
Entit�
_MIL_THIS è
localizzato
in
Entit�
_FRIENDLY
Entit�
_FRIENDLY è un'
istanza
di
Nazione
Entit�
_THIS is
uguale
a
Entit�
_FRIENDLY
enemy
Entit�
_THIS and
Entit�
_FRIENDLY
Entit�
_FRIENDLY
Entit�
_FRIENDLY è
localizzato
in
Entit�
_FRIENDLY
partyToAgreement
Entit�
_FRIENDLY and
Agreement
Entit�
_FRIENDLY è un'
istanza
di
MilitaryOrganization
(=>
(
and
(
instance
?CLOSE
ClosingContract
)
(
agent
?CLOSE ?AGENT)
(
destination
?CLOSE ?CONTRACT))
(
partyToAgreement
?CONTRACT ?AGENT))
Mid-level-ontology.kif 21512-21517
Processo
è un'
istanza
di
ClosingContract
Processo
è un
agente
di
Agreement
Processo
fine
s in
AgenteCognitivo
partyToAgreement
AgenteCognitivo
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
Processo
è un'
istanza
di
ReachingAgreement
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
Agreement
partyToAgreement
AutonomousAgent
and
Entit�
vales
durante
dopo
il
tempo
di esistenza di
Processo
(=>
(
attribute
?Broker
Broker
)
(
exists
(?Contract)
(
and
(
instance
?Contract
ServiceContract
)
(
partyToAgreement
?Broker ?Contract))))
FinancialOntology.kif 2058-2063
attribute
AgenteCognitivo
and
Broker
Agreement
Agreement
è un'
istanza
di
ServiceContract
partyToAgreement
AgenteCognitivo
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
contractedRentalPrice
Entit�Concreta
,
FunzioneDiQuantit�
and
Agreement
AgenteCognitivo
AgenteCognitivo
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Renting
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
Entit�
fine
s in
AgenteCognitivo
ha il modello di forza di
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
contractor
ManufattoStatico
and
AgenteCognitivo
Agreement
AgenteCognitivo
Agreement
ha un
attributo
Contract
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
AgenteCognitivo
obbliga
AgenteCognitivo
a compiere il compito di tipo
Entit�
ManufattoStatico
Entit�
è un'
istanza
di
Costruzione
Entit�
è un
agente
di
AgenteCognitivo
ManufattoStatico
è un
risultato
di
Entit�
ManufattoStatico
è un'
istanza
di
ManufattoStatico
(=>
(
instance
?AGREEMENT
Agreement
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
not
(
equal
?AGENT1 ?AGENT2)))))
Mid-level-ontology.kif 13972-13978
Agreement
è un'
istanza
di
Agreement
AgenteCognitivo
AgenteCognitivo
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
AgenteCognitivo
is
uguale
a
AgenteCognitivo
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14170-14176
Agreement
ha un
attributo
MarriageContract
Umano
Umano
partyToAgreement
Umano
and
Agreement
partyToAgreement
Umano
and
Agreement
spouse
Umano
and
Umano
(=>
(
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
Proposizione
ha un
attributo
PurchaseContract
Processo
Processo
ELLER and
Agreement
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
Processo
ELLER
Processo
fine
s in
Agreement
Processo
esprime
il contenuto di
Proposizione
partyToAgreement
Proposizione
and
Processo
ELLER
partyToAgreement
Proposizione
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
Proposizione
ha un
attributo
ServiceContract
ServiceProcess
Agreement
and
Proposizione
UST
ServiceProcess
è un'
istanza
di
ServiceProcess
ServiceProcess
esprime
il contenuto di
Proposizione
serviceProvider
ServiceProcess
and
Agreement
serviceRecipient
ServiceProcess
and
Proposizione
UST
partyToAgreement
Proposizione
and
Agreement
partyToAgreement
Proposizione
and
Proposizione
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
AgenteCognitivo
ha un
attributo
LoanCommitment
Loan
Agreement
and
Agreement
Loan
è un'
istanza
di
Loan
lender
Loan
and
Agreement
borrower
Loan
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
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
AgenteCognitivo
ha un
attributo
Treaty
Agreement
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
Agreement
è un'
istanza
di
Nazione
Agreement
è un'
istanza
di
Nazione
Agreement
is
uguale
a
Agreement
(=>
(
unratifiedSignatoryToAgreement
?AGENT ?PROP)
(
not
(
partyToAgreement
?AGENT ?PROP)))
Geography.kif 3113-3115
unratifiedSignatoryToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
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