confersObligation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - confersObligation

confersObligation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3900-3902
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17480-17483
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17476-17476	Le nombre 1 argument de confersObligation est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17477-17477	Le nombre 2 argument de confersObligation est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17478-17478	Le nombre 3 argument de confersObligation est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17475-17475	confersObligation est une instance de pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17479-17479	confersObligation est reli� � l'int�rieur de SUMO � confersRight

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 201-201
No TPTP formula. May not be expressible in strict first order.	english_format.kif 202-202
No TPTP formula. May not be expressible in strict first order.	french_format.kif 120-120
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 50-50
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1949-1949
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 72-72
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 258-258
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 91-91
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 139-139
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 125-125
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 84-84
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16584-16584
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 202-202
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16583-16583
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16582-16582
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 117-117

antecedent

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.	Law.kif 343-345	Entit� oblige agent cognitif � ex�cut� des t�ches du type formule entit� autorise agent cognitif � ex�cut� des t�ches du type formule
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

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1211-1231	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn nation humain est un citoyen de nation RegionalLawFn nation oblige humain � ex�cut� des t�ches du type entit� entit� and entit� humain est un citoyen de nation suffrageAgeMinimum nation and entit� YearDuration(s) l' humain est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn nation entit� entit� est une instance de VotingFn entit� entit� est un agent de humain
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	Objet exprimant un sens est une sous-classe de JointPublication ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information formule AutonomousAgent est l' auteur de objet exprimant un sens organisation organisation est une partie de l'organization USMilitary AutonomousAgent oblige organisation � ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20822-20835	contractor artefact stationnaire and agent cognitif Agreement agent cognitif Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement agent cognitif oblige agent cognitif � ex�cut� des t�ches du type entit� artefact stationnaire entit� est une instance de construire entit� est un agent de agent cognitif artefact stationnaire est le resultat de entit� artefact stationnaire est une instance de artefact stationnaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29883-29903	Entit� est une instance de PurchaseOrder cha�ne sympbolique agent cognitif, agent cognitif and entit� l' unique identifier de cha�ne sympbolique est entit� buys agent cognitif, agent cognitif and entit� agent cognitif oblige agent cognitif � ex�cut� des t�ches du type entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� entit� est une instance de acheter entit� est une instance de produit objectTransferred entit� and entit� entit� inclut une r�f�rence � entit� entit� est un agent de agent cognitif agent cognitif est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16547-16553	Il y a une relation l�gal entre humain et humain entit� formule entit� est une instance de d�clarer entit� oblige humain � ex�cut� des t�ches du type formule entit� oblige humain � ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	Government.kif 1191-1209	CompulsorySuffrageLaw est une sous-proposition de RegionalLawFn secteur g�opolitique RegionalLawFn secteur g�opolitique oblige secteur g�opolitique � ex�cut� des t�ches du type entit� entit�, entit� and entit� entit� est un citoyen de secteur g�opolitique suffrageAgeMinimum secteur g�opolitique and entit� YearDuration(s) l' entit� est entit� YearDuration(s) entit� est plus grand ou �gal � entit� entit� est une instance de ElectionFn secteur g�opolitique entit� entit� est une instance de VotingFn entit� entit� est un agent de entit�

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