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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AudioRecording

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 14295-14301
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14302-14304
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 14294-14294 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 1456-1456 Audio file is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14395-14395 Music recording is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27091-27091 Voice mail is a subclass of audio recording
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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14314-14320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14306-14312

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1209-1223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14455-14470
No TPTP formula. May not be expressible in strict first order. Media.kif 1387-1407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14441-14447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26250-26260
No TPTP formula. May not be expressible in strict first order. Media.kif 1275-1301
No TPTP formula. May not be expressible in strict first order. Media.kif 1336-1350


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