Text - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Text ChineseLanguage "这是一种在 Communication 上表达一个特定功能的 LinguisticExpression 或一组 LinguisticExpression。例如：由 Human 所书写的 CorpuscularObject，它是为了表达一个特定主题的话语。")	chinese_format.kif 3550-3552
(documentation Text EnglishLanguage "A LinguisticExpression or set of LinguisticExpressions that perform a specific function related to Communication, e.g. express a discourse about a particular topic, and that are inscribed in a CorpuscularObject by Humans.")	Merge.kif 15362-15365
(externalImage Text "http://upload.wikimedia.org/wikipedia/commons/0/00/ TheFamilyDoctorNov9_1889page170.png")	pictureList.kif 3008-3008
(externalImage Text "http://upload.wikimedia.org/wikipedia/commons/3/39/ ChronicBackache1038.png")	pictureList.kif 3229-3229
(subclass Text Artifact)	Merge.kif 15361-15361	子類 Text and Artifact
(subclass Text ContentBearingObject)	Merge.kif 15360-15360	子類 Text and ContentBearingObject
(subclass Text LinguisticExpression)	Merge.kif 15359-15359	子類 Text and LinguisticExpression

appearance as argument number 2

(rangeSubclass DocumentFn Text)	Geography.kif 3013-3013	範圍子類文獻 and Text
(rangeSubclass SeriesVolumeFn Text)	Mid-level-ontology.kif 14619-14619	範圍子類系列卷 and Text
(subclass Article Text)	Mid-level-ontology.kif 14677-14677	子類 Article and Text
(subclass CalendarText Text)	ComputingBrands.kif 2287-2287	子類日曆 and Text
(subclass Certificate Text)	Merge.kif 15633-15633	子類 Certificate and Text
(subclass ChairmanPublication Text)	MilitaryProcesses.kif 1025-1025	子類主席出版物 and Text
(subclass ChristianGospel Text)	Mid-level-ontology.kif 7870-7870	子類基督教福音書 and Text
(subclass Doctrine Text)	MilitaryProcesses.kif 993-993	子類教義 and Text
(subclass FactualText Text)	Merge.kif 15381-15381	子類事實文本 and Text
(subclass FictionalText Text)	Merge.kif 15409-15409	子類虛構的文字 and Text
(subclass FormText Text)	Mid-level-ontology.kif 14485-14485	子類表格文字 and Text
(subclass JointPublication Text)	MilitaryProcesses.kif 921-921	子類聯合出版物 and Text
(subclass Label Text)	Mid-level-ontology.kif 14472-14472	子類標籤 and Text
(subclass LiveTestUpdate Text)	ComputerInput.kif 3012-3012	子類 LiveTestUpdate and Text
(subclass Lyrics Text)	Mid-level-ontology.kif 694-694	子類歌詞 and Text
(subclass MotionPicture Text)	Merge.kif 1392-1392	子類 MotionPicture and Text
(subclass MusicText Text)	Mid-level-ontology.kif 14420-14420	子類音樂文本 and Text
(subclass NarrativeText Text)	Mid-level-ontology.kif 14924-14924	子類敘述文本 and Text
(subclass Paragraph Text)	Mid-level-ontology.kif 705-705	子類段 and Text
(subclass Prescription Text)	Mid-level-ontology.kif 9265-9265	子類 Prescription and Text
(subclass Series Text)	Mid-level-ontology.kif 14645-14645	子類 Series and Text
(subclass Spam Text)	ComputingBrands.kif 4222-4222	子類 Spam and Text
(subclass Summary Text)	Merge.kif 15586-15586	子類 Summary and Text
(subclass TreatyDocument Text)	Geography.kif 3034-3034	子類條約文件 and Text
(termFormat ChineseLanguage Text "文本")	chinese_format.kif 1038-1038

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain registeredItem 1 Text)	Mid-level-ontology.kif 16607-16607	域註冊項目, 1 and Text
(domainSubclass editor 2 Text)	Merge.kif 15477-15477	域子類編輯者, 2 and Text
(domainSubclass publishes 2 Text)	Merge.kif 15487-15487	域子類發布, 2 and Text

antecedent

(=> (and (attribute ?X Writer) (instance ?TEXT ?CLASS) (or (subclass ?CLASS Text) (subclass ?CLASS Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?CLASS))	Biography.kif 730-740	attribute AutonomousAgent and 作家例 Entity and ContentBearingObject 子類 ContentBearingObject and Text 子類 ContentBearingObject and Document 例 Process and Writing agent Process and AutonomousAgent 結果 Process and Entity 作者 AutonomousAgent and ContentBearingObject
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Text)) (holdsDuring ?T1 (attribute ?AGENT InformationIndustries)))	Media.kif 1894-1898	持有期間 TimePosition and 發布 entity and Class 子類 Class and Text 持有期間 TimePosition and attribute entity and 信息產業
(=> (and (instance ?PERSON Human) (instance ?WRITE Writing) (or (instance ?TEXT Text) (instance ?TEXT Document)) (result ?WRITE ?TEXT) (agent ?WRITE ?PERSON)) (attribute ?PERSON Writer))	Biography.kif 742-751	例 AutonomousAgent and Human 例 Process and Writing 例 Entity and Text 例 Entity and Document 結果 Process and Entity agent Process and AutonomousAgent attribute AutonomousAgent and 作家
(=> (and (instance ?TXT Text) (instance ?OBJ Document) (part ?TXT ?OBJ)) (instance ?OBJ TextDocument))	Media.kif 938-943	例 Object and Text 例 Object and Document 部分 Object and Object 例 Object and TextDocument
(=> (instance ?TEXT Text) (exists (?PART) (and (part ?PART ?TEXT) (instance ?PART LinguisticExpression))))	Merge.kif 15367-15372	例 Object and Text Object 部分 Object and Object 例 Object and LinguisticExpression
(=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT))))	Merge.kif 15374-15379	例 Entity and Text Process 例 Process and Writing 結果 Process and Entity

consequent

(=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC))))))	Communications.kif 202-214	目的地 Process and Object 例 Process and 訊息患者 Process and Entity 例 Object and Telex Process Entity 儀器 Process and Object 結果 Process and Entity 代表 Entity and Entity 例 Entity and Text 之前開始何時 Process and 開始何時 Process
(=> (and (instance ?M Memorizing) (patient ?M ?T)) (instance ?T Text))	Mid-level-ontology.kif 18224-18228	例 Process and 記憶患者 Process and Entity 例 Entity and Text
(=> (attribute ?X Writer) (exists (?OBJ ?PROC) (and (instance ?PROC Writing) (or (instance ?OBJ Text) (instance ?OBJ Document)) (agent ?PROC ?X) (result ?PROC ?OBJ))))	Biography.kif 717-726	attribute AutonomousAgent and 作家 Entity Process 例 Process and Writing 例 Entity and Text 例 Entity and Document agent Process and AutonomousAgent 結果 Process and Entity
(=> (instance ?L Library) (exists (?B ?T) (and (possesses ?L ?B) (instance ?B LibraryBuilding) (instance ?T Text) (located ?T ?B))))	Mid-level-ontology.kif 8467-8474	例 AutonomousAgent and 圖書館 Object Physical 擁有 AutonomousAgent and Object 例 Object and LibraryBuilding 例 Physical and Text 位於 Physical and Object
(=> (instance ?OBJ TextDocument) (exists (?TXT) (and (instance ?TXT Text) (component ?TXT ?OBJ))))	Media.kif 931-936	例 CorpuscularObject and TextDocument CorpuscularObject 例 CorpuscularObject and Text 零件 CorpuscularObject and CorpuscularObject
(=> (instance ?PAPER Paper) (modalAttribute (hasPurpose ?PAPER (exists (?TEXT) (and (instance ?TEXT Text) (part ?TEXT ?PAPER)))) Likely))	Mid-level-ontology.kif 3574-3582	例 Entity and 紙模態屬性有目的 Entity and entity 例 entity and Text 部分 entity and Entity and 容易
(=> (instance ?PUB Publication) (exists (?TEXT) (and (instance ?TEXT Text) (patient ?PUB ?TEXT))))	Merge.kif 12854-12859	例 Process and Publication Entity 例 Entity and Text 患者 Process and Entity
(=> (instance ?R Reciting) (exists (?P ?T) (and (realization ?R ?P) (containsInformation ?T ?P) (instance ?T Text))))	Mid-level-ontology.kif 15921-15927	例 Process and 背誦 Proposition 內容承載物理實現 Process and Proposition 包含信息內容承載物理 and Proposition 例內容承載物理 and Text
(=> (instance ?READ Reading) (exists (?TEXT ?PROP) (and (instance ?TEXT Text) (containsInformation ?TEXT ?PROP) (realization ?READ ?PROP))))	Merge.kif 12689-12695	例 Process and Reading 內容承載物理 Proposition 例內容承載物理 and Text 包含信息內容承載物理 and Proposition 實現 Process and Proposition
(=> (instance ?TEXT Summary) (exists (?TEXT2) (and (instance ?TEXT2 Text) (subsumesContentInstance ?TEXT2 ?TEXT))))	Merge.kif 15590-15595	例內容承載物理 and Summary 內容承載物理例內容承載物理 and Text 包含內容實例內容承載物理 and 內容承載物理
(=> (instance ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L))))	Merge.kif 1514-1520	例 Entity and Writing 內容承載物理 Language 例內容承載物理 and Text 例 Language and WrittenHumanLanguage language 內容承載物理 and Language
(=> (instance ?W WrittenCommunication) (exists (?T ?C ?S) (and (result ?W ?T) (instance ?T Text) (part ?C ?T) (instance ?C Character) (instance ?S Script) (member ?C ?S))))	Mid-level-ontology.kif 679-688	例 Process and 書面溝通 Object Object and Collection 結果 Process and Object 例 Object and Text 部分 Object and Object 例 Object and Character 例 Collection and 腳本會員 Object and Collection

statement

(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))

ComputingBrands.kif 3309-3315

有目的 iBookstore and ?D 例 ?D and 下載儀器 ?D and iBookstore 例 ?T and Text objectTransferred ?D and ?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

KB Term:			Term intersection

English Word: