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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FictionalText
FictionalText

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3556-3558
No TPTP formula. May not be expressible in strict first order. Merge.kif 15456-15462
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2675-2675
No TPTP formula. May not be expressible in strict first order. Merge.kif 15455-15455 FictionalText e' uma sub-classe de Texto

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15428-15428 FactualText e' disjunto de FictionalText
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14952-14952 O conceito NarrativeText e' completamente decomposto em FictionalText + HistoricalAccount
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14977-14977 DramaticPlay e' uma sub-classe de FictionalText
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14961-14961 MysteryStory e' uma sub-classe de FictionalText
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14972-14972 Novel e' uma sub-classe de FictionalText
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14956-14956 ShortStory e' uma sub-classe de FictionalText
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23612-23612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23611-23611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23610-23610

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15477-15486

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15994-16008


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