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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Novel

 Sigma KEE - Novel
Novel
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14974-14975
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2884-2884
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2888-2888
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2885-2885
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2887-2887
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2715-2715
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2886-2886
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2883-2883
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2882-2882
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2880-2880
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2881-2881
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14973-14973 Novel est une sous-classe de livre
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14972-14972 Novel est une sous-classe de FictionalText

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41297-41297
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41296-41296
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41295-41295


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