Recording - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Recording

Recording(recording)

master, master_copy, mastering, original, recording, tape, tape_recording, taping, transcription

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11746-11747
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11745-11745	Recording is a subclass of content bearing object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11651-11651	Audio recording is a subclass of recording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10886-10886	Photograph is a subclass of recording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11791-11791	Video recording is a subclass of recording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11748-11748	"recording" is the printable form of recording in english language

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 357-357	The number 1 argument of album track is an instance of recording
No TPTP formula. May not be expressible in strict first order.	Music.kif 111-111	The number 1 argument of produced by is an instance of recording
No TPTP formula. May not be expressible in strict first order.	Music.kif 93-93	The number 1 argument of produced on is an instance of recording
No TPTP formula. May not be expressible in strict first order.	Music.kif 147-147	The number 1 argument of recording company is an instance of recording
No TPTP formula. May not be expressible in strict first order.	Music.kif 129-129	The number 1 argument of recording length is an instance of recording

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 427-438	If demo recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then the content bearing object has purpose there exist a process, an entity and the content bearing objectUSIC such that the process is an instance of demonstrating and the content bearing object is a record of the content bearing objectUSIC and the content bearing objectUSIC is a patient of the process and the process ends up at the entity and the entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Music.kif 397-404	If live recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then there exists a physical such that the physical is an instance of performance and the content bearing object is a record of the physical
No TPTP formula. May not be expressible in strict first order.	Music.kif 445-455	If mashup is an attribute of an object and the object is an instance of recording, then there exist the object1, the object2,, , a music and another music such that the object1 is a recording of the music and the object2 is a recording of the other music and the music is not equal to the other music and the object1 is a part of the object and the object2 is a part of the object
No TPTP formula. May not be expressible in strict first order.	Music.kif 411-419	If studio recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then there exists a process such that the content bearing object is a record of the process and the process is located at 2 and an entity is an instance of recording studio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11750-11755	If a content bearing object is an instance of recording, then there exists a physical such that the physical is an instance of process and the content bearing object is a record of the physical

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 290-297	If a cognitive agent is a performer on an album, then there exist a content bearing object and a process such that the content bearing object is an instance of recording and the content bearing object is a member of the album and the content bearing object is a record of the process and the cognitive agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Music.kif 388-390	If recording attribute is an attribute of an object, then the object is an instance of recording
No TPTP formula. May not be expressible in strict first order.	Music.kif 53-58	If a list is an instance of album, then for all an entity if the entity is a member of the list, then the entity is an instance of recording
No TPTP formula. May not be expressible in strict first order.	Music.kif 36-47	If an object is an instance of recording studio, then there exists another object such that the other object is an instance of device and the other object has purpose there exist an entity and a process such that the entity is an instance of recording and the other object is an instrument for the process and the entity is a result of the process and the other object is located at the object
No TPTP formula. May not be expressible in strict first order.	Music.kif 27-34	If an entity is an instance of recording studio, then the entity has purpose there exist another entity and a process such that the other entity is an instance of recording and the other entity is a result of the process and the process is located at 2

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners