Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Dancing BodyMotion) | Merge.kif 11435-11435 | Dancing is a subclass of body motion |
| (documentation Dancing EnglishLanguage "Any BodyMotion of Humans which is deliberately coordinated with music.") | Merge.kif 11437-11438 | Dancing is a subclass of body motion |
| (externalImage Dancing "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8b/ MIT_2006_Standard_Prechamp_Final_2.jpg/ 250px_MIT_2006_Standard_Prechamp_Final_2.jpg") | pictureList.kif 1088-1088 | Dancing is a subclass of body motion |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Dancing "dancing") | english_format.kif 1455-1455 |
| consequent |
|
|
| (=> (and (instance ?G Choreographing) (result ?G ?P) (realization ?D ?P)) (instance ?D Dancing)) |
Mid-level-ontology.kif 17655-17660 | If X is an instance of choreographing, Y is a result of X, and Z expresses the content of Y, then Z is an instance of dancing |
| (=> (instance ?DISCO DanceHall) (hasPurpose ?DISCO (exists (?DANCE ?MUSIC) (and (instance ?MUSIC MakingMusic) (instance ?DANCE Dancing) (cooccur ?MUSIC ?DANCE) (eventLocated ?MUSIC ?DISCO) (eventLocated ?DANCE ?DISCO))))) |
Mid-level-ontology.kif 29455-29464 | If X is an instance of dance hall, then X has the purpose there exist Y, Z such that Z is an instance of making music, Y is an instance of dancing, Z occurs at the same time as Y, Z is located at X, and Y is located at X |
| (=> (attribute ?PERSON Dancer) (hasSkill Dancing ?PERSON)) |
Biography.kif 676-678 | If dancer is an attribute of X, then X has the skill to do dancing |
| (=> (instance ?CLASS DanceClass) (exists (?PROC) (and (instance ?PROC Dancing) (subProcess ?PROC ?CLASS)))) |
Offers.kif 173-178 | If X is an instance of DanceClass, then there exists Y such that Y is an instance of dancing and Y is a subprocess of X |
|
