Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dancer
Dancer

appearance as argument number 1
-------------------------


(documentation Dancer EnglishLanguage "A dancer is one who performs dance, either professionally or for personal enjoyment.") Biography.kif 435-435
(instance Dancer ArtisticOccupation) Biography.kif 434-434

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Dancer "舞蹈家") domainEnglishFormat.kif 18388-18388
(termFormat ChineseTraditionalLanguage Dancer "舞蹈家") domainEnglishFormat.kif 18387-18387
(termFormat EnglishLanguage Dancer "dancer") domainEnglishFormat.kif 18386-18386

antecedent
-------------------------


(=>
    (attribute ?PERSON Dancer)
    (hasSkill Dancing ?PERSON))
Biography.kif 437-439


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