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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Text
Text(text)
1_Chronicles, 1_Esdras, 1_Kings, 1_Maccabees, 1_Samuel, 2_Chronicles, 2_Esdras, 2_Kings, 2_Maccabees, 2_Samuel, A-list, Abdias, Acts, Acts_of_the_Apostles, Additions_to_Esther, Adi_Granth, Adonic, Adonic_line, Aeneid, Aesop's_fables, Aggeus, Alcaic, Alcaic_verse, Alexandrine, Amos, Angelus, Apocalypse, Apocrypha, Arabian_Nights, Arabian_Nights'_Entertainment, Aranyaka, Atharva-Veda, Augsburg_Confession, Ave_Maria, Avesta, Avestan, Ayurveda, Baruch, Beatitude, Bel_and_the_Dragon, Ben_Sira, Bhagavad-Gita, Bhagavadgita, Bill_of_Rights, Book_of_Amos, Book_of_Baruch, Book_of_Daniel, Book_of_Deuteronomy, Book_of_Ecclesiastes, Book_of_Esther...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3550-3552
No TPTP formula. May not be expressible in strict first order. Merge.kif 14090-14093
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3009-3009 "http://upload.wikimedia.org/wikipedia/commons/0/00/ TheFamilyDoctorNov9_1889page170.png" is a URL depicting text
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3230-3230 "http://upload.wikimedia.org/wikipedia/commons/3/39/ ChronicBackache1038.png" is a URL depicting text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14089-14089 Text is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14088-14088 Text is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14087-14087 Text is a subclass of linguistic expression

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2872-2872 The values returned by document are subclasses of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12362-12362 The values returned by series volume are subclasses of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12420-12420 Article is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2267-2267 Calendar is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14361-14361 Certificate is a subclass of text
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1024-1024 Chairman publication is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7571-7571 Christian gospel is a subclass of text
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 992-992 Doctrine is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14109-14109 Factual text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14137-14137 Fictional text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12193-12193 Form text is a subclass of text
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 921-921 Joint publication is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12180-12180 Label is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2582-2582 LTU is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 851-851 Lyrics is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 1278-1278 Motion picture is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12042-12042 Music text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12626-12626 Narrative text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 862-862 Paragraph is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12388-12388 Series is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4106-4106 Spam is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14314-14314 Summary is a subclass of text
No TPTP formula. May not be expressible in strict first order. Geography.kif 2893-2893 Treaty document is a subclass of text
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1038-1038 "文本" is the printable form of text in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1292-1292 "text" is the printable form of text in english language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14207-14207 The number 1 argument of registered item is an instance of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14205-14205 The number 2 argument of editor is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14215-14215 The number 2 argument of publishes is a subclass of text

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 492-501
No TPTP formula. May not be expressible in strict first order. Media.kif 1896-1900
No TPTP formula. May not be expressible in strict first order. Biography.kif 503-512
No TPTP formula. May not be expressible in strict first order. Geography.kif 2877-2882
No TPTP formula. May not be expressible in strict first order. Media.kif 938-943
No TPTP formula. May not be expressible in strict first order. Merge.kif 14095-14100
No TPTP formula. May not be expressible in strict first order. Merge.kif 14102-14107

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15916-15920
No TPTP formula. May not be expressible in strict first order. Merge.kif 11788-11792
No TPTP formula. May not be expressible in strict first order. Biography.kif 481-490
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8191-8198
No TPTP formula. May not be expressible in strict first order. Media.kif 931-936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13576-13582
No TPTP formula. May not be expressible in strict first order. Merge.kif 11641-11647
No TPTP formula. May not be expressible in strict first order. Merge.kif 14318-14323
No TPTP formula. May not be expressible in strict first order. Merge.kif 1397-1403
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 836-845

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3297-3303 IBookstore purpose there exists ?D such that ?D is an instance of Downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T


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