TreeView Knowledge Base Browser - holdsRight

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - holdsRight

holdsRight

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3893-3894
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17499-17501
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17497-17497	Le nombre 1 argument de holdsRight est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17498-17498	Le nombre 2 argument de holdsRight est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17496-17496	holdsRight est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17495-17495	holdsRight est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 123-123
No TPTP formula. May not be expressible in strict first order.	english_format.kif 124-124
No TPTP formula. May not be expressible in strict first order.	french_format.kif 83-83
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 131-131
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1910-1910
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 35-35
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 124-124
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 145-145
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 171-171
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 102-102
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 268-268
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17519-17519	holdsObligation est reli� � l'int�rieur de SUMO � holdsRight
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28365-28365
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 124-124
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28364-28364
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28363-28363
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 43-43
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 269-269

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14127-14133	agreementClause proposition , Permission, Agreement and agent cognitif agent cognitif a le droit d'executer entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14118-14125	agreementClause proposition , Prohibition, Agreement and agent cognitif agent cognitif n' %n{pas} le droit d'executer entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Government.kif 685-690	agreementEffectiveDate Agreement and point temporel Agreement autorise agent cognitif � ex�cut� des t�ches du type formule position temporel est une instance de point temporel agent cognitif a le droit d'executer formule pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 535-547	Entit�_CTRL est une instance de TerminalGuidance entit�_CTRL est un agent de agent cognitif entit�RGET est un patient de entit�_CTRL agent cognitif n' %n{pas} le droit d'executer entit� entit� est une instance de Attack entit� est un agent de agent cognitif entit�RGET est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2788-2800	Agreement a un attribute AmericanStyleOption optionHolder Agreement and agent cognitif agreementExpirationDate Agreement and point temporel agent cognitif a le droit d'executer entit� entit� est une instance de ExerciseAnOption Agreement est un patient de entit� la fin de temps d'existence de entit� se produit avant la fin de point temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	Agreement a un attribute Option optionHolder 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 a le droit d'executer la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	Agreement a un attribute Option optionHolder 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 a le droit d'executer la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17511-17513	Entit� autorise agent cognitif � ex�cut� des t�ches du type formule agent cognitif a le droit d'executer formule
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17318-17322	Entit� est une instance de Escaping agent cognitif agent cognitif a le droit d'executer entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16115-16121	Agent cognitif est une instance de Jury agent cognitif a le droit d'executer entit� entit� est une instance de LegalDecision entit� est un agent de agent cognitif

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