TreeView Knowledge Base Browser - TelephoneCommunication

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TelephoneCommunication

Sigma KEE - TelephoneCommunication

TelephoneCommunication

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27011-27012
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27010-27010	TelephoneCommunication e' uma sub-classe de ArtifactMediatedCommunication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27059-27059	DirectDialTelephoneCommunication e' uma sub-classe de TelephoneCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27028-27028	OperatorAssistedTelephoneCommunication e' uma sub-classe de TelephoneCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27013-27013

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27113-27123	Objeto e' uma instancia de TelephoneCommunication Domestic e' um atributo de Objeto Objeto Fisico and Objeto Objeto tem como origem Objeto Objeto termina em Fisico Objeto e' situado em Objeto Fisico e' situado em Objeto Objeto e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27130-27142	Objeto e' uma instancia de TelephoneCommunication International e' um atributo de Objeto Objeto Fisico, Objeto and Objeto Objeto tem como origem Objeto Objeto termina em Fisico Objeto e' situado em Objeto Fisico e' situado em Objeto Objeto e' uma instancia de Nacao Objeto e' uma instancia de Nacao Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27095-27106	Objeto e' uma instancia de TelephoneCommunication Local e' um atributo de Objeto TelecomNumber TelecomNumber, AutonomousAgent, AutonomousAgent and Sequencia Simbolica Objeto tem como origem AutonomousAgent Objeto termina em AutonomousAgent telephoneNumber TelecomNumber and AutonomousAgent telephoneNumber TelecomNumber and AutonomousAgent telecomAreaCode Sequencia Simbolica and TelecomNumber telecomAreaCode Sequencia Simbolica and TelecomNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27015-27026	Processo e' uma instancia de TelephoneCommunication AutonomousAgent AutonomousAgent, ContactSite and ContactSite Processo tem como origem ContactSite Processo termina em ContactSite siteForContact ContactSite and AutonomousAgent siteForContact ContactSite and AutonomousAgent AutonomousAgent e' uma instancia de Telephone AutonomousAgent e' uma instancia de Telephone AutonomousAgent e' um instrumento para Processo AutonomousAgent e' um instrumento para Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27066-27077	Entidade e' uma instancia de DirectDialTelephoneCommunication Fisico Fisico e' uma instancia de Humano Fisico tem por fim Entidade Entidade e' um agente de Fisico Entidade e' um sub-processo de Entidade Entidade e' uma instancia de TelephoneCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27083-27088	Entidade e' uma instancia de VoiceMail Processo Processo e' uma instancia de TelephoneCommunication Entidade e' um patient de Processo

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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