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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AbstractionFn

Sigma KEE - AbstractionFn
AbstractionFn

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


(format ChineseLanguage AbstractionFn "描述 %1") chinese_format.kif 253-253
(format FrenchLanguage AbstractionFn "la description de %1") french_format.kif 145-145
(format ItalianLanguage AbstractionFn "la descrizione di %1") relations-it.txt 19-19
(format PortugueseLanguage AbstractionFn "uma descricao de %1") portuguese_format.kif 97-97
(format ar AbstractionFn "the وَصْف لـ %1") arabic_format.kif 93-93
(format de AbstractionFn "die beschreibung von %1") relations-de.txt 325-325
(format hi AbstractionFn "%1 kaa varNana") relations-hindi.txt 64-64
(format tg AbstractionFn "ang paglalarawan sa %1") relations-cb.txt 53-53
(termFormat ChineseLanguage AbstractionFn "摘要函数") chinese_format.kif 254-254
(termFormat ar AbstractionFn "«وَصْف لـ»") arabic_format.kif 543-543
(termFormat tg AbstractionFn "tungkulin ng paglalarawan") relations-tg.txt 55-55


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners