Speaking - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Speaking

Speaking

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3004-3005
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 824-825
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1767-1768
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 826-826	Speaking e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 827-827	Speaking e' uma sub-classe de Vocalizing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 86-86	EmotionalSpeakingBehavior e' uma sub-classe de Speaking
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15871-15871	Lecture e' uma sub-classe de Speaking
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15916-15916	Reciting e' uma sub-classe de Speaking
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54474-54474
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54473-54473
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54472-54472

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25736-25749	Multilingual e' um atributo de AutonomousAgent Processo e' uma instancia de Speaking Processo e' um agente de AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de SpokenHumanLanguage Entidade e' uma instancia de SpokenHumanLanguage Entidade e' igual a Entidade Entidade e' um patient de Processo Entidade e' um patient de Processo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6447-6459	AVPUVerbalStatus e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Speaking Processo termina em AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1664-1676	Processo e' uma instancia de Speaking Objeto e' uma instancia de Jaw Processo e' um agente de AutonomousAgent Objeto e' uma &parte de AutonomousAgent o argumento Entidade Entidade e' uma instancia de Movimento do Corpo objectTransferred Entidade and Objeto tempo de existencia de Entidade acontece durante tempo de existencia de Processo tem a forca modal de Likely

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30259-30267	Mute e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Speaking tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15886-15899	Processo e' uma instancia de Commenting Entidade e' uma instancia de Processo Entidade e' um patient de Processo AutonomousAgent Processo and Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Speaking Processo e' uma instancia de Looking Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Music.kif 727-734	HipHopMusic e' um atributo de Objeto o argumento Entidade Entidade record Objeto and Entidade Entidade e' uma instancia de Speaking Entidade e' um sub-processo de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2973-2981	Processo e' uma instancia de Telephoning Processo AutonomousAgent Processo e' uma instancia de Speaking Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent

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