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 14208-14211
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 14207-14207 Text is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14206-14206 Text is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14205-14205 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 12388-12388 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 12446-12446 Article is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2265-2265 Calendar is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14479-14479 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 7551-7551 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 14227-14227 Factual text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14255-14255 Fictional text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12219-12219 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 12206-12206 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 1273-1273 Motion picture is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12068-12068 Music text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12652-12652 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 12414-12414 Series is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4142-4142 Spam is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14432-14432 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
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 14233-14233 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 14323-14323 The number 2 argument of editor is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14333-14333 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 14213-14218
No TPTP formula. May not be expressible in strict first order. Merge.kif 14220-14225

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 15942-15946
No TPTP formula. May not be expressible in strict first order. Merge.kif 11909-11913
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 8171-8178
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 13602-13608
No TPTP formula. May not be expressible in strict first order. Merge.kif 11762-11768
No TPTP formula. May not be expressible in strict first order. Merge.kif 14436-14441
No TPTP formula. May not be expressible in strict first order. Merge.kif 1394-1400
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 3295-3301 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