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 11945-11951
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11952-11954
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2645-2645
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. pictureList.kif 6997-6997
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 4517-4517
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 7001-7001
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11944-11944 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 1460-1460 AudioFile is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12045-12045 Music recording is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25375-25375 VoiceMail is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9053-9053
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9052-9052
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9051-9051

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


No TPTP formula. May not be expressible in strict first order. Music.kif 116-124
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11964-11970
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11956-11962

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1213-1227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12105-12120
No TPTP formula. May not be expressible in strict first order. Media.kif 1391-1411
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12091-12097
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24281-24291
No TPTP formula. May not be expressible in strict first order. Media.kif 1279-1305
No TPTP formula. May not be expressible in strict first order. Media.kif 1340-1354


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