knows - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1943-1945
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2829-2833
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 573-575
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2826-2826	O argumento numero 1 de knows e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2827-2827	O argumento numero 2 de knows e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2824-2824	knows e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2823-2823	knows e' uma instancia de Atitude pProposicional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2825-2825	knows e' uma sub-relacao de inScopeOfInterest

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 139-139
No TPTP formula. May not be expressible in strict first order.	english_format.kif 140-140
No TPTP formula. May not be expressible in strict first order.	french_format.kif 91-91
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 159-159
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1918-1918
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 43-43
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 101-101
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 169-169
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 198-198
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 110-110
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 90-90
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 318-318
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 140-140
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32724-32724
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32723-32723
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 51-51
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 319-319

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4427-4444	hasAccount Agente Cognitivo and UserAccount password ComputerPassword and UserAccount deviceAccount UserAccount and Computer Agente Cognitivo nao sabe %n password ComputerPassword and UserAccount Agente Cognitivo sabe recoveryKey Entidade and UserAccount Agente Cognitivo possui Computer o argumento Entidade Entidade e' uma instancia de ChangingPassword UserAccount e' um patient de Entidade Entidade e' um agente de Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1876-1888	Processo e' uma instancia de DefensiveInformationOperation Processo e' um agente de Agente Cognitivo enemy Agente Cognitivo and Agente Cognitivo Agente Cognitivo deseja Agente Cognitivo sabe Entidade Agente Cognitivo deseja Agente Cognitivo nao sabe %n Entidade Processo tem por fim Agente Cognitivo nao sabe %n Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2835-2837	Agente Cognitivo sabe Formula Agente Cognitivo acredita que Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2839-2841	Agente Cognitivo sabe Formula truth Formula and True

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2763-2777	Objeto e' uma instancia de AntibodyCOVIDTest Objeto e' um instrumento para Processo Processo e' uma instancia de Medir Objeto e' um patient de Processo Objeto e' uma instancia de COVIDAntibody Objeto e' uma &parte de Objeto o argumento Objeto sabe Objeto Objeto e' uma instancia de COVIDAntibody Objeto e' uma &parte de Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	Processo e' uma instancia de CheckingVitals Processo e' um agente de Agente Cognitivo Objeto e' um patient de Processo Heart e' uma instancia de Heart Heart e' uma &parte de Objeto Lung e' uma instancia de Lung Lung e' uma &parte de Objeto systolicBloodPressure Objeto and Entidade diastolicBloodPressure Objeto and Entidade a medida de Objeto e' Entidade FahrenheitDegree(s) vale durante tempo de existencia de Processo heartRate Heart, tempo de existencia de Processo and Numero Inteiro breathingRate Lung, tempo de existencia de Processo and Numero Inteiro Agente Cognitivo sabe systolicBloodPressure Objeto and Entidade diastolicBloodPressure Objeto and Entidade a medida de Objeto e' Entidade FahrenheitDegree(s) vale durante tempo de existencia de Processo heartRate Heart, tempo de existencia de Processo and Numero Inteiro breathingRate Lung, tempo de existencia de Processo and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12182-12188	Processo e' uma instancia de Contar Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Entidade Agente Cognitivo sabe o numero de instancias dentro de Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1876-1888	Processo e' uma instancia de DefensiveInformationOperation Processo e' um agente de Agente Cognitivo enemy Agente Cognitivo and Agente Cognitivo Agente Cognitivo deseja Agente Cognitivo sabe Entidade Agente Cognitivo deseja Agente Cognitivo nao sabe %n Entidade Processo tem por fim Agente Cognitivo nao sabe %n Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3449-3460	Processo e' uma instancia de Electrocardiography Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent MedicalDoctor e' um atributo de AutonomousAgent Processo tem por fim AutonomousAgent sabe Entidade truth ImpairedBodyPartFn Heart e' um atributo de Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4451-4461	Processo e' uma instancia de Forgetting AutonomousAgent experimenta Processo Entidade AutonomousAgent nao sabe %n Entidade vale durante imediatemente apos tempo de existencia de Processo AutonomousAgent sabe Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	Processo e' uma instancia de Gaslighting Processo e' um agente de AutonomousAgent suffers Processo and AutonomousAgent Processo Processo e' uma instancia de Percepcao AutonomousAgent experimenta Processo causesProposition suffers Processo and AutonomousAgent and AutonomousAgent nao sabe %n Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5369-5379	Processo e' uma instancia de GramStaining Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo tem por fim AutonomousAgent sabe Entidade Entidade e' uma instancia de GramStainAttribute Entidade e' um atributo de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12987-12993	Processo e' uma instancia de Investigacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo tem finalidade AutonomousAgent sabe Entidade para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12980-12985	Processo e' uma instancia de Investigacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent nao sabe %n Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25873-25885	Objeto e' uma instancia de KnockLight AutonomousAgent e' uma instancia de Humano Deaf e' um atributo de AutonomousAgent AutonomousAgent usa Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Impactar Entidade e' um patient de Entidade Entidade e' uma instancia de Door AutonomousAgent sabe Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11995-12002	Processo e' uma instancia de Aprender Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent nao sabe %n Entidade vale durante o comeco de tempo de existencia de Processo AutonomousAgent sabe Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 577-587	Processo e' uma instancia de Locating Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo tem por fim Entidade Entidade e' uma instancia de Regiao AutonomousAgent sabe Entidade e' situado em Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1260-1269	Processo e' uma instancia de Medir Objeto e' um instrumento para Processo Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Objeto e' uma instancia de PulseOximeter Entidade Agente Cognitivo sabe oxygenSaturation Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 466-482	Processo e' uma instancia de MeasuringBreathing Processo e' um agente de AutonomousAgent Objeto e' uma instancia de Lung Objeto e' uma &parte de Objeto Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontece durante tempo de existencia de Processo a duracao de Intervalo Temporal e' MinuteDuration Objeto e' um patient de Processo Entidade AutonomousAgent sabe breathingRate Objeto, Intervalo Temporal and Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12168-12175	Processo e' uma instancia de Medir Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade Entidade AutonomousAgent sabe a medida de Entidade e' Entidade Entidade(s) vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2181-2191	Processo e' uma instancia de Decodificar Processo e' um agente de Agente Cognitivo Formula Agente Cognitivo sabe Formula Objeto Objeto e' um instrumento para Processo Objeto contem informacao Formula
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2169-2179	Processo e' uma instancia de Codificar Processo e' um agente de Agente Cognitivo Formula Agente Cognitivo sabe Formula Objeto Objeto e' um instrumento para Processo Objeto contem informacao Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 865-873	Processo e' uma instancia de Punishing Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Entidade Agente Cognitivo sabe Entidade nao deseja %n Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13004-13009	Processo e' uma instancia de Processo de Diagnostico Processo e' um agente de AutonomousAgent Entidade Processo tem finalidade AutonomousAgent sabe Entidade causa Processo para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13259-13265	Processo e' uma instancia de Questionar Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Formula AutonomousAgent nao sabe %n Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13030-13043	Processo e' uma instancia de Searching Fisico e' um patient de Processo Fisico e' uma instancia de Fisico Objeto AutonomousAgent AutonomousAgent e' uma instancia de Agente Cognitivo Processo e' um agente de AutonomousAgent Objeto e' uma instancia de Objeto Fisico e' situado em Objeto Processo tem finalidade AutonomousAgent sabe Fisico e' situado em Objeto para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13571-13579	Processo e' uma instancia de Visao Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Entidade Entidade e' uma instancia de Atributo de Cor Agente Cognitivo sabe Entidade e' um atributo de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 684-690	Processo e' uma instancia de ReconnaissanceOperation Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Proposicao Processo tem por fim AutonomousAgent sabe Entidade
No TPTP formula. May not be expressible in strict first order.	emotion.kif 56-64	Processo e' uma instancia de AppraisalProcess Processo e' um agente de Agente Cognitivo Agente CognitivoPP Agente CognitivoPP e' uma instancia de Appraisal Agente Cognitivo sabe Agente CognitivoPP e' um atributo de Agente Cognitivo

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: