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 15327-15329
No TPTP formula. May not be expressible in strict first order. Merge.kif 15323-15326
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 15322-15322 Text is a subclass of artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15321-15321 Text is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15320-15320 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 12103-12103 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 12161-12161 Article is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15614-15614 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 7566-7566 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 15345-15345 Factual text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15376-15376 Fictional text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11934-11934 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 11921-11921 Label is a subclass of text
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2448-2448 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 1404-1404 Motion picture is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11783-11783 Music text is a subclass of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12367-12367 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 12129-12129 Series is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15566-15566 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 725-725 "text" is the printable form of text in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 716-716 "texte" is the printable form of text in french 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 13947-13947 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 15451-15451 The number 2 argument of editor is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15463-15463 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 15331-15336
No TPTP formula. May not be expressible in strict first order. Merge.kif 15338-15343

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 15585-15589
No TPTP formula. May not be expressible in strict first order. Merge.kif 12639-12643
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 8177-8184
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 13317-13323
No TPTP formula. May not be expressible in strict first order. Merge.kif 12471-12477
No TPTP formula. May not be expressible in strict first order. Merge.kif 15571-15576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 837-846


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