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 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	テキストはアーチファクトの subclass では %n
(subclass Text ContentBearingObject)	Merge.kif 15382-15382	テキストはコンテンツベアリングオブジェクトの subclass では %n
(subclass Text LinguisticExpression)	Merge.kif 15381-15381	テキストは言語表現の subclass では %n

appearance as argument number 2

(rangeSubclass DocumentFn Text)	Geography.kif 3013-3013	DocumentFn が返す値はテキストの subclasses では %n
(rangeSubclass SeriesVolumeFn Text)	Mid-level-ontology.kif 14618-14618	SeriesVolumeFn が返す値はテキストの subclasses では %n
(subclass Article Text)	Mid-level-ontology.kif 14676-14676	記事はテキストの subclass では %n
(subclass CalendarText Text)	ComputingBrands.kif 2287-2287	カレンダーはテキストの subclass では %n
(subclass Certificate Text)	Merge.kif 15655-15655	証明書はテキストの subclass では %n
(subclass ChairmanPublication Text)	MilitaryProcesses.kif 1025-1025	ChairmanPublication はテキストの subclass では %n
(subclass ChristianGospel Text)	Mid-level-ontology.kif 7869-7869	ChristianGospel はテキストの subclass では %n
(subclass Doctrine Text)	MilitaryProcesses.kif 993-993	Doctrine はテキストの subclass では %n
(subclass FactualText Text)	Merge.kif 15403-15403	FactualText はテキストの subclass では %n
(subclass FictionalText Text)	Merge.kif 15431-15431	FictionalText はテキストの subclass では %n
(subclass FormText Text)	Mid-level-ontology.kif 14484-14484	FormText はテキストの subclass では %n
(subclass JointPublication Text)	MilitaryProcesses.kif 921-921	JointPublication はテキストの subclass では %n
(subclass Label Text)	Mid-level-ontology.kif 14471-14471	Label はテキストの subclass では %n
(subclass LiveTestUpdate Text)	ComputerInput.kif 3012-3012	LiveTestUpdate はテキストの subclass では %n
(subclass Lyrics Text)	Mid-level-ontology.kif 694-694	Lyrics はテキストの subclass では %n
(subclass MotionPicture Text)	Merge.kif 1392-1392	映画はテキストの subclass では %n
(subclass MusicText Text)	Mid-level-ontology.kif 14419-14419	MusicText はテキストの subclass では %n
(subclass NarrativeText Text)	Mid-level-ontology.kif 14923-14923	NarrativeText はテキストの subclass では %n
(subclass Paragraph Text)	Mid-level-ontology.kif 705-705	Paragraph はテキストの subclass では %n
(subclass Prescription Text)	Mid-level-ontology.kif 9264-9264	Prescription はテキストの subclass では %n
(subclass Series Text)	Mid-level-ontology.kif 14644-14644	シリーズはテキストの subclass では %n
(subclass Spam Text)	ComputingBrands.kif 4222-4222	Spam はテキストの subclass では %n
(subclass Summary Text)	Merge.kif 15608-15608	概要はテキストの subclass では %n
(subclass TreatyDocument Text)	Geography.kif 3034-3034	TreatyDocument はテキストの subclass では %n
(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	registeredItem の数値 1 引数はテキストの instance では %n
(domainSubclass editor 2 Text)	Merge.kif 15499-15499	editor の数値 2 引数はテキストのsubclass では %n
(domainSubclass publishes 2 Text)	Merge.kif 15509-15509	publishes の数値 2 引数はテキストのsubclass では %n

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	Writer は AutonomousAgent の attribute では %n エンティティーはコンテンツベアリングオブジェクトの instance では %n コンテンツベアリングオブジェクトはテキストの subclass では %n コンテンツベアリングオブジェクトは Document の subclass では %n 工程は執筆の instance では %n AutonomousAgent は工程の agent では %n エンティティーは工程の result では %n AutonomousAgent はコンテンツベアリングオブジェクトの author では %n
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Text)) (holdsDuring ?T1 (attribute ?AGENT InformationIndustries)))	Media.kif 1894-1898	エンティティーはクラスを publishes %n{ない} は時間位置の during holds %n{ない} クラスはテキストの subclass では %n InformationIndustries はエンティティーの attribute では %n は時間位置の during holds %n{ない}
(=> (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 は人［人間］の instance では %n 工程は執筆の instance では %n エンティティーはテキストの instance では %n エンティティーは Document の instance では %n エンティティーは工程の result では %n AutonomousAgent は工程の agent では %n Writer は AutonomousAgent の attribute では %n
(=> (and (instance ?TXT Text) (instance ?OBJ Document) (part ?TXT ?OBJ)) (instance ?OBJ TextDocument))	Media.kif 938-943	オブジェクトはテキストの instance では %n オブジェクトは Document の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは TextDocument の instance では %n
(=> (instance ?TEXT Text) (exists (?PART) (and (part ?PART ?TEXT) (instance ?PART LinguisticExpression))))	Merge.kif 15389-15394	オブジェクトはテキストの instance では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは言語表現の instance では %n
(=> (instance ?TEXT Text) (exists (?WRITE) (and (instance ?WRITE Writing) (result ?WRITE ?TEXT))))	Merge.kif 15396-15401	エンティティーはテキストの instance では %n 工程工程は執筆の instance では %n エンティティーは工程の result では %n

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	工程はオブジェクトに ends %n{ない} 工程は Messaging の instance では %n エンティティーは工程の patient では %n オブジェクトは Telex の instance では %n 工程エンティティーオブジェクトは工程の instrument では %n エンティティーは工程の result では %n エンティティーはエンティティーを expresses %n{ない} エンティティーはテキストの instance では %n 工程の time の existence の beginning は工程の time の existence の beginning の before に happens %n{ない}
(=> (and (instance ?M Memorizing) (patient ?M ?T)) (instance ?T Text))	Mid-level-ontology.kif 18223-18227	工程は Memorizing の instance では %n エンティティーは工程の patient では %n エンティティーはテキストの instance では %n
(=> (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	Writer は AutonomousAgent の attribute では %n エンティティー工程工程は執筆の instance では %n エンティティーはテキストの instance では %n エンティティーは Document の instance では %n AutonomousAgent は工程の agent では %n エンティティーは工程の result では %n
(=> (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 は Library の instance では %n オブジェクト物理 AutonomousAgent はオブジェクトを possesses %n{ない} オブジェクトは LibraryBuilding の instance では %n 物理はテキストの instance では %n 物理はオブジェクトに located して %n
(=> (instance ?OBJ TextDocument) (exists (?TXT) (and (instance ?TXT Text) (component ?TXT ?OBJ))))	Media.kif 931-936	微粒子オブジェクトは TextDocument の instance では %n 微粒子オブジェクト微粒子オブジェクトはテキストの instance では %n 微粒子オブジェクトは微粒子オブジェクトの component では %n
(=> (instance ?PAPER Paper) (modalAttribute (hasPurpose ?PAPER (exists (?TEXT) (and (instance ?TEXT Text) (part ?TEXT ?PAPER)))) Likely))	Mid-level-ontology.kif 3574-3582	エンティティーは Paper の instance では %n ステートメントエンティティーはエンティティーエンティティーはテキストの instance では %n エンティティーはエンティティーの part では %n の目的 %n{ない} には Likely の modal force がある
(=> (instance ?PUB Publication) (exists (?TEXT) (and (instance ?TEXT Text) (patient ?PUB ?TEXT))))	Merge.kif 12876-12881	工程は出版の instance では %n エンティティーエンティティーはテキストの instance では %n エンティティーは工程の patient では %n
(=> (instance ?R Reciting) (exists (?P ?T) (and (realization ?R ?P) (containsInformation ?T ?P) (instance ?T Text))))	Mid-level-ontology.kif 15920-15926	工程は Reciting の instance では %n 命題 ContentBearingPhysical 工程は命題の内容を expresses %n{ない} ContentBearingPhysical は命題の情報を contains %n{ない} ContentBearingPhysical はテキストの instance では %n
(=> (instance ?READ Reading) (exists (?TEXT ?PROP) (and (instance ?TEXT Text) (containsInformation ?TEXT ?PROP) (realization ?READ ?PROP))))	Merge.kif 12711-12717	工程は読みの instance では %n ContentBearingPhysical 命題 ContentBearingPhysical はテキストの instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} 工程は命題の内容を expresses %n{ない}
(=> (instance ?TEXT Summary) (exists (?TEXT2) (and (instance ?TEXT2 Text) (subsumesContentInstance ?TEXT2 ?TEXT))))	Merge.kif 15612-15617	ContentBearingPhysical は概要の instance では %n ContentBearingPhysical2 ContentBearingPhysical2 はテキストの instance では %n ContentBearingPhysical2 は ContentBearingPhysical のコンテンツを subsumes %n{ない}
(=> (instance ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L))))	Merge.kif 1514-1520	エンティティーは執筆の instance では %n ContentBearingPhysical 言語 ContentBearingPhysical はテキストの instance では %n 言語は WrittenHumanLanguage の instance では %n language ContentBearingPhysical and 言語
(=> (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	工程は WrittenCommunication の instance では %n オブジェクトオブジェクト and コレクションオブジェクトは工程の result では %n オブジェクトはテキストの instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはキャラクターの instance では %n コレクションは Script の instance では %n オブジェクトはコレクションの member では %n

statement

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

ComputingBrands.kif 3309-3315

IBookstore は ?D ?D は DownloadingOverNetwork の instance では %n iBookstore は ?D の instrument では %n ?T はテキストの instance では %n objectTransferred ?D and ?T の目的 %n{ない}

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: