TreeView Knowledge Base Browser - confersObligation

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

confersObligation

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 17529-17532
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17525-17525	Le nombre 1 argument de confersObligation est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17526-17526	Le nombre 2 argument de confersObligation est une instance de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17527-17527	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 17524-17524	confersObligation est une instance de pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17528-17528	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 678-683	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 17534-17536	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 1175-1195	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 20850-20863	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 29919-29939	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 16596-16602	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 1155-1173	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 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