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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - EnteringAPin
EnteringAPin(entering a PIN)

appearance as argument number 2

(termFormat ChineseLanguage EnteringAPin "输入PIN码") domainEnglishFormat.kif 22185-22185
(termFormat ChineseTraditionalLanguage EnteringAPin "輸入PIN碼") domainEnglishFormat.kif 22184-22184
(termFormat EnglishLanguage EnteringAPin "entering a PIN") domainEnglishFormat.kif 22183-22183

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