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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Reading
Reading(reading)Leggere, Ler, anagram, anagrammatise, anagrammatize, browse, browsing, bumabasa, dip_into, flick, flip, leaf, lire, numerate, padhaaii, pagbasa, perusal, peruse, perusing, poring_over, proof, proofread, read, reading, reread, riff, riffle, scan, skim, skim_over, skimming, spell_out, studying, thumb, unread, well-read, 朗读

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12468-12469
No TPTP formula. May not be expressible in strict first order. Merge.kif 12464-12467
No TPTP formula. May not be expressible in strict first order. Merge.kif 12463-12463 Reading is internally related to interpreting
No TPTP formula. May not be expressible in strict first order. Merge.kif 12462-12462 Reading is a subclass of content development

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1178-1178 "朗读" is the printable form of reading in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 865-865 "reading" is the printable form of reading in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 856-856 "lire" is the printable form of reading in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 388-388 "padhaaii" is the printable form of reading in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 389-389 "Leggere" is the printable form of reading in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 808-808 "Ler" is the printable form of reading in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 393-393 "pagbasa" is the printable form of reading in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 427-427 "reading" is the printable form of reading in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 392-392 "bumabasa" is the printable form of reading in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12471-12477

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12442-12446 Literacy attribute is an attribute of an agent if and only if the agent has skill to do reading and the agent has skill to do writing


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners