Stating - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3258-3259
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13278-13279
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13277-13277	Stating is a subclass of linguistic communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13175-13175	Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 887-887	Answering is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31536-31536	Apologizing is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 899-899	Arguing is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31555-31555	Confirming is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31607-31607	Correcting is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13289-13289	Disagreeing is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4186-4186	Misdiagnosing is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17511-17511	Pleading is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	Media.kif 125-125	Reaching agreement is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 875-875	Registering is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2727-2727	SITuation REPort is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 450-450	Terminal attack control is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 502-502	Terminal guidance is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17549-17549	Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1198-1198	Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1613-1613	Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	french_format.kif 876-876	Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 409-409	Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 412-412	Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2560-2560	Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 828-828	Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 414-414	Testifying is a subclass of stating
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 448-448	Testifying is a subclass of stating

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13281-13287	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15607-15612	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31560-31574	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1475-1486	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17540-17547	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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31612-31624	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Law.kif 406-421	If a cognitive agent trusts an agent will do a kind of intentional process, then the cognitive agent believes if there exist an entity, a kind of intentional processI and the kind of intentional process such that the entity is an instance of stating and the entity contains the formula the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI, then the statement the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI 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: