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 13734-13740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13741-13743
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 13733-13733 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 13834-13834 Music recording is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26433-26433 VoiceMail is a subclass of audio recording
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9045-9045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9044-9044
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9043-9043

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 13753-13759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13745-13751

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 13894-13909
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 13880-13886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25588-25598
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