Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MusicalConductor(musical conductor) |  | conductor, director, music_director |
| appearance as argument number 1 |
|
|
| (instance MusicalConductor EntertainmentProfession) | Media.kif 1809-1809 | Musical conductor is an instance of entertainment profession |
| (documentation MusicalConductor EnglishLanguage "The RelationalAttribute MusicalConductor describes the agent of a MusicalConducting process.") | Media.kif 1810-1812 | Musical conductor is an instance of entertainment profession |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MusicalConductor "musical conductor") | domainEnglishFormat.kif 65218-65218 |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (attribute ?AGENT MusicalConductor)) (exists (?CONDUCT) (and (instance ?CONDUCT MusicalConducting) (agent ?CONDUCT ?AGENT) (not (earlier ?T1 (WhenFn ?CONDUCT)))))) |
Media.kif 1820-1826 | If musical conductor is an attribute of X holds during Y, then there exists Z such that Z is an instance of musical conducting, X is an agent of Z, and Y doesn't happen earlier than the time of existence of Z |
| consequent |
|
|
| (=> (and (instance ?CONDUCT MusicalConducting) (agent ?CONDUCT ?AGENT)) (holdsDuring (WhenFn ?CONDUCT) (attribute ?AGENT MusicalConductor))) |
Media.kif 1814-1818 | If X is an instance of musical conducting and Y is an agent of X, then musical conductor is an attribute of Y holds during the time of existence of X |
|