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 15384-15387
(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 15383-15383	子類 Text and Artifact
(subclass Text ContentBearingObject)	Merge.kif 15382-15382	子類 Text and ContentBearingObject
(subclass Text LinguisticExpression)	Merge.kif 15381-15381	子類 Text and LinguisticExpression

appearance as argument number 2

(rangeSubclass DocumentFn Text)	Geography.kif 3013-3013	範圍子類文獻 and Text
(rangeSubclass SeriesVolumeFn Text)	Mid-level-ontology.kif 14618-14618	範圍子類系列卷 and Text
(subclass Article Text)	Mid-level-ontology.kif 14676-14676	子類 Article and Text
(subclass CalendarText Text)	ComputingBrands.kif 2287-2287	子類日曆 and Text
(subclass Certificate Text)	Merge.kif 15655-15655	子類 Certificate and Text
(subclass ChairmanPublication Text)	MilitaryProcesses.kif 1025-1025	子類主席出版物 and Text
(subclass ChristianGospel Text)	Mid-level-ontology.kif 7869-7869	子類基督教福音書 and Text
(subclass Doctrine Text)	MilitaryProcesses.kif 993-993	子類教義 and Text
(subclass FactualText Text)	Merge.kif 15403-15403	子類事實文本 and Text
(subclass FictionalText Text)	Merge.kif 15431-15431	子類虛構的文字 and Text
(subclass FormText Text)	Mid-level-ontology.kif 14484-14484	子類表格文字 and Text
(subclass JointPublication Text)	MilitaryProcesses.kif 921-921	子類聯合出版物 and Text
(subclass Label Text)	Mid-level-ontology.kif 14471-14471	子類標籤 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 14419-14419	子類音樂文本 and Text
(subclass NarrativeText Text)	Mid-level-ontology.kif 14923-14923	子類敘述文本 and Text
(subclass Paragraph Text)	Mid-level-ontology.kif 705-705	子類段 and Text
(subclass Prescription Text)	Mid-level-ontology.kif 9264-9264	子類 Prescription and Text
(subclass Series Text)	Mid-level-ontology.kif 14644-14644	子類 Series and Text
(subclass Spam Text)	ComputingBrands.kif 4222-4222	子類 Spam and Text
(subclass Summary Text)	Merge.kif 15608-15608	子類 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 16606-16606	域註冊項目, 1 and Text
(domainSubclass editor 2 Text)	Merge.kif 15499-15499	域子類編輯者, 2 and Text
(domainSubclass publishes 2 Text)	Merge.kif 15509-15509	域子類發布, 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 15389-15394	例 Object and Text Object 部分 Object and Object 例 Object and LinguisticExpression
(=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT))))	Merge.kif 15396-15401	例 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 18223-18227	例 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 8466-8473	例 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 12876-12881	例 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 15920-15926	例 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 12711-12717	例 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 15612-15617	例內容承載物理 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: