TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Stating ChineseLanguage "这个 Class 的实例，它要求 agent 相信自己讲的话。例如：约翰声称月亮是由奶酪制成的。")	chinese_format.kif 3258-3259
(documentation Stating EnglishLanguage "Instances of this Class commit the agent to some truth.For example, John claimed that the moon is made of green cheese.")	Merge.kif 13185-13186
(subclass Stating LinguisticCommunication)	Merge.kif 13184-13184	Declarar e' uma sub-classe de LinguisticCommunication

appearance as argument number 2

(partition Communication Stating Supposing Directing Committing Expressing Declaring)	Merge.kif 13082-13082	O conceito Communicacao e' completamente decomposto em Declarar, Supposing, Dirigir, Comprometer-se, Exprimir, + Declarar
(subclass Answering Stating)	Mid-level-ontology.kif 887-887	Answering e' uma sub-classe de Declarar
(subclass Apologizing Stating)	Mid-level-ontology.kif 29666-29666	Apologizing e' uma sub-classe de Declarar
(subclass Arguing Stating)	Mid-level-ontology.kif 899-899	Arguing e' uma sub-classe de Declarar
(subclass Confirming Stating)	Mid-level-ontology.kif 29685-29685	Confirming e' uma sub-classe de Declarar
(subclass Correcting Stating)	Mid-level-ontology.kif 29737-29737	Correcting e' uma sub-classe de Declarar
(subclass Disagreeing Stating)	Merge.kif 13196-13196	Disagreeing e' uma sub-classe de Declarar
(subclass Misdiagnosing Stating)	Medicine.kif 4180-4180	Misdiagnosing e' uma sub-classe de Declarar
(subclass Pleading Stating)	Mid-level-ontology.kif 16151-16151	Pleading e' uma sub-classe de Declarar
(subclass ReachingAgreement Stating)	Media.kif 125-125	ReachingAgreement e' uma sub-classe de Declarar
(subclass Registering Stating)	Mid-level-ontology.kif 875-875	Registering e' uma sub-classe de Declarar
(subclass SITREP Stating)	MilitaryProcesses.kif 2692-2692	SITREP e' uma sub-classe de Declarar
(subclass TerminalAttackControl Stating)	MilitaryProcesses.kif 450-450	TerminalAttackControl e' uma sub-classe de Declarar
(subclass TerminalGuidance Stating)	MilitaryProcesses.kif 502-502	TerminalGuidance e' uma sub-classe de Declarar
(subclass Testifying Stating)	Mid-level-ontology.kif 16189-16189	Testifying e' uma sub-classe de Declarar
(termFormat ChineseLanguage Stating "陈述")	chinese_format.kif 1198-1198
(termFormat EnglishLanguage Stating "stating")	english_format.kif 1613-1613
(termFormat FrenchLanguage Stating "d�clarer")	french_format.kif 876-876
(termFormat Hindi Stating "kathana")	terms-hindi.txt 409-409
(termFormat ItalianLanguage Stating "Affermare")	terms-it.txt 412-412
(termFormat JapaneseLanguage Stating "記載")	japanese_format.kif 2560-2560
(termFormat PortugueseLanguage Stating "Declarar")	portuguese_format.kif 828-828
(termFormat cb Stating "pagsaysay")	terms-cb.txt 414-414
(termFormat cz Stating "stating")	terms-cz.txt 448-448

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?STATE Stating) (agent ?STATE ?AGENT) (patient ?STATE ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT ?FORMULA)))	Merge.kif 13188-13194	Processo e' uma instancia de Declarar Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Formula AutonomousAgent acredita que Entidade vale durante tempo de existencia de Processo
(=> (and (instance ?STATE Stating) (result ?STATE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Statement))	Mid-level-ontology.kif 14263-14268	Processo e' uma instancia de Declarar Entidade e' o resultado de Processo Entidade e' uma instancia de Frase Entidade e' uma instancia de Statement

consequent

(=> (and (instance ?C Confirming) (agent ?C ?A) (containsInformation ?C ?P)) (exists (?S ?RA ?A2) (and (instance ?S Stating) (earlier ?S ?C) (instance ?RA ReachingAgreement) (agent ?S ?A2) (containsInformation ?RA ?P) (containsInformation ?S ?P) (partyToAgreement ?RA ?A) (partyToAgreement ?RA ?A2))))	Mid-level-ontology.kif 29690-29704	Intervalo Temporal e' uma instancia de Confirming Intervalo Temporal e' um agente de Agreement Intervalo Temporal contem informacao Proposicao Intervalo Temporal ContentBearingPhysical and Agreement2 Intervalo Temporal e' uma instancia de Declarar Intervalo Temporal acontence antes de Intervalo Temporal ContentBearingPhysical e' uma instancia de ReachingAgreement Intervalo Temporal e' um agente de Agreement2 ContentBearingPhysical contem informacao Proposicao Intervalo Temporal contem informacao Proposicao partyToAgreement ContentBearingPhysical and Agreement partyToAgreement ContentBearingPhysical and Agreement2
(=> (and (instance ?CAB GovernmentCabinet) (subOrganization ?CAB (GovernmentFn ?AREA)) (instance ?AREA GeopoliticalArea)) (hasPurpose ?CAB (exists (?ADVICE ?LEADER) (and (instance ?ADVICE Stating) (agent ?ADVICE ?CAB) (patient ?ADVICE ?LEADER) (leader ?LEADER (GovernmentFn ?AREA))))))	Government.kif 1477-1488	Organizacao e' uma instancia de GovernmentCabinet Organizacao e' uma parte da organizacao o governo de Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao tem por fim Entidade Entidade Entidade e' uma instancia de Declarar Entidade e' um agente de Organizacao Entidade e' um patient de Entidade leader Entidade and o governo de Area Geopolitica
(=> (and (instance ?PAGE ViewItemPage) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (patient ?ADVERTISING ?ITEM) (instance ?ITEM Physical)) (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?ITEM) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?PAGE))))	UXExperimentalTerms.kif 2078-2091	Objeto Corpuscular e' uma instancia de ViewItemPage Processo e' uma instancia de WebListing Processo e' um componente de Objeto Corpuscular Entidade e' um patient de Processo Entidade e' uma instancia de Fisico Processo Processo and ProcessoCONTENT Processo e' uma instancia de Declarar Processo e' um patient de Processo Processo inclui uma referencia a Entidade ProcessoCONTENT e' o resultado de Processo ProcessoCONTENT e' uma &parte de Objeto Corpuscular
(=> (describes ?FORMULA ?OBJECT) (exists (?STATING ?AGENT) (and (instance ?STATING Stating) (agent ?STATING ?AGENT) (patient ?STATING ?FORMULA) (refers ?STATING ?OBJECT))))	Mid-level-ontology.kif 16180-16187	describes Formula and Objeto Processo AutonomousAgent Processo e' uma instancia de Declarar Processo e' um agente de AutonomousAgent Formula e' um patient de Processo Processo inclui uma referencia a Objeto
(=> (holdsDuring ?T1 (prohibits ?A ?F)) (exists (?S ?B ?P) (and (instance ?S Stating) (during (WhenFn ?S) ?T1) (agent ?S ?A) (containsFormula ?S (=> (causes (agent ?P ?B) (truth ?F True)) (punishes ?A ?B))))))	Law.kif 65-78	prohibits AutonomousAgent and Entidade vale durante Intervalo Temporal Processo Entidade and Entidade Processo e' uma instancia de Declarar tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent containsFormula Processo and Entidade e' um agente de Entidade causa truth Entidade and True punishes AutonomousAgent and Entidade
(=> (instance ?C Correcting) (exists (?D ?S ?SP ?CP) (and (instance ?D Disagreeing) (subProcess ?C ?D) (instance ?S Stating) (subProcess ?S ?D) (containsInformation ?S ?SP) (containsInformation ?C ?CP) (refers ?CP ?SP) (not (consistent ?CP ?SP)))))	Mid-level-ontology.kif 29742-29754	Processo e' uma instancia de Correcting Processo Processo, ProcessoP and ProcessoP Processo e' uma instancia de Disagreeing Processo e' um sub-processo de Processo Processo e' uma instancia de Declarar Processo e' um sub-processo de Processo Processo contem informacao ProcessoP Processo contem informacao ProcessoP ProcessoP inclui uma referencia a ProcessoP consistent ProcessoP and ProcessoP
(=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?PRODUCT Class) (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?PRODUCT) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?DESCRIPTIONPAGE))))	UXExperimentalTerms.kif 2043-2052	Objeto e' uma instancia de ProductDescriptionPage Entidade Processo, Processo and ProcessoCONTENT Entidade e' uma instancia de Classe Processo e' uma instancia de Declarar Processo e' um patient de Processo Processo inclui uma referencia a Entidade ProcessoCONTENT e' o resultado de Processo ProcessoCONTENT e' uma &parte de Objeto
(=> (trusts ?A1 ?A2 ?P) (believes ?A1 (=> (exists (?S ?PI ?P) (and (instance ?S Stating) (containsFormula ?S (and (instance ?PI ?P) (agent ?PI ?A2))))) (modalAttribute (and (instance ?PI ?P) (agent ?PI ?A2)) Likely))))	Law.kif 400-415	trusts Agente Cognitivo, AutonomousAgent and Processo Intencional Agente Cognitivo acredita que Entidade Processo IntencionalI and Processo Intencional Entidade e' uma instancia de Declarar containsFormula Entidade and Processo IntencionalI e' uma instancia de Processo Intencional Processo IntencionalI e' um agente de AutonomousAgent o argumento Processo IntencionalI e' uma instancia de Processo Intencional Processo IntencionalI e' um agente de AutonomousAgent tem a forca modal de Likely

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

KB Term:			Term intersection

English Word: