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 16928-16930
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16926-16926	O argumento numero 1 de consistent e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16927-16927	O argumento numero 2 de consistent e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16924-16924	consistent e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16925-16925	consistent e' uma instancia de Relacao Simetrica

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 16698-16698
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16697-16697
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16696-16696

antecedent

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

Mid-level-ontology.kif 14148-14162

Agreement tem um atributo de Contract partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Processo exprime o conteudo de Proposicao consistent Proposicao and Agreement
o argumento Entidade Entidade e' uma instancia de Acao Legal plaintiff Entidade and Agente Cognitivo defendant Entidade and Agente Cognitivo tem a forca modal de Possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13849-13856	O argumento Formula tem a forca modal de Legal Formula o argumento Formula tem a forca modal de Law consistent Formula and Formula
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	Processo e' uma instancia de CivilAffairsOperation Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Nacao Proposicao e' uma instancia de RegionalLawFn Area Geopolitica Processo exprime o conteudo de Proposicao consistent Proposicao and Proposicao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13861-13868	Processo e' uma instancia de CriminalAction Formula Proposicao and Proposicao o argumento Formula tem a forca modal de Law Formula contem informacao Proposicao Processo exprime o conteudo de Proposicao consistent Proposicao and Proposicao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29679-29691	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13179-13192	Processo e' uma instancia de Disagreeing AutonomousAgent AutonomousAgent, Processo, Processo, Proposicao and Proposicao Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent Processo contem informacao Proposicao Processo contem informacao Proposicao consistent Proposicao and Proposicao

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: