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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 叙述文本 详尽无遗地 partition虚构的文字历史记录
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14924-14924 叙述文本文本subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14882-14882 历史记录叙述文本subclass
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 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