Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LeftKidney
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MarchingBand MusicalGroup) | Music.kif 967-967 | Marching band is a subclass of musical group |
| (subclass MarchingBand Organization) | Music.kif 968-968 | Marching band is a subclass of organization |
| (documentation MarchingBand EnglishLanguage "MarchingBand refers to a group of instrumental musicians perform outdoors and incorporate some type of marching with their musical performance.") | Music.kif 969-971 | Marching band is a subclass of organization |
| (comment MarchingBand "Subclassing it from Organization as well so that relations associated to Organization can be used to describe it, such as subOrganization for the educational institution it represents, or when it was founded using yearOfFounding, who its director is, etc. 09-28-2011" "KJN") | Music.kif 973-976 | Marching band is a subclass of organization |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MarchingBand "marching band") | Music.kif 972-972 |
| antecedent |
|
|
| (=> (instance ?GRP MarchingBand) (exists (?P) (and (hasSkill MakingInstrumentalMusic ?P) (member ?P ?GRP)))) |
Music.kif 978-983 | If X is an instance of marching band, then there exists Y such that Y has the skill to do instrumental music and Y is a member of X |
| (=> (and (instance ?GRP MarchingBand) (instance ?MP MusicalPerformance) (agent ?MP ?GRP) (instance ?OD Outdoors) (eventLocated ?MP ?OD)) (exists (?AMB) (and (instance ?AMB Ambulating) (subProcess ?AMB ?MP)))) |
Music.kif 988-998 | If X is an instance of marching band, Y is an instance of musical performance, X is an agent of Y, Z is an instance of outdoors, and Y is located at Z, then there exists W such that W is an instance of ambulating and W is a subprocess of Y |
|