TreeView 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 16906-16908
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16904-16904	O argumento numero 1 de consistent e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16905-16905	O argumento numero 2 de consistent e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16902-16902	consistent e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16903-16903	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 14149-14163

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 13850-13857	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 13862-13869	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 29691-29703	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 13157-13170	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: