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 13161-13162
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13160-13160	Declarar e' uma sub-classe de LinguisticCommunication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13058-13058	O conceito Communicacao e' completamente decomposto em Declarar, Supposing, Dirigir, Comprometer-se, Exprimir, + Declarar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 894-894	Answering e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29603-29603	Apologizing e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 906-906	Arguing e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29622-29622	Confirming e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29674-29674	Correcting e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13172-13172	Disagreeing e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4180-4180	Misdiagnosing e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16123-16123	Pleading e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	Media.kif 125-125	ReachingAgreement e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 882-882	Registering e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2692-2692	SITREP e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 450-450	TerminalAttackControl e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 502-502	TerminalGuidance e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16161-16161	Testifying e' uma sub-classe de Declarar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1198-1198
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1613-1613
No TPTP formula. May not be expressible in strict first order.	french_format.kif 876-876
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 409-409
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 412-412
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2560-2560
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 828-828
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 414-414
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 448-448

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 13164-13170	Processo e' uma instancia de Declarar Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Formula AutonomousAgent acredita que Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14235-14240	Processo e' uma instancia de Declarar Entidade e' o resultado de Processo Entidade e' uma instancia de Frase Entidade e' uma instancia de Statement

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29627-29641	Intervalo Temporal e' uma instancia de Confirming Intervalo Temporal e' um agente de Agreement Intervalo Temporal contem informacao Proposicao Intervalo Temporal ContentBearingPhysical and Agreement2 Intervalo Temporal e' uma instancia de Declarar Intervalo Temporal acontence antes de Intervalo Temporal ContentBearingPhysical e' uma instancia de ReachingAgreement Intervalo Temporal e' um agente de Agreement2 ContentBearingPhysical contem informacao Proposicao Intervalo Temporal contem informacao Proposicao partyToAgreement ContentBearingPhysical and Agreement partyToAgreement ContentBearingPhysical and Agreement2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1513-1524	Organizacao e' uma instancia de GovernmentCabinet Organizacao e' uma parte da organizacao o governo de Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao tem por fim Entidade Entidade Entidade e' uma instancia de Declarar Entidade e' um agente de Organizacao Entidade e' um patient de Entidade leader Entidade and o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	Objeto Corpuscular e' uma instancia de ViewItemPage Processo e' uma instancia de WebListing Processo e' um componente de Objeto Corpuscular Entidade e' um patient de Processo Entidade e' uma instancia de Fisico Processo Processo and ProcessoCONTENT Processo e' uma instancia de Declarar Processo e' um patient de Processo Processo inclui uma referencia a Entidade ProcessoCONTENT e' o resultado de Processo ProcessoCONTENT e' uma &parte de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16152-16159	describes Formula and Objeto Processo AutonomousAgent Processo e' uma instancia de Declarar Processo e' um agente de AutonomousAgent Formula e' um patient de Processo Processo inclui uma referencia a Objeto
No TPTP formula. May not be expressible in strict first order.	Law.kif 65-78	prohibits AutonomousAgent and Entidade vale durante Intervalo Temporal Processo Entidade and Entidade Processo e' uma instancia de Declarar tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent containsFormula Processo and Entidade e' um agente de Entidade causa truth Entidade and True punishes AutonomousAgent and Entidade
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.	UXExperimentalTerms.kif 2043-2052	Objeto e' uma instancia de ProductDescriptionPage Entidade Processo, Processo and ProcessoCONTENT Entidade e' uma instancia de Classe Processo e' uma instancia de Declarar Processo e' um patient de Processo Processo inclui uma referencia a Entidade ProcessoCONTENT e' o resultado de Processo ProcessoCONTENT e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Law.kif 400-415	trusts Agente Cognitivo, AutonomousAgent and Processo Intencional Agente Cognitivo acredita que Entidade Processo IntencionalI and Processo Intencional Entidade e' uma instancia de Declarar containsFormula Entidade and Processo IntencionalI e' uma instancia de Processo Intencional Processo IntencionalI e' um agente de AutonomousAgent o argumento Processo IntencionalI e' uma instancia de Processo Intencional Processo IntencionalI e' um agente de AutonomousAgent tem a forca modal de 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: