Stating - Sigma Knowledge base Browser

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13041-13047	If a process is an instance of stating and a cognitive agent is an agent of the process and a formula is a patient of the process and the formula is an instance of formula, then the cognitive agent believes the formula holds during the time of existence of the process
( ! [V__STATE,V__SENTENCE] : ((s__instance(V__STATE,s__Stating) & s__result(V__STATE,V__SENTENCE) & s__instance(V__SENTENCE,s__Sentence)) => s__instance(V__SENTENCE,s__Statement)) )	Mid-level-ontology.kif 11853-11858	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

( ! [V__C,V__A,V__P] : ((s__instance(V__C,s__Confirming) & s__agent(V__C,V__A) & s__containsInformation(V__C,V__P)) => (? [V__S,V__RA,V__A2] : (s__instance(V__S,s__Stating) & s__earlier(V__S,V__C) & s__instance(V__RA,s__ReachingAgreement) & s__agent(V__S,V__A2) & s__containsInformation(V__RA,V__P) & s__containsInformation(V__S,V__P) & s__partyToAgreement(V__RA,V__A) & s__partyToAgreement(V__RA,V__A2)))) )	Mid-level-ontology.kif 27730-27744	If a time interval is an instance of Confirming and an agent 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 agent2 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 ReachingAgreement and the agent2 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 agent is a party to agreement of the content bearing physical and the agent2 is a party to agreement of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Government.kif 1473-1484	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 purpose there exist a process and an agent such that the process is an instance of stating and the organization is an agent of the process and the agent is a patient of the process and the government of the geopolitical area is a leader of the agent
( ! [V__PAGE,V__ADVERTISING,V__ITEM] : ((s__instance(V__PAGE,s__ViewItemPage) & s__instance(V__ADVERTISING,s__WebListing) & s__component(V__ADVERTISING,V__PAGE) & s__patient(V__ADVERTISING,V__ITEM) & s__instance(V__ITEM,s__Physical)) => (? [V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] : (s__instance(V__STATING,s__Stating) & s__patient(V__STATING,V__DESCRIPTION) & s__refers(V__DESCRIPTION,V__ITEM) & s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT) & s__part(V__DESCRIPTIONCONTENT,V__PAGE)))) )	UXExperimentalTerms.kif 2284-2297	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13800-13807	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
No TPTP formula. May not be expressible in strict first order.	Law.kif 78-90	If an agent prohibits a formula holds during an entity, then there exists a process such that the process is an instance of stating and the agent is an agent of the process and the process contains the formula if another agent is an agent of another process causes the formula is true, then the agent punishes the other agent
( ! [V__C,V__CS] : (s__instance(V__C,s__Correcting) => (? [V__D,V__S,V__SP,V__CP] : (s__instance(V__D,s__Disagreeing) & s__subProcess(V__C,V__D) & s__instance(V__S,s__Stating) & s__subProcess(V__S,V__D) & s__containsInformation(V__S,V__SP) & s__containsInformation(V__C,V__CP) & s__refers(V__CP,V__SP) & (~ s__consistent(V__CS,V__SP))))) )	Mid-level-ontology.kif 27782-27794	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 processS
( ! [V__DESCRIPTIONPAGE] : (s__instance(V__DESCRIPTIONPAGE,s__ProductDescriptionPage) => (? [V__PRODUCT,V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] : (s__instance(V__PRODUCT,s__Class) & s__instance(V__STATING,s__Stating) & s__patient(V__STATING,V__DESCRIPTION) & s__refers(V__DESCRIPTION,V__PRODUCT) & s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT) & s__part(V__DESCRIPTIONCONTENT,V__DESCRIPTIONPAGE)))) )	UXExperimentalTerms.kif 2249-2258	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
No TPTP formula. May not be expressible in strict first order.	Law.kif 439-455	If an agent trusts another agent, then the agent believes if an entity is an instance of stating and the entity contains the formula there exists a process such that the process is an instance of a kind of intentional process and the other agent is an agent of the process, then the statement there exists the process such that the process is an instance of a kind of intentional process and the other agent is an agent of the process 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

s__documentation(s__Stating,s__ChineseLanguage,'这个 Class 的实例，它要求 agent 相信自己讲的话。例如：约翰声称月亮是由奶酪制成的。')	Merge.kif 13038-13039
s__documentation(s__Stating,s__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 13036-13037
s__instance(s__LinguisticCommunication,s__SetOrClass)	Merge.kif 13035-13035	Stating is a subclass of linguistic communication

s__partition_7(s__Communication,s__Stating,s__Supposing,s__Directing,s__Committing,s__Expressing,s__Declaring)	Merge.kif 12914-12914	Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
s__subclass(s__AdoptingPolicy,s__Stating)	TravelPolicies.kif 224-224	AdoptingPolicy is a subclass of stating
s__instance(s__Answering,s__SetOrClass)	Mid-level-ontology.kif 1281-1281	Answering is a subclass of stating
s__subclass(s__Apologizing,s__Stating)	Mid-level-ontology.kif 27706-27706	Apologizing is a subclass of stating
s__instance(s__Arguing,s__SetOrClass)	Mid-level-ontology.kif 1293-1293	Arguing is a subclass of stating
s__subclass(s__Confirming,s__Stating)	Mid-level-ontology.kif 27725-27725	Confirming is a subclass of stating
s__instance(s__Correcting,s__SetOrClass)	Mid-level-ontology.kif 27777-27777	Correcting is a subclass of stating
s__subclass(s__Disagreeing,s__Stating)	Merge.kif 13049-13049	Disagreeing is a subclass of stating
s__instance(s__Notifying,s__SetOrClass)	Facebook.kif 606-606	Notifying is a subclass of stating
s__instance(s__Pleading,s__SetOrClass)	Mid-level-ontology.kif 13776-13776	Pleading is a subclass of stating
s__instance(s__ReachingAgreement,s__SetOrClass)	Media.kif 125-125	ReachingAgreement is a subclass of stating
s__instance(s__Registering,s__SetOrClass)	Mid-level-ontology.kif 1269-1269	Registering is a subclass of stating
s__instance(s__TerminalAttackControl,s__SetOrClass)	MilitaryProcesses.kif 441-441	Terminal attack control is a subclass of stating
s__subclass(s__TerminalGuidance,s__Stating)	MilitaryProcesses.kif 490-490	Terminal guidance is a subclass of stating
s__subclass(s__Testifying,s__Stating)	Mid-level-ontology.kif 13809-13809	Testifying is a subclass of stating
s__termFormat(s__ChineseLanguage,s__Stating,'陈述')	chinese_format.kif 1198-1198	"陈述" is the printable form of stating in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Stating,'stating')	english_format.kif 885-885	"stating" is the printable form of stating in english language
s__termFormat(s__FrenchLanguage,s__Stating,'d�clarer')	french_format.kif 876-876	"d�clarer" is the printable form of stating in french language
s__termFormat(s__Hindi,s__Stating,'kathana')	terms-hindi.txt 409-409	"kathana" is the printable form of stating in Hindi
s__termFormat(s__ItalianLanguage,s__Stating,'Affermare')	terms-it.txt 410-410	"Affermare" is the printable form of stating in italian language
s__termFormat(s__PortugueseLanguage,s__Stating,'Declarar')	portuguese_format.kif 828-828	"Declarar" is the printable form of stating in portuguese language
s__termFormat(s__cb__m,s__Stating,'pagsaysay')	terms-cb.txt 414-414	"pagsaysay" is the printable form of stating in cb
s__termFormat(s__cz__m,s__Stating,'stating')	terms-cz.txt 448-448	"stating" is the printable form of stating in cz
s__termFormat(s__tg__m,s__Stating,'pagsaysay')	terms-tg.txt 413-413	"pagsaysay" is the printable form of stating in tg

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

KB Term:			Term intersection

English Word: