Stating - Sigma 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	Stating is a subclass of linguistic communication

appearance as argument number 2

(partition Communication Stating Supposing Directing Committing Expressing Declaring)	Merge.kif 13082-13082	Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
(subclass Answering Stating)	Mid-level-ontology.kif 887-887	Answering is a subclass of stating
(subclass Apologizing Stating)	Mid-level-ontology.kif 29666-29666	Apologizing is a subclass of stating
(subclass Arguing Stating)	Mid-level-ontology.kif 899-899	Arguing is a subclass of stating
(subclass Confirming Stating)	Mid-level-ontology.kif 29685-29685	Confirming is a subclass of stating
(subclass Correcting Stating)	Mid-level-ontology.kif 29737-29737	Correcting is a subclass of stating
(subclass Disagreeing Stating)	Merge.kif 13196-13196	Disagreeing is a subclass of stating
(subclass Misdiagnosing Stating)	Medicine.kif 4180-4180	Misdiagnosing is a subclass of stating
(subclass Pleading Stating)	Mid-level-ontology.kif 16151-16151	Pleading is a subclass of stating
(subclass ReachingAgreement Stating)	Media.kif 125-125	Reaching agreement is a subclass of stating
(subclass Registering Stating)	Mid-level-ontology.kif 875-875	Registering is a subclass of stating
(subclass SITREP Stating)	MilitaryProcesses.kif 2743-2743	SITuation REPort is a subclass of stating
(subclass TerminalAttackControl Stating)	MilitaryProcesses.kif 450-450	Terminal attack control is a subclass of stating
(subclass TerminalGuidance Stating)	MilitaryProcesses.kif 502-502	Terminal guidance is a subclass of stating
(subclass Testifying Stating)	Mid-level-ontology.kif 16189-16189	Testifying is a subclass of stating
(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	If a process is an instance of stating and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of formula, then the agent believes the entity holds during the time of existence of the process
(=> (and (instance ?STATE Stating) (result ?STATE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Statement))	Mid-level-ontology.kif 14263-14268	If a process is an instance of stating and an entity is a result of the process and the entity is an instance of sentence, then the entity is an instance of 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	If a time interval is an instance of confirming and an agreement is an agent of the time interval and the time interval contains information a proposition, then there exist another time interval, a content bearing physical and the agreement2 such that the other time interval is an instance of stating and the other time interval happens earlier than the time interval and the content bearing physical is an instance of reaching agreement and the agreement2 is an agent of the other time interval and the content bearing physical contains information the proposition and the other time interval contains information the proposition and the agreement is a party to agreement of the content bearing physical and the agreement2 is a party to agreement of the content bearing physical
(=> (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	If an organization is an instance of government cabinet and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization has the purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the government of the geopolitical area is a leader of the other entity
(=> (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	If a corpuscular object is an instance of next generation view item and a process is an instance of web listing and the process is a component of the corpuscular object and an entity is a patient of the process and the entity is an instance of physical, then there exist another process, a third process and the other processCONTENT such that the third process is an instance of stating and the other process is a patient of the third process and the other process includes a reference to the entity and the other processCONTENT is a result of the other process and the other processCONTENT is a part of the corpuscular object
(=> (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	If a formula describes an object, then there exist a process and an agent such that the process is an instance of stating and the agent is an agent of the process and the formula is a patient of the process and the process includes a reference to the object
(=> (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	If an agent prohibits an entity holds during a time interval, then there exist a process, another entity and a third entity such that the process is an instance of stating and the time of existence of the process takes place during the time interval and the agent is an agent of the process and the process contains the formula if the other entity is an agent of the third entity causes the entity is true, then the agent punishes the other entity
(=> (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	If a process is an instance of correcting, then there exist another process, a third process,, , the third processP and the processP such that the other process is an instance of disagreeing and the process is a subprocess of the other process and the third process is an instance of stating and the third process is a subprocess of the other process and the third process contains information the third processP and the process contains information the processP and the processP includes a reference to the third processP and the third processP is not a consistent of the processP
(=> (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	If an object is an instance of product description page, then there exist an entity, a process,, , another process and the processCONTENT such that the entity is an instance of class and the other process is an instance of stating and the process is a patient of the other process and the process includes a reference to the entity and the processCONTENT is a result of the process and the processCONTENT is a part of the object
(=> (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	If a cognitive agent trusts an agent, then the cognitive agent believes if there exist an entity, another entity and a kind of intentional process such that the entity is an instance of stating and the entity contains the formula the other entity is an instance of a kind of intentional process and the agent is an agent of the other entity, then the statement the other entity is an instance of the kind of intentional process and the agent is an agent of the other entity has the modal force of likely

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

KB Term:			Term intersection

English Word: