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. Merge.kif 19836-19838
No TPTP formula. May not be expressible in strict first order. Merge.kif 19832-19835
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 19831-19831 Text is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 19830-19830 Text is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 19829-19829 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 2860-2860 The values returned by document are subclasses of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12364-12364 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 12422-12422 Article is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2108-2108 Calendar is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 20123-20123 Certificate is a subclass of text
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1013-1013 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 981-981 Doctrine is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 19854-19854 Factual text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 19885-19885 Fictional text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12195-12195 Form text is a subclass of text
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 910-910 Joint publication is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12182-12182 Label is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2413-2413 LTU is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 852-852 Lyrics is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 2198-2198 Motion picture is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12044-12044 Music text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12628-12628 Narrative text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 863-863 Paragraph is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12390-12390 Series is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 20075-20075 Summary is a subclass of text
No TPTP formula. May not be expressible in strict first order. Geography.kif 2880-2880 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 1817-1817 "text" is the printable form of text in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 1818-1818 "テキスト" is the printable form of text in japanese 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 14208-14208 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 19960-19960 The number 2 argument of editor is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 19972-19972 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 2865-2869
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 19840-19845
No TPTP formula. May not be expressible in strict first order. Merge.kif 19847-19852

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 15917-15921
No TPTP formula. May not be expressible in strict first order. Merge.kif 17147-17151
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 8190-8197
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 13578-13584
No TPTP formula. May not be expressible in strict first order. Merge.kif 16979-16985
No TPTP formula. May not be expressible in strict first order. Merge.kif 20080-20085
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 837-846

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3139-3145 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