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 14243-14246
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3009-3009
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3230-3230
No TPTP formula. May not be expressible in strict first order. Merge.kif 14242-14242 Text is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14241-14241 Text is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14240-14240 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 2894-2894 The values returned by document are subclasses of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12390-12390 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 12448-12448 Article is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2269-2269 Calendar is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14514-14514 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 7553-7553 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 14262-14262 Factual text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14290-14290 Fictional text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12221-12221 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 12208-12208 Label is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2976-2976 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 1276-1276 Motion picture is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12070-12070 Music text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12654-12654 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 12416-12416 Series is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4163-4163 Spam is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14467-14467 Summary is a subclass of text
No TPTP formula. May not be expressible in strict first order. Geography.kif 2915-2915 Treaty document is a subclass of text
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1038-1038
No TPTP formula. May not be expressible in strict first order. english_format.kif 1292-1292

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 14235-14235 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 14358-14358 The number 2 argument of editor is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14368-14368 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 2899-2904
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 14248-14253
No TPTP formula. May not be expressible in strict first order. Merge.kif 14255-14260

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 15944-15948
No TPTP formula. May not be expressible in strict first order. Merge.kif 11944-11948
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 8173-8180
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 13604-13610
No TPTP formula. May not be expressible in strict first order. Merge.kif 11797-11803
No TPTP formula. May not be expressible in strict first order. Merge.kif 14471-14476
No TPTP formula. May not be expressible in strict first order. Merge.kif 1398-1404
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 3299-3305 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 3.0 is open source software produced by Articulate Software and its partners