Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ManualHumanLanguage
ManualHumanLanguage(manual human language)

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


(subclass ManualHumanLanguage HumanLanguage) Merge.kif 1574-1574 Manual human language is a subclass of human language
(documentation ManualHumanLanguage EnglishLanguage "A ManualHumanLanguage is a HumanLanguage which has as its medium gestures and movement, such as the shape, position, and movement of the hands.") Merge.kif 1576-1578 Manual human language is a subclass of human language

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


(instance MonasticSignLanguage ManualHumanLanguage) Languages.kif 139-139 Monastic sign language is an instance of manual human language
(instance PlainsIndianSignLanguage ManualHumanLanguage) Languages.kif 147-147 Plains indian sign language is an instance of manual human language
(subclass DeafSignLanguage ManualHumanLanguage) Languages.kif 159-159 Deaf sign language is a subclass of manual human language
(termFormat EnglishLanguage ManualHumanLanguage "manual human language") domainEnglishFormat.kif 36017-36017 Deaf sign language is a subclass of manual human language
(termFormat ChineseTraditionalLanguage ManualHumanLanguage "手動人類語言") domainEnglishFormat.kif 36018-36018 Deaf sign language is a subclass of manual human language
(termFormat ChineseLanguage ManualHumanLanguage "手动人类语言") domainEnglishFormat.kif 36019-36019 Deaf sign language is a subclass of manual human language

appearance as argument number 3
-------------------------


(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage) Merge.kif 1537-1537 Human language is exhaustively partitioned into spoken human language and manual human language


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners