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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NarrativeText

 Sigma KEE - NarrativeText
NarrativeText(敘述文本)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14926-14927
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2713-2713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14925-14925 劃分 敘述文本, 虛構的文字 and 歷史記錄
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14924-14924 子類 敘述文本 and Text

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14882-14882 子類 歷史記錄 and 敘述文本
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39729-39729
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39728-39728
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39727-39727


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 3.0 is open source software produced by Articulate Software and its partners