TreeView Knowledge Base Browser - Recording

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 1387-1388
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1386-1386	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 14293-14293	Audio recording is a subclass of recording
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1391-1391	Motion picture is a subclass of recording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13295-13295	Photograph is a subclass of recording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14427-14427	Video recording is a subclass of recording
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1389-1389

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 338-338	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 20690-20690	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 408-419	If demo recording is an attribute of an object and the object is an instance of recording, then the object has the 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 378-385	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 426-436	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 392-400	If studio recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then there exist a process and an object such that the content bearing object is a record of the process and the process is located at the object and the object is an instance of recording studio
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14387-14392	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 280-287	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 369-371	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 has the 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 has the 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 the physical

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