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
O argumento numero 1 de
partyToAgreement
e' uma
instancia
de
Agente Cognitivo
(
domain
partyToAgreement
2
Agreement
)
Mid-level-ontology.kif 13999-13999
O argumento numero 2 de
partyToAgreement
e' uma
instancia
de
Agreement
(
instance
partyToAgreement
BinaryPredicate
)
Mid-level-ontology.kif 13993-13993
partyToAgreement
e' uma
instancia
de
Predicado Binario
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
e' uma
sub
-relacao de
partyToAgreement
(
subrelation
accountHolder
partyToAgreement
)
FinancialOntology.kif 247-247
accountHolder
e' uma
sub
-relacao de
partyToAgreement
(
subrelation
borrower
partyToAgreement
)
FinancialOntology.kif 1298-1298
borrower
e' uma
sub
-relacao de
partyToAgreement
(
subrelation
financialAccount
partyToAgreement
)
FinancialOntology.kif 3804-3804
financialAccount
e' uma
sub
-relacao de
partyToAgreement
(
subrelation
lender
partyToAgreement
)
FinancialOntology.kif 1284-1284
lender
e' uma
sub
-relacao de
partyToAgreement
(
subrelation
optionHolder
partyToAgreement
)
FinancialOntology.kif 2583-2583
optionHolder
e' uma
sub
-relacao de
partyToAgreement
(
subrelation
optionSeller
partyToAgreement
)
FinancialOntology.kif 2596-2596
optionSeller
e' uma
sub
-relacao de
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
LimitOrder
e' um
atributo
de
Transacao Financeira
partyToAgreement
Transacao Financeira
and
Agreement
Broker
e' um
atributo
de
Agreement
orderFor
Transacao Financeira
,
Comprar
and
Security
a
medida
de
Security
e'
Quantidade Fisica
limitPrice
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
askPrice
Security
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Numero Real
e'
menor
ou igual a
Numero Real
Agreement
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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
LimitOrder
e' um
atributo
de
Transacao Financeira
partyToAgreement
Transacao Financeira
and
Agreement
Broker
e' um
atributo
de
Agreement
orderFor
Transacao Financeira
,
Vender
and
Security
a
medida
de
Security
e'
Quantidade Fisica
limitPrice
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
bidPrice
Security
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
ou igual a
Numero Real
Agreement
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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
MarketOrder
e' um
atributo
de
Transacao Financeira
Broker
e' um
atributo
de
Agreement
partyToAgreement
Transacao Financeira
and
Agreement
orderFor
Transacao Financeira
,
Transacao Financeira
and
Security
Agreement
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT1 ?CAA)
(
partyToAgreement
?AGENT2 ?CAA))
(
not
(
enemy
?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2332-2338
Agreement
e' uma
instancia
de
CivilAffairsAgreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
enemy
Agente Cognitivo
and
Agente Cognitivo
(=>
(
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
e' uma
instancia
de
CivilAffairsAgreement
partyToAgreement
Entidade
_MIL_THIS and
Agreement
Entidade
_MIL_THIS e' uma
instancia
de
MilitaryOrganization
militaryOfArea
Entidade
_MIL_THIS and
Entidade
_THIS
Entidade
_THIS e' uma
instancia
de
Nacao
Entidade
_MIL_THIS e'
situado
em
Entidade
_FRIENDLY
Entidade
_FRIENDLY e' uma
instancia
de
Nacao
Entidade
_THIS e'
igual
a
Entidade
_FRIENDLY
enemy
Entidade
_THIS and
Entidade
_FRIENDLY
Entidade
_FRIENDLY
Entidade
_FRIENDLY e'
situado
em
Entidade
_FRIENDLY
partyToAgreement
Entidade
_FRIENDLY and
Agreement
Entidade
_FRIENDLY e' uma
instancia
de
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
Fisico
,
Medida de Divisa
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
agreementClause
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
imediata de
Fisico
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
tem como
origem
Agente Cognitivo
transactionAmount
Entidade
and
Medida de Divisa
,
Obligation
,
Agreement
and
Agente Cognitivo
(=>
(
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
Fisico
,
Medida de Divisa
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
imediata de
Fisico
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
termina
em
Agente Cognitivo
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
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
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
ageOfMajorityForProcess
Numero Real
YearDuration
(s),
Area Geopolitica
and
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
e' um
atributo
de
Agreement
a
idade
de
Agente Cognitivo
e'
Numero Real
2
YearDuration
(s)
Numero Real
2 e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
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
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Processo
e'
situado
em
Area Geopolitica
2
Area Geopolitica
2 e' uma
instancia
de
Area Geopolitica
ageOfMajorityForProcess
Numero Real
YearDuration
(s),
Area Geopolitica
and
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
a
idade
de
Agente Cognitivo
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Processo
Legal
e' um
atributo
de
Agreement
(=>
(
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
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
e' um
atributo
de
Agreement
Sober
e' um
atributo
de
Agente Cognitivo
vale
durante
tempo
de existencia de
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
tem um
atributo
de
Contract
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
Agente Cognitivo
Processo
exprime
o conteudo de
Proposicao
consistent
Proposicao
and
Agreement
o argumento
Entidade
Entidade
e' uma
instancia
de
Acao Legal
plaintiff
Entidade
and
Agente Cognitivo
defendant
Entidade
and
Agente Cognitivo
tem a
forca
modal
de
Possibility
(=>
(
partyToAgreement
?AGENT ?CONTENT)
(
exists
(?C)
(
and
(
instance
?C
Committing
)
(
agent
?C ?AGENT)
(
patient
?C ?CONTENT))))
Mid-level-ontology.kif 14001-14007
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
Processo
e' uma
instancia
de
Comprometer-se
Processo
e' um
agente
de
Agente Cognitivo
Agreement
e' um
patient
de
Processo
consequent
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3260-3266
Agreement
emprega
Agreement
Agente Cognitivo
Agente Cognitivo
tem um
atributo
de
Employment
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14072-14077
agreementClause
Proposicao
,
Atributo Deontico
,
Agreement
and
Agente Cognitivo
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
partyToAgreement
Agente Cognitivo
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
e' uma
instancia
de
LiabilityAccount
accountHolder
FinancialAccount
and
Agreement
accountAt
FinancialAccount
and
Agreement
Agente Cognitivo
Agente Cognitivo
tem um
atributo
de
Liability
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
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
Intervalo Temporal
e' uma
instancia
de
Confirming
Intervalo Temporal
e' um
agente
de
Agreement
Intervalo Temporal
contem
informacao
Proposicao
Intervalo Temporal
ContentBearingPhysical
and
Agreement
2
Intervalo Temporal
e' uma
instancia
de
Declarar
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
ContentBearingPhysical
e' uma
instancia
de
ReachingAgreement
Intervalo Temporal
e' um
agente
de
Agreement
2
ContentBearingPhysical
contem
informacao
Proposicao
Intervalo Temporal
contem
informacao
Proposicao
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
e' uma
instancia
de
CivilAffairsAgreement
partyToAgreement
Entidade
_MIL_THIS and
Agreement
Entidade
_MIL_THIS e' uma
instancia
de
MilitaryOrganization
militaryOfArea
Entidade
_MIL_THIS and
Entidade
_THIS
Entidade
_THIS e' uma
instancia
de
Nacao
Entidade
_MIL_THIS e'
situado
em
Entidade
_FRIENDLY
Entidade
_FRIENDLY e' uma
instancia
de
Nacao
Entidade
_THIS e'
igual
a
Entidade
_FRIENDLY
enemy
Entidade
_THIS and
Entidade
_FRIENDLY
Entidade
_FRIENDLY
Entidade
_FRIENDLY e'
situado
em
Entidade
_FRIENDLY
partyToAgreement
Entidade
_FRIENDLY and
Agreement
Entidade
_FRIENDLY e' uma
instancia
de
MilitaryOrganization
(=>
(
and
(
instance
?CLOSE
ClosingContract
)
(
agent
?CLOSE ?AGENT)
(
destination
?CLOSE ?CONTRACT))
(
partyToAgreement
?CONTRACT ?AGENT))
Mid-level-ontology.kif 21512-21517
Processo
e' uma
instancia
de
ClosingContract
Processo
e' um
agente
de
Agreement
Processo
termina
em
Agente Cognitivo
partyToAgreement
Agente Cognitivo
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
e' uma
instancia
de
ReachingAgreement
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Agreement
partyToAgreement
AutonomousAgent
and
Entidade
vale
durante
apos
tempo
de existencia de
Processo
(=>
(
attribute
?Broker
Broker
)
(
exists
(?Contract)
(
and
(
instance
?Contract
ServiceContract
)
(
partyToAgreement
?Broker ?Contract))))
FinancialOntology.kif 2058-2063
Broker
e' um
atributo
de
Agente Cognitivo
Agreement
Agreement
e' uma
instancia
de
ServiceContract
partyToAgreement
Agente Cognitivo
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
Fisico
,
Funcao de Quantidade
and
Agreement
Agente Cognitivo
Agente Cognitivo
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Renting
Entidade
e' uma
instancia
de
Fisico
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
termina
em
Agente Cognitivo
tem a
forca
modal
de
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
Artefato Estacionario
and
Agente Cognitivo
Agreement
Agente Cognitivo
Agreement
tem um
atributo
de
Contract
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
Agente Cognitivo
obriga
Agente Cognitivo
a executar tarefas de tipo
Entidade
Artefato Estacionario
Entidade
e' uma
instancia
de
Construcao
Entidade
e' um
agente
de
Agente Cognitivo
Artefato Estacionario
e' o
resultado
de
Entidade
Artefato Estacionario
e' uma
instancia
de
Artefato Estacionario
(=>
(
instance
?AGREEMENT
Agreement
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
not
(
equal
?AGENT1 ?AGENT2)))))
Mid-level-ontology.kif 13972-13978
Agreement
e' uma
instancia
de
Agreement
Agente Cognitivo
Agente Cognitivo
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
Agente Cognitivo
e'
igual
a
Agente Cognitivo
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14170-14176
Agreement
tem um
atributo
de
MarriageContract
Humano
Humano
partyToAgreement
Humano
and
Agreement
partyToAgreement
Humano
and
Agreement
spouse
Humano
and
Humano
(=>
(
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
Proposicao
tem um
atributo
de
PurchaseContract
Processo
Processo
ELLER and
Agreement
Processo
e' uma
instancia
de
Vender
Processo
e' um
agente
de
Processo
ELLER
Processo
termina
em
Agreement
Processo
exprime
o conteudo de
Proposicao
partyToAgreement
Proposicao
and
Processo
ELLER
partyToAgreement
Proposicao
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
Proposicao
tem um
atributo
de
ServiceContract
ServiceProcess
Agreement
and
Proposicao
UST
ServiceProcess
e' uma
instancia
de
ServiceProcess
ServiceProcess
exprime
o conteudo de
Proposicao
serviceProvider
ServiceProcess
and
Agreement
serviceRecipient
ServiceProcess
and
Proposicao
UST
partyToAgreement
Proposicao
and
Agreement
partyToAgreement
Proposicao
and
Proposicao
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
Agente Cognitivo
tem um
atributo
de
LoanCommitment
Loan
Agreement
and
Agreement
Loan
e' uma
instancia
de
Loan
lender
Loan
and
Agreement
borrower
Loan
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
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
Agente Cognitivo
tem um
atributo
de
Treaty
Agreement
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
Agreement
e' uma
instancia
de
Nacao
Agreement
e' uma
instancia
de
Nacao
Agreement
e'
igual
a
Agreement
(=>
(
unratifiedSignatoryToAgreement
?AGENT ?PROP)
(
not
(
partyToAgreement
?AGENT ?PROP)))
Geography.kif 3113-3115
unratifiedSignatoryToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
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