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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FactualText
FactualText(factual text)
accounting_data, ammunition, book, business_news, certificate, certification, corroborating_evidence, credential, credentials, cross_section, data, data_file, descriptor, document, factual_text, file, hard_news, info, information, intelligence, latest, marginalia, material, metadata, news, nonfiction, nonfictional_prose, note, nuts_and_bolts, papers, predictor, random_sample, read-out, readout, record, record_book, skinny, soft_news, specification, stop_press, tasting, tidings, voucher, word, written_document

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15346-15346 Factual text is disjoint from fictional text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15353-15355
No TPTP formula. May not be expressible in strict first order. Merge.kif 15347-15352
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2675-2675 "http://upload.wikimedia.org/wikipedia/commons/0/02/ Variable-message-sign.jpg" is a URL depicting factual text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15345-15345 Factual text is a subclass of text

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12006-12006 Announcement is a subclass of factual text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12070-12070 Documentary is a subclass of factual text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12327-12327 Historical account is a subclass of factual text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12288-12288 Letter is a subclass of factual text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12251-12251 Message is a subclass of factual text
No TPTP formula. May not be expressible in strict first order. Government.kif 2266-2266 Party platform is a subclass of factual text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12021-12021 Performance program is a subclass of factual text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12357-12357 Reference book is a subclass of factual text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12255-12255 Report is a subclass of factual text
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4279-4279 "factual text" is the printable form of factual text in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15367-15374


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