TreeView Knowledge Base Browser - AudioRecording

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AudioRecording

AudioRecording

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14294-14300
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14301-14303
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2644-2644
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6999-6999
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6996-6996
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6998-6998
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4516-4516
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6995-6995
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6997-6997
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7000-7000
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14293-14293	AudioRecording e' uma sub-classe de Recording

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 1456-1456	AudioFile e' uma sub-classe de AudioRecording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14394-14394	MusicRecording e' uma sub-classe de AudioRecording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27079-27079	VoiceMail e' uma sub-classe de AudioRecording
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9036-9036
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9035-9035
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9034-9034

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 118-124	recordingLength Recording and Duracao Temporal Recording e' uma instancia de AudioRecording Processo e' uma instancia de Listening Recording e' um patient de Processo a duracao de tempo de existencia de Processo e' Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14313-14319	ContentBearingPhysical e' uma instancia de AudioRecording Proposicao Processo ContentBearingPhysical contem informacao Proposicao Processo exprime o conteudo de Proposicao Processo e' uma instancia de Som Irradiante
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14305-14311	Objeto e' uma instancia de AudioRecording Entidade Entidade e' uma instancia de Som Irradiante Objeto define Entidade Objeto e' capaz de fazer Som Irradiante no role patient

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1209-1223	Fisico e' uma instancia de AudioCDSystem Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de CompactDisc Entidade e' uma instancia de AudioRecording Entidade define Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um sub-processo de Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14454-14469	Fisico e' uma instancia de MediaSystem Fisico tem por fim Entidade Entidade Entidade e' uma instancia de VideoRecording Entidade e' uma instancia de Luz Irradiante Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade Entidade Entidade Entidade e' uma instancia de AudioRecording Entidade e' uma instancia de Som Irradiante Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 1387-1407	Fisico e' uma instancia de VCRSystem Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de VHSCassette Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de VideoRecording Entidade define Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de AudioRecording Entidade define Entidade Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Luz Irradiante Entidade e' um patient de Entidade Entidade e' um sub-processo de Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um patient de Entidade Entidade e' um sub-processo de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14440-14446	Entidade e' uma instancia de VideoRecording o argumento Entidade Entidade e' uma instancia de AudioRecording Entidade e' uma &parte de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26238-26248	Fisico e' uma instancia de AudioRecorder Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Som Irradiante Entidade e' uma instancia de Processo Intencional Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de AudioRecording
No TPTP formula. May not be expressible in strict first order.	Media.kif 1275-1301	Fisico e' uma instancia de DVDSystem Fisico tem por fim Entidade Entidade Entidade e' uma instancia de DVD Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade Entidade and Entidade Entidade e' uma instancia de VideoRecording Entidade define Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Luz Irradiante Entidade e' um sub-processo de Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade Entidade and Entidade Entidade e' uma instancia de AudioRecording Entidade define Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um sub-processo de Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 1336-1350	Fisico e' uma instancia de TapeRecorder Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Intencional Fisico e' um instrumento para Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de AudioRecording Entidade e' uma instancia de RecordingTape Entidade e' conectado com Fisico vale durante Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade e' uma &parte de Entidade

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