holdsRight - Sigma Knowledge base Browser

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

(documentation holdsRight ChineseLanguage "这是用来表达 Formula 和 CognitiveAgent 两者之间的一种关系，那就是 CognitiveAgent 有权利实现 Formula 所指的。")	chinese_format.kif 3893-3894
(documentation holdsRight EnglishLanguage "Expresses a relationship between a Formula and a CognitiveAgent whereby the CognitiveAgent has the right to bring it about that the Formula is true.")	Merge.kif 17499-17501
(domain holdsRight 1 Formula)	Merge.kif 17497-17497	O argumento numero 1 de holdsRight e' uma instancia de Formula
(domain holdsRight 2 CognitiveAgent)	Merge.kif 17498-17498	O argumento numero 2 de holdsRight e' uma instancia de Agente Cognitivo
(instance holdsRight AsymmetricRelation)	Merge.kif 17496-17496	holdsRight e' uma instancia de Relacao Assimetrica
(instance holdsRight BinaryPredicate)	Merge.kif 17495-17495	holdsRight e' uma instancia de Predicado Binario

appearance as argument number 2

(format ChineseLanguage holdsRight "%2 %n{doesn't have} 有权利去做 %1")	chinese_format.kif 123-123
(format EnglishLanguage holdsRight "%2 %p{has} %n{doesn't have} the right to perform %1")	english_format.kif 124-124
(format FrenchLanguage holdsRight "%2 %n{n'} %p{a} %n{pas} le droit d'executer %1")	french_format.kif 83-83
(format ItalianLanguage holdsRight "%2 %p{ha} %n{non ha} il diritto di compiere %1")	relations-it.txt 131-131
(format JapaneseLanguage holdsRight "%2 は %1 を実行する right を　%p{持って} %n{ない}")	japanese_format.kif 1910-1910
(format PortugueseLanguage holdsRight "%2 %n{nao} %p{tem} %n o direito de executar %1")	portuguese_format.kif 35-35
(format cz holdsRight "%2 %p{has} %n{doesn't have} the right to perform %1")	relations-cz.txt 124-124
(format de holdsRight "%2 hat das Recht, %1 durchzufuehren %n{nicht}")	relations-de.txt 145-145
(format hi holdsRight "%2 %1 ko karane kaa adhikaara %n{nahiin} rakhataa hai")	relations-hindi.txt 171-171
(format ro holdsRight "%2 %n{nu} are right%t{dreptul} sã facã %1")	relations-ro.kif 102-102
(format sv holdsRight "%2 har %n{inte} rättigheten att utföra %1")	relations-sv.txt 82-82
(format tg holdsRight "%2 %p{may} %n{hindi may} ang karapatan sa kumikilos %1")	relations-tg.txt 268-268
(relatedInternalConcept holdsObligation holdsRight)	Merge.kif 17519-17519	holdsObligation e' relacionado internamente por SUMO a holdsRight
(termFormat ChineseLanguage holdsRight "坚持正确")	domainEnglishFormat.kif 28365-28365
(termFormat ChineseLanguage holdsRight "有权利")	chinese_format.kif 124-124
(termFormat ChineseTraditionalLanguage holdsRight "堅持正確")	domainEnglishFormat.kif 28364-28364
(termFormat EnglishLanguage holdsRight "holds right")	domainEnglishFormat.kif 28363-28363
(termFormat de holdsRight "hatRecht")	terms-de.txt 43-43
(termFormat tg holdsRight "may karapatan sa kumikilos")	relations-tg.txt 269-269

consequent

(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))	Mid-level-ontology.kif 14127-14133	agreementClause Proposicao, Permission, Agreement and Agente Cognitivo Agente Cognitivo tem o direito de executar Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 14118-14125	agreementClause Proposicao, Prohibition, Agreement and Agente Cognitivo Agente Cognitivo nao %n o direito de executar Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo
(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT)))	Government.kif 685-690	agreementEffectiveDate Agreement and Ponto no tempo Agreement autoriza Agente Cognitivo a executar tarefas de tipo Formula Posicao Temporal e' uma instancia de Ponto no tempo Agente Cognitivo tem o direito de executar Formula vale durante imediatemente apos Posicao Temporal
(=> (and (instance ?TA_CTRL TerminalGuidance) (agent ?TA_CTRL ?AGENT) (patient ?TA_CTRL ?TARGET)) (not (holdsRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?TARGET))) ?AGENT)))	MilitaryProcesses.kif 535-547	Entidade_CTRL e' uma instancia de TerminalGuidance Entidade_CTRL e' um agente de Agente Cognitivo EntidadeRGET e' um patient de Entidade_CTRL Agente Cognitivo nao %n o direito de executar Entidade Entidade e' uma instancia de Attack Entidade e' um agente de Agente Cognitivo EntidadeRGET e' um patient de Entidade
(=> (and (property ?Option AmericanStyleOption) (optionHolder ?Option ?Agent) (agreementExpirationDate ?Option ?Day)) (holdsRight (exists (?Exercise) (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (before (EndFn (WhenFn ?Exercise)) (EndFn ?Day)))) ?Agent))	FinancialOntology.kif 2788-2800	Agreement tem um atributo de AmericanStyleOption optionHolder Agreement and Agente Cognitivo agreementExpirationDate Agreement and Ponto no tempo Agente Cognitivo tem o direito de executar Entidade Entidade e' uma instancia de ExerciseAnOption Agreement e' um patient de Entidade o fim de tempo de existencia de Entidade comeca antes de o fim de Ponto no tempo
(=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsRight (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Sell ?Agent))) ?Agent))	FinancialOntology.kif 2669-2685	Agreement tem um atributo de Option optionHolder Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal underlier Agreement and FinancialInstrument Agente Cognitivo tem o direito de executar a classe descrita por Sequencia Simbolica
(=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsRight (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent))	FinancialOntology.kif 2623-2639	Agreement tem um atributo de Option optionHolder Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal underlier Agreement and FinancialInstrument price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal Agente Cognitivo tem o direito de executar a classe descrita por Sequencia Simbolica
(=> (confersRight ?FORMULA ?AGENT1 ?AGENT2) (holdsRight ?FORMULA ?AGENT2))	Merge.kif 17511-17513	Entidade autoriza Agente Cognitivo a executar tarefas de tipo Formula Agente Cognitivo tem o direito de executar Formula
(=> (instance ?ESCAPE Escaping) (not (exists (?AGENT) (holdsRight (agent ?ESCAPE ?AGENT) ?AGENT))))	Mid-level-ontology.kif 17318-17322	Entidade e' uma instancia de Escaping Agente Cognitivo Agente Cognitivo tem o direito de executar Entidade e' um agente de Agente Cognitivo
(=> (instance ?JURY Jury) (holdsRight (exists (?DECISION) (and (instance ?DECISION LegalDecision) (agent ?DECISION ?JURY))) ?JURY))	Mid-level-ontology.kif 16115-16121	Agente Cognitivo e' uma instancia de Jury Agente Cognitivo tem o direito de executar Entidade Entidade e' uma instancia de LegalDecision Entidade e' um agente de Agente Cognitivo

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