TreeView 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 15421-15424
(externalImage Text "http://upload.wikimedia.org/wikipedia/commons/0/00/ TheFamilyDoctorNov9_1889page170.png")	pictureList.kif 3007-3007
(externalImage Text "http://upload.wikimedia.org/wikipedia/commons/3/39/ ChronicBackache1038.png")	pictureList.kif 3228-3228
(subclass Text Artifact)	Merge.kif 15420-15420	子類 Text and Artifact
(subclass Text ContentBearingObject)	Merge.kif 15419-15419	子類 Text and ContentBearingObject
(subclass Text LinguisticExpression)	Merge.kif 15418-15418	子類 Text and LinguisticExpression

appearance as argument number 2

(rangeSubclass DocumentFn Text)	Geography.kif 3001-3001	範圍子類文獻 and Text
(rangeSubclass SeriesVolumeFn Text)	Mid-level-ontology.kif 14869-14869	範圍子類系列卷 and Text
(subclass Article Text)	Mid-level-ontology.kif 14927-14927	子類 Article and Text
(subclass CalendarText Text)	ComputingBrands.kif 2287-2287	子類日曆 and Text
(subclass Certificate Text)	Merge.kif 15689-15689	子類 Certificate and Text
(subclass ChairmanPublication Text)	MilitaryProcesses.kif 1025-1025	子類主席出版物 and Text
(subclass ChristianGospel Text)	Mid-level-ontology.kif 8088-8088	子類基督教福音書 and Text
(subclass Doctrine Text)	MilitaryProcesses.kif 993-993	子類教義 and Text
(subclass FactualText Text)	Merge.kif 15440-15440	子類事實文本 and Text
(subclass FictionalText Text)	Merge.kif 15468-15468	子類虛構的文字 and Text
(subclass FormText Text)	Mid-level-ontology.kif 14735-14735	子類表格文字 and Text
(subclass JointPublication Text)	MilitaryProcesses.kif 921-921	子類聯合出版物 and Text
(subclass Label Text)	Mid-level-ontology.kif 14722-14722	子類標籤 and Text
(subclass LiveTestUpdate Text)	ComputerInput.kif 3012-3012	子類 LiveTestUpdate and Text
(subclass Lyrics Text)	Mid-level-ontology.kif 687-687	子類歌詞 and Text
(subclass MotionPicture Text)	Merge.kif 1391-1391	子類 MotionPicture and Text
(subclass MusicText Text)	Mid-level-ontology.kif 14670-14670	子類音樂文本 and Text
(subclass NarrativeText Text)	Mid-level-ontology.kif 15174-15174	子類敘述文本 and Text
(subclass Paragraph Text)	Mid-level-ontology.kif 698-698	子類段 and Text
(subclass Prescription Text)	Mid-level-ontology.kif 9483-9483	子類 Prescription and Text
(subclass Series Text)	Mid-level-ontology.kif 14895-14895	子類 Series and Text
(subclass Spam Text)	ComputingBrands.kif 4222-4222	子類 Spam and Text
(subclass Summary Text)	Merge.kif 15642-15642	子類 Summary and Text
(subclass TreatyDocument Text)	Geography.kif 3022-3022	子類條約文件 and Text
(termFormat ChineseLanguage Text "文本")	chinese_format.kif 1038-1038	子類條約文件 and Text

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 16857-16857	域註冊項目, 1 and Text
(domainSubclass editor 2 Text)	Merge.kif 15534-15534	域子類編輯者, 2 and Text
(domainSubclass publishes 2 Text)	Merge.kif 15543-15543	域子類發布, 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 15426-15431	例 Object and Text Object 部分 Object and Object 例 Object and LinguisticExpression
(=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT))))	Merge.kif 15433-15438	例 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 18514-18518	例 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 8685-8692	例 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 3567-3575	例 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 12914-12919	例 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 16171-16177	例 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 12749-12755	例 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 15646-15651	例內容承載物理 and Summary 內容承載物理例內容承載物理 and Text 包含內容實例內容承載物理 and 內容承載物理
(=> (instance ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L))))	Merge.kif 1513-1519	例 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 672-681	例 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: