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.	Merge.kif 1272-1273
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1271-1271	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 11944-11944	Audio recording is a subclass of recording
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1276-1276	Motion picture is a subclass of recording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10931-10931	Photograph is a subclass of recording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12078-12078	Video recording is a subclass of recording
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1274-1274

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 335-335	The number 1 argument of album track is an instance of recording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18379-18379	The number 2 argument of produced 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 131-131	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 113-113	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 405-416	If demo recording is an attribute of an object and the object is an instance of recording, then the object purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of demonstrating and the object is a record of the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Music.kif 375-382	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 423-433	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 389-397	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 12038-12043	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 277-284	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 366-368	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 a physical such that the physical is an instance of device and the physical purpose there exist an entity and another entity such that the entity is an instance of recording and the physical is an instrument for the other entity and the entity is a result of the other entity and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Music.kif 27-34	If a physical is an instance of recording studio, then the physical purpose there exist an entity and another entity such that the entity is an instance of recording and the entity is a result of the other entity and the other entity 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 3.0 is open source software produced by Articulate Software and its partners