Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AudioRecording
AudioRecording(audio recording)
more pictures...
78, L-P, LP, audio, audio_recording, audiotape, bologram, bolograph, disc, disk, phonograph_record, phonograph_recording, platter, record, seventy-eight, sound_recording, talking_book, tape

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15666-15672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15673-15675
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2643-2643
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 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 4515-4515
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6994-6994
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 6999-6999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15665-15665 Audio recording is a subclass of recording

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1458-1458 Audio file is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15766-15766 Music recording is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28990-28990 Voice mail is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9037-9037 Voice mail is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9036-9036 Voice mail is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9035-9035 Voice mail is a subclass of audio recording

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 118-124
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15685-15691
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15677-15683

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1211-1225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15826-15841
No TPTP formula. May not be expressible in strict first order. Media.kif 1389-1409
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15812-15818
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28149-28159
No TPTP formula. May not be expressible in strict first order. Media.kif 1277-1303
No TPTP formula. May not be expressible in strict first order. Media.kif 1338-1352


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