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 15515-15518
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3007-3007
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3228-3228
No TPTP formula. May not be expressible in strict first order. Merge.kif 15514-15514 Text is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15513-15513 Text is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15512-15512 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 3171-3171 The values returned by document are subclasses of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15990-15990 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 16048-16048 Article is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2287-2287 Calendar is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15783-15783 Certificate is a subclass of text
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1025-1025 Chairman publication is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9037-9037 Christian gospel is a subclass of text
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 993-993 Doctrine is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15534-15534 Factual text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15562-15562 Fictional text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15856-15856 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 15843-15843 Label is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 3015-3015 LTU is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 687-687 Lyrics is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 1402-1402 Motion picture is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15791-15791 Music text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16297-16297 Narrative text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 698-698 Paragraph is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10594-10594 Prescription is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16016-16016 Series is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4217-4217 Spam is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15736-15736 Summary is a subclass of text
No TPTP formula. May not be expressible in strict first order. Geography.kif 3192-3192 Treaty document is a subclass of text
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1038-1038 Treaty document is a subclass of text

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 17994-17994 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 15628-15628 The number 2 argument of editor is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15637-15637 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 738-748
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 750-759
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 15520-15525
No TPTP formula. May not be expressible in strict first order. Merge.kif 15527-15532

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 19795-19799
No TPTP formula. May not be expressible in strict first order. Biography.kif 725-734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9673-9680
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 4017-4025
No TPTP formula. May not be expressible in strict first order. Merge.kif 13008-13013
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17308-17314
No TPTP formula. May not be expressible in strict first order. Merge.kif 12843-12849
No TPTP formula. May not be expressible in strict first order. Merge.kif 15740-15745
No TPTP formula. May not be expressible in strict first order. Merge.kif 1524-1530
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 672-681

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3305-3311 IBookstore has the 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