consistent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3784-3785
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15776-15778
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15774-15774	The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15775-15775	The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15772-15772	consistent is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15773-15773	consistent is an instance of symmetric relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 536-536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 535-535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 534-534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16689-16689
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16688-16688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16687-16687

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 10930-10944

If an agreement the attribute contract and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent and a process is an instance of intentional process and the cognitive agent is an agent of the process and the process expresses the content of a proposition and the agreement is not a consistent of the proposition,
then the statement there exists an entity such that the entity is an instance of legal action and the other cognitive agent is the plaintiff in the entity and the cognitive agent is the defendant in the entity has the modal force of possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10631-10638	The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2224-2232	If a process is an instance of civil affairs operation and the process is located at a geopolitical area and the geopolitical area is an instance of nation and a proposition is an instance of the regional law of the geopolitical area and the process expresses the content of another proposition, then the other proposition is a consistent of the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10643-10650	If a process is an instance of criminal action, then there exist a formula, a proposition and another proposition such that the statement the formula has the modal force of law and the formula contains information the proposition and the process expresses the content of the other proposition and the other proposition is not a consistent of the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25925-25937	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.	Merge.kif 12242-12255	If a process is an instance of disagreeing, then there exist an agent, another agent,, , another process,, , a third process,, , a proposition and another proposition such that the other process is a subprocess of the process and the third process is a subprocess of the process and the agent is an agent of the other process and the other agent is an agent of the third process and the agent is not equal to the other agent and the other process contains information the proposition and the third process contains information the other proposition and the other proposition is not a consistent of the proposition

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: