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
holdsObligation
Sigma KEE - holdsObligation
holdsObligation
appearance as argument number 1
(
documentation
holdsObligation
ChineseLanguage
"这是用来表达
Formula
和
CognitiveAgent
两者之间的一种关系,那就是
CognitiveAgent
有义务去实现
Formula
所指的。")
chinese_format.kif 3898-3899
(
documentation
holdsObligation
EnglishLanguage
"Expresses a relationship between a
Formula
and a
CognitiveAgent
whereby the
CognitiveAgent
has the obligation to bring it about that the
Formula
is true.")
Merge.kif 17471-17473
(
domain
holdsObligation
1
Formula
)
Merge.kif 17468-17468
Il numero 1 argomenti di
holdsObligation
è un
istanza
di
Formula
(
domain
holdsObligation
2
CognitiveAgent
)
Merge.kif 17469-17469
Il numero 2 argomenti di
holdsObligation
è un
istanza
di
AgenteCognitivo
(
instance
holdsObligation
AsymmetricRelation
)
Merge.kif 17467-17467
holdsObligation
è un'
istanza
di
RelazioneAsimmetrica
(
instance
holdsObligation
BinaryPredicate
)
Merge.kif 17466-17466
holdsObligation
è un'
istanza
di
PredicatoBinario
(
relatedInternalConcept
holdsObligation
holdsRight
)
Merge.kif 17470-17470
holdsObligation
è
interamente
correlato a
holdsRight
appearance as argument number 2
(
format
ChineseLanguage
holdsObligation
"%2 %n 有义务执行 %1 的任务")
chinese_format.kif 213-213
(
format
EnglishLanguage
holdsObligation
"%2 is %n obliged to perform tasks of type %1")
english_format.kif 214-214
(
format
FrenchLanguage
holdsObligation
"%2 est %n oblig� d'ex�cut� des t�ches du type %1")
french_format.kif 126-126
(
format
ItalianLanguage
holdsObligation
"%2 è obbligato a compiere il compito di tipo %1")
relations-it.txt 130-130
(
format
JapaneseLanguage
holdsObligation
"%2 はタイプ %1 のタスクを実行する obliged %n")
japanese_format.kif 1955-1955
(
format
PortugueseLanguage
holdsObligation
"%2 e' %n obrigado a executar tarefas de tipo %1")
portuguese_format.kif 78-78
(
format
de
holdsObligation
"%2 wird gezwungen, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}")
relations-de.txt 275-275
(
format
hi
holdsObligation
"%2 %1 ke jaise kaarya karane ke lie baadhya hai")
relations-hindi.txt 170-170
(
format
ro
holdsObligation
"%2 %n{nu} este obliged%t{obligat} sã execute sarcini de tipul %1")
relations-ro.kif 145-145
(
format
sv
holdsObligation
"%2 är %n{inte} skyldig att utföra uppgifter av typen %1")
relations-sv.txt 131-131
(
format
tg
holdsObligation
"%2 ay obligado sa %1")
relations-tg.txt 266-266
(
termFormat
ChineseLanguage
holdsObligation
"持有义务")
domainEnglishFormat.kif 28359-28359
(
termFormat
ChineseLanguage
holdsObligation
"有执行义务")
chinese_format.kif 214-214
(
termFormat
ChineseTraditionalLanguage
holdsObligation
"持有義務")
domainEnglishFormat.kif 28358-28358
(
termFormat
EnglishLanguage
holdsObligation
"holds obligation")
domainEnglishFormat.kif 28357-28357
(
termFormat
de
holdsObligation
"hatVerpflichtung")
terms-de.txt 88-88
(
termFormat
tg
holdsObligation
"may obligado")
relations-tg.txt 267-267
consequent
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
agreementEffectiveDate
Agreement
and
PuntoTemporale
Agreement
obbliga
AgenteCognitivo
a compiere il compito di tipo
Formula
PosizioneTemporale
è un'
istanza
di
PuntoTemporale
AgenteCognitivo
è
obbligato
a compiere il compito di tipo
Formula
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
amountDue
FinancialAccount
,
MisuraMonetaria
and
PosizioneTemporale
accountHolder
FinancialAccount
and
AgenteCognitivo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
?Account
CreditAccount
)
(
accountHolder
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1224-1233
FinancialAccount
è un'
istanza
di
CreditAccount
accountHolder
FinancialAccount
and
AgenteCognitivo
principalAmount
FinancialAccount
and
NumeroReale
agreementPeriod
FinancialAccount
and
IntervalloTemporale
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
Interest
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?Account
Loan
)
(
borrower
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1273-1282
Loan
è un'
istanza
di
Loan
borrower
Loan
and
AgenteCognitivo
principalAmount
Loan
and
NumeroReale
agreementPeriod
Loan
and
IntervalloTemporale
interestEarned
Loan
,
Interest
and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
Interest
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?B
Bleeding
)
(
instance
?D
Death
)
(
instance
?H
Human
)
(
instance
?P
Human
)
(
experiencer
?B ?P)
(
orientation
?H ?P
Near
)
(
modalAttribute
(
causes
?B ?D)
Likely
))
(
holdsObligation
?H
(
exists
(?A)
(
and
(
instance
?A
Attaching
)
(
agent
?A ?H)
(
destination
?A ?P)))))
Medicine.kif 44-59
Processo
è un'
istanza
di
Bleeding
Entit�
è un'
istanza
di
Morte
Formula
è un'
istanza
di
Umano
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
Formula
è
Near
a
AutonomousAgent
l'affermazione
Processo
causa
s
Entit�
ha il modello di forza di
Likely
Entit�
Entit�
è un'
istanza
di
Attaccare
Entit�
è un
agente
di
Formula
Entit�
fine
s in
AutonomousAgent
è
obbligato
a compiere il compito di tipo
Formula
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 774-783
Proposizione
è un'
istanza
di
ConstitutionFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
il
tempo
di esistenza di
Governo
è un'
istanza
di
PosizioneTemporale
agreementEffectiveDuring
Proposizione
and
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
Formula
contiene
s informazione
Proposizione
Governo
è
obbligato
a compiere il compito di tipo
Formula
(=>
(
and
(
instance
?Loan
BalloonLoan
)
(
maturityDate
?Loan ?Date)
(
totalBalance
?Loan ?Amount)
(
borrower
?Loan ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
date
?Payment ?Date)
(
transactionAmount
?Payment ?Amount)
(
destination
?Payment
(
CurrencyFn
?Loan)))) ?Agent))
FinancialOntology.kif 1411-1421
Loan
è un'
istanza
di
BalloonLoan
maturityDate
Loan
and
Giorno
totalBalance
Loan
and
MisuraMonetaria
borrower
Loan
and
AgenteCognitivo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
Loan
è un'
istanza
di
CallableLoan
lender
Loan
and
AgenteCognitivo
borrower
Loan
and
AgenteCognitivo
totalBalance
Loan
and
MisuraMonetaria
Processo
è un'
istanza
di
Call
Processo
è un
agente
di
AgenteCognitivo
Loan
è un
paziente
di
Processo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?UNIT
SecurityUnit
)
(
subOrganization
?UNIT ?ORG))
(
holdsObligation
(
exists
(?MAINTAIN)
(
and
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?UNIT)
(
patient
?MAINTAIN ?ORG))) ?UNIT))
Mid-level-ontology.kif 8525-8535
Organizzazione
è un'
istanza
di
SecurityUnit
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è
obbligato
a compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Mantenere
Entit�
è un
agente
di
Organizzazione
Organizzazione
è un
paziente
di
Entit�
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
Agreement
ha un
attributo
Option
optionSeller
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
Agreement
ha un
attributo
Option
optionSeller
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
confersObligation
?FORMULA ?AGENT1 ?AGENT2)
(
holdsObligation
?FORMULA ?AGENT2))
Merge.kif 17485-17487
Entit�
obbliga
AgenteCognitivo
a compiere il compito di tipo
Formula
AgenteCognitivo
è
obbligato
a compiere il compito di tipo
Formula
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