holdsObligation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - holdsObligation

holdsObligation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3898-3899
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17471-17473
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17468-17468	Le nombre 1 argument de holdsObligation est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17469-17469	Le nombre 2 argument de holdsObligation est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17467-17467	holdsObligation est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17466-17466	holdsObligation est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17470-17470	holdsObligation est reli� � l'int�rieur de SUMO � holdsRight

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 213-213
No TPTP formula. May not be expressible in strict first order.	english_format.kif 214-214
No TPTP formula. May not be expressible in strict first order.	french_format.kif 126-126
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 130-130
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1955-1955
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 78-78
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 275-275
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 170-170
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 145-145
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 131-131
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 266-266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28359-28359
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 214-214
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28358-28358
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28357-28357
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 88-88
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 267-267

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 714-719	agreementEffectiveDate Agreement and point temporel Agreement oblige agent cognitif � ex�cut� des t�ches du type formule position temporel est une instance de point temporel agent cognitif est oblig� d'ex�cut� des t�ches du type formule pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	amountDue FinancialAccount, mesure de devise and position temporel accountHolder FinancialAccount and agent cognitif agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, acheter and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency askPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus petit ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, vendre and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) bidPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1981-1990	MarketOrder est un attribut de financial transaction Broker est un attribut de Agreement partyToAgreement financial transaction and Agreement orderFor financial transaction, financial transaction and Security Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1224-1233	FinancialAccount est une instance de CreditAccount accountHolder FinancialAccount and agent cognitif principalAmount FinancialAccount and nombre r�el agreementPeriod FinancialAccount and interval temporel interestEarned FinancialAccount, Interest and interval temporel nombre r�el est nombre r�el + Interest) agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1273-1282	Loan est une instance de Loan borrower Loan and agent cognitif principalAmount Loan and nombre r�el agreementPeriod Loan and interval temporel interestEarned Loan, Interest and interval temporel nombre r�el est nombre r�el + Interest) agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processus est une instance de Bleeding entit� est une instance de mort formule est une instance de humain AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus formule est Near � AutonomousAgent l'argument processus cause entit� a la force modale de Likely entit� entit� est une instance de attacher entit� est un agent de formule entit� aboutit � AutonomousAgent est oblig� d'ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	Government.kif 774-783	Proposition est une instance de ConstitutionFn secteur g�opolitique secteur g�opolitique est une instance de nation gouvernement est gouvernment de secteur g�opolitique temps d'existence de gouvernement est une instance de position temporel agreementEffectiveDuring proposition and position temporel proposition est une sous-proposition de proposition formule contient information proposition gouvernement est oblig� d'ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1411-1421	Loan est une instance de BalloonLoan maturityDate Loan and jour totalBalance Loan and mesure de devise borrower Loan and agent cognitif agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1428-1443	Loan est une instance de CallableLoan lender Loan and agent cognitif borrower Loan and agent cognitif totalBalance Loan and mesure de devise processus est une instance de Call processus est un agent de agent cognitif Loan est un patient de processus agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8525-8535	Organisation est une instance de SecurityUnit organisation est une partie de l'organization organisation organisation est oblig� d'ex�cut� des t�ches du type entit� entit� est une instance de maintenir entit� est un agent de organisation organisation est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	Agreement a un attribute Option optionSeller Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel underlier Agreement and FinancialInstrument agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2641-2659	Agreement a un attribute Option optionSeller Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel underlier Agreement and FinancialInstrument price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17485-17487	Entit� oblige agent cognitif � ex�cut� des t�ches du type formule agent cognitif est oblig� d'ex�cut� des t�ches du type formule

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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