represents - Sigma Knowledge base Browser

appearance as argument number 1

(documentation represents ChineseLanguage "这是一个十分概括的符号 Predicate， (represents ?THING ?ENTITY) 的意思是 ?THING 在某些方面表示、表意味、想象和形容 ?ENTITY等等。 Predicate containsInformation 和 realization 是 represents 的子关系。注： represents 是 refers 的子关系，因为只有当一样东西在引用另一样东西时，才能描述这件东西。可参考 names 的文档字符串。")	chinese_format.kif 2164-2168
(documentation represents EnglishLanguage "A very general semiotics Predicate. (represents ?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY. The Predicates containsInformation and realization are subrelations of represents. Note that represents is a subrelation of refers, since something can represent something else only if it refers to this other thing. See the documentation string for names.")	Merge.kif 4468-4474
(documentation represents JapaneseLanguage "非常に一般的な記号論 Predicate。 (represents ?THING ?ENTITY) とは、?THING が何らかの方法で?ENTITYに対して示し、表現、意味、描写、記述などすることを意味する。　Predicates containsInformation と　realization は represents の　サブリファリレーションである。注：represents は、refers の　サブリレーションである。それがこの他のものを参照している場合にのみ何かが他のものを表すことができるのからである。names のドキュメント文字列を参照。")	japanese_format.kif 823-828
(domain represents 1 Entity)	Merge.kif 4465-4465	represents の数値 1 引数はエンティティーの instance では %n
(domain represents 2 Entity)	Merge.kif 4466-4466	represents の数値 2 引数はエンティティーの instance では %n
(instance represents BinaryPredicate)	Merge.kif 4464-4464	represents は 2進述語の instance では %n
(subrelation represents refers)	Merge.kif 4463-4463	represents は refers の subrelation では %n

appearance as argument number 2

(format ChineseLanguage represents "%1 %n{doesn't} 表达 %2")	chinese_format.kif 227-227
(format EnglishLanguage represents "%1 %n{doesn't} express%p{es} %2")	english_format.kif 228-228
(format FrenchLanguage represents "%1 %n{ne} d�finie %n{pas} %2")	french_format.kif 133-133
(format ItalianLanguage represents "%1 esprime %2")	relations-it.txt 253-253
(format JapaneseLanguage represents "%1 は %2 を express%p{es} %n{ない}")	japanese_format.kif 1962-1962
(format PortugueseLanguage represents "%1 %n{nao} define %n %2")	portuguese_format.kif 85-85
(format de represents "%1 drueckt %2 aus")	relations-de.txt 296-296
(format hi represents "%1 %2 ko abhivyakta karataa hai")	relations-hindi.txt 290-290
(format ro represents "%1 %n{nu} express%t{reprezinã} %2")	relations-ro.kif 152-152
(format sv represents "%1 uttrycker %n{inte} %2")	relations-sv.txt 138-138
(format tg represents "%1 ay nagtatanto %2")	relations-tg.txt 445-445
(subrelation abstractCounterpart represents)	Merge.kif 6123-6123	abstractCounterpart は represents の subrelation では %n
(subrelation anthem represents)	Music.kif 351-351	anthem は represents の subrelation では %n
(subrelation cardCode represents)	FinancialOntology.kif 3516-3516	cardCode は represents の subrelation では %n
(subrelation conforms represents)	Mid-level-ontology.kif 28824-28824	conforms は represents の subrelation では %n
(subrelation containsInformation represents)	Merge.kif 1351-1351	containsInformation は represents の subrelation では %n
(subrelation hardwareType represents)	QoSontology.kif 1129-1129	hardwareType は represents の subrelation では %n
(subrelation implementsProtocol represents)	ComputingBrands.kif 4045-4045	implementsProtocol は represents の subrelation では %n
(subrelation pin represents)	FinancialOntology.kif 3555-3555	pin は represents の subrelation では %n
(subrelation productBrand represents)	Hotel.kif 1309-1309	productBrand は represents の subrelation では %n
(subrelation productModel represents)	QoSontology.kif 14-14	productModel は represents の subrelation では %n
(subrelation realization represents)	Merge.kif 4608-4608	realization は represents の subrelation では %n
(subrelation record represents)	Mid-level-ontology.kif 15693-15693	record は represents の subrelation では %n
(termFormat ChineseLanguage represents "代表")	domainEnglishFormat.kif 49536-49536	record は represents の subrelation では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation))))	Geography.kif 2989-2997	エンティティーは InternationalAgreement の instance では %n 工程は委託の instance では %n 工程はエンティティーを expresses %n{ない} AutonomousAgent AutonomousAgent は工程の agent では %n AutonomousAgent は国民の instance では %n
(=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ AutonomousAgent) (instance ?OBJ Product)))	Media.kif 895-901	エンティティーは Logo の instance では %n エンティティーはエンティティーを expresses %n{ない} エンティティーは AutonomousAgent の instance では %n エンティティーは製品の instance では %n
(=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB))	MilitaryProcesses.kif 1794-1800	エンティティーは OPLAN の instance では %n エンティティーは工程を expresses %n{ない} 工程は MilitaryOperation の instance では %n 工程SUB は工程% の subprocess では %n エンティティーは工程SUB を expresses %n{ない}
(=> (and (instance ?PLAN Plan) (instance ?PROC Process) (represents ?PLAN ?PROC)) (exists (?PLANNING ?CBO) (and (instance ?PLANNING Planning) (instance ?CBO ContentBearingPhysical) (containsInformation ?CBO ?PLAN) (result ?PLANNING ?CBO) (earlier (BeginFn (WhenFn ?PLANNING)) (BeginFn (WhenFn ?PROC))) (earlier (EndFn (WhenFn ?PLANNING)) (EndFn (WhenFn ?PROC))))))	Military.kif 32-44	命題は計画の instance では %n 物理は工程の instance では %n 命題は物理を expresses %n{ない} 命題NING ContentBearingPhysical 命題NING は計画の instance では %n ContentBearingPhysical は ContentBearingPhysical の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} ContentBearingPhysical は命題NING の result では %n 命題NING の time の existence の beginning は物理の time の existence の beginning より earlier happens %n{ない} 命題NING の time の existence の end は物理の time の existence の end より earlier happens %n{ない}
(=> (and (instance ?QUERY SearchQuery) (instance ?SEARCHATTEMPT SearchAttempt) (represents ?QUERY ?SEARCHATTEMPT)) (exists (?AGENT ?OBJ) (and (instance ?AGENT AutonomousAgent) (patient ?SEARCHATTEMPT ?OBJ) (agent ?SEARCHATTEMPT ?AGENT))))	UXExperimentalTerms.kif 2426-2435	エンティティーは SearchQuery の instance では %n 工程は SearchAttempt の instance では %n エンティティーは工程を expresses %n{ない} AutonomousAgent エンティティー AutonomousAgent は AutonomousAgent の instance では %n エンティティーは工程の patient では %n AutonomousAgent は工程の agent では %n

consequent

(=> (albumCoverImage ?A ?I) (represents ?I ?A))	Music.kif 312-314	albumCoverImage Album and Image Image は Album を expresses %n{ない}
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 531-537	confidenceInterval Experimenting and 実数 Experimenting は Experimenting の instance では %n 公式は公式の instance では %n 公式は Experimenting の patient では %n 実数は公式の probability を expresses %n{ない}
(=> (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 ?CM AirlineCodeMap) (codeMapping ?CM ?STR ?AIR)) (and (instance ?AIR Airline) (represents ?STR ?AIR)))	Transportation.kif 4039-4045	CodeMap は AirlineCodeMap の instance では %n codeMapping CodeMap, 記号文字列 and エンティティーエンティティーは Airline の instance では %n 記号文字列はエンティティーを expresses %n{ない}
(=> (and (instance ?EXPRESS Expressing) (agent ?EXPRESS ?AGENT)) (exists (?STATE) (and (instance ?STATE StateOfMind) (attribute ?AGENT ?STATE) (represents ?EXPRESS ?STATE))))	Merge.kif 13255-13263	工程は表現の instance では %n AutonomousAgent は工程の agent では %n 属性属性は精神状態の instance では %n 属性は AutonomousAgent の attribute では %n 工程は属性を expresses %n{ない}
(=> (and (instance ?OBJ DigitalDataStorageDevice) (part ?PART ?OBJ) (instance ?PART DigitalData)) (exists (?SCHEME ?LIST ?NUM) (and (codeMapping ?SCHEME ?PART ?NUM) (represents ?LIST ?SCHEME) (=> (inList ?NUM ?LIST) (instance ?NUM BinaryNumber)))))	Media.kif 801-812	オブジェクトは DigitalDataStorageDevice の instance では %n 記号文字列はオブジェクトの part では %n 記号文字列は DigitalData の instance では %n CodeMap リスト and エンティティー codeMapping CodeMap, 記号文字列 and エンティティーリストは CodeMap を expresses %n{ない} エンティティーはリストの member では %n エンティティーは 2進数の instance では %n
(=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB))	MilitaryProcesses.kif 1794-1800	エンティティーは OPLAN の instance では %n エンティティーは工程を expresses %n{ない} 工程は MilitaryOperation の instance では %n 工程SUB は工程% の subprocess では %n エンティティーは工程SUB を expresses %n{ない}
(=> (and (instance ?PLAN OperationPlan) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PLAN) (instance ?OP MilitaryOperation) (result ?OP ?CBO)) (represents ?PLAN ?OP))	MilitaryProcesses.kif 1573-1580	命題は OperationPlan の instance では %n ContentBearingPhysical はコンテンツベアリングオブジェクトの instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} 工程は MilitaryOperation の instance では %n ContentBearingPhysical は工程の result では %n 命題は工程を expresses %n{ない}
(=> (and (instance ?PROP Proposition) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PROP) (instance ?COMM Communication) (patient ?COMM ?CBO)) (represents ?COMM ?PROP))	Geography.kif 3013-3020	命題は命題の instance では %n ContentBearingPhysical はコンテンツベアリングオブジェクトの instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} 工程はコミュニケーションの instance では %n ContentBearingPhysical は工程の patient では %n 工程は命題を expresses %n{ない}
(=> (and (instance ?TEXT BirthCertificate) (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N) (and (birthdate ?A ?DAY) (instance ?DAY Day) (birthplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name)))))	Biography.kif 256-270	ContentBearingPhysical は BirthCertificate の instance では %n 工程は出生の instance では %n AutonomousAgent は人［人間］の instance では %n AutonomousAgent が工程を experiences %n{ない} containsFormula ContentBearingPhysical and エンティティーエンティティー and エンティティー birthdate AutonomousAgent and エンティティーエンティティーは日の instance では %n birthplace AutonomousAgent and エンティティーエンティティーは地理的地域の instance では %n エンティティーは AutonomousAgent を expresses %n{ない} エンティティーは Name の instance では %n
(=> (and (instance ?TEXT DeathCertificate) (instance ?D Death) (instance ?A Human) (experiencer ?D ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N ?PROC) (and (deathdate ?A ?DAY) (instance ?DAY Day) (deathplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name) (causes ?PROC ?D) (instance ?PROC Process)))))	Biography.kif 287-303	ContentBearingPhysical は DeathCertificate の instance では %n 工程は死の instance では %n AutonomousAgent は人［人間］の instance では %n AutonomousAgent が工程を experiences %n{ない} containsFormula ContentBearingPhysical and 工程AY エンティティー, エンティティー and エンティティーROC deathdate AutonomousAgent and 工程AY 工程AY は日の instance では %n deathplace AutonomousAgent and エンティティーエンティティーは地理的地域の instance では %n エンティティーは AutonomousAgent を expresses %n{ない} エンティティーは Name の instance では %n エンティティーROC は工程を causes %n{ない} エンティティーROC は工程の instance では %n
(=> (and (instance ?X SurveillanceSystem) (member ?X ?VIDEO) (member ?X ?DISPLAY) (located ?VIDEO ?LOC1) (instance ?VIDEO Camera) (located ?DISPLAY ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?DISPLAY VideoDisplay)) (hasPurpose ?X (exists (?PROC ?VID ?RL ?CAPTURE) (and (instance ?PROC Process) (eventLocated ?PROC ?LOC1) (represents ?VID ?PROC) (instrument ?CAPTURE Camera) (result ?CAPTURE ?VID) (instance ?RL RadiatingLight) (instrument ?RL ?DISPLAY) (patient ?RL ?VID) (before (BeginFn ?PROC) (BeginFn ?CAPTURE)) (before (BeginFn ?CAPTURE) (BeginFn ?RL))))))	Mid-level-ontology.kif 28874-28900	物理は SurveillanceSystem の instance では %n 物理はコレクションの member では %n 物理はコレクションの member では %n コレクションはオブジェクトに located して %n コレクションは Camera の instance では %n コレクションはオブジェクトに located して %n オブジェクトはオブジェクトと equal ではコレクションは VideoDisplay の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは工程の instance では %n eventLocated エンティティー and オブジェクトエンティティーはエンティティーを expresses %n{ない} Camera はエンティティーの instrument では %n エンティティーはエンティティーの result では %n エンティティーは放射光の instance では %n コレクションはエンティティーの instrument では %n エンティティーはエンティティーの patient では %n エンティティーの beginning はエンティティーの beginning の before に happens %n{ない} エンティティーの beginning はエンティティーの beginning の before に happens %n{ない} の目的 %n{ない}
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?VALUE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 569-575	pValue Experimenting and 実数 Experimenting は Experimenting の instance では %n 公式は公式の instance では %n 公式は Experimenting の patient では %n 実数は公式の probability を expresses %n{ない}
(=> (and (userIDString ?STRING ?ACCOUNT) (hasAccount ?USER ?ACCOUNT)) (represents ?STRING ?USER))	UXExperimentalTerms.kif 1099-1103	userIDString Identifier and UserAccount hasAccount AutonomousAgent and UserAccount Identifier は AutonomousAgent を expresses %n{ない}
(=> (attribute ?ROOM ThemeRoom) (exists (?DESIGN ?PROP) (and (instance ?DESIGN Designing) (result ?DESIGN ?PROP) (represents ?ROOM ?PROP))))	Hotel.kif 1096-1102	ThemeRoom はオブジェクトの attribute では %n 工程エンティティー工程は Designing の instance では %n エンティティーは工程の result では %n オブジェクトはエンティティーを expresses %n{ない}
(=> (attribute ?X AeronauticalEngineer) (exists (?SKILL) (and (hasSkill ?SKILL ?X) (forall (?P) (=> (instance ?P ?SKILL) (or (exists (?CONS ?OBJ ?PT) (and (instance ?CONS Making) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?CONS ?OBJ) (subProcess ?P ?CONS))) (exists (?DESIGN ?PLAN ?OBJ ?PT) (and (instance ?DESIGN Designing) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?DESIGN ?PLAN) (represents ?PLAN ?OBJ) (subProcess ?P ?DESIGN)))))))))	Biography.kif 444-473	AeronauticalEngineer は AutonomousAgent の attribute では %n 工程 AutonomousAgent は工程をする skill が %n{ない} 工程工程は工程の instance では %n 工程エンティティー and 工程T 工程は作るの instance では %n エンティティーは Aircraft の instance では %n エンティティーは工程T の instance では %n typicalPart 工程T and Aircraft エンティティーは工程の result では %n 工程は工程% の subprocess では %n 工程工程LAN, エンティティー and 工程T 工程は Designing の instance では %n エンティティーは Aircraft の instance では %n エンティティーは工程T の instance では %n typicalPart 工程T and Aircraft 工程LAN は工程の result では %n 工程LAN はエンティティーを expresses %n{ない} 工程は工程% の subprocess では %n
(=> (brandIcon ?BRAND ?ICON) (exists (?AGENT) (and (managedBy ?BRAND ?AGENT) (managedBy ?ICON ?AGENT) (represents ?ICON ?BRAND))))	Hotel.kif 1330-1336	brandIcon Brand and アイコン AutonomousAgent managedBy Brand and AutonomousAgent managedBy アイコン and AutonomousAgent アイコンは Brand を expresses %n{ない}
(=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC) (and (instance ?WEBPAGE WebPage) (subString ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?ACCESSING ?AGENT) (programRunning ?BPROC ?BROWSER) (causes ?BPROC ?ACCESSING) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT))))	UXExperimentalTerms.kif 736-748	browserID Identifier, WebBrowser and WebSite 記号文字列工程, AutonomousAgent and ComputerProcess 記号文字列は WebPage の instance では %n subString 記号文字列 and WebSite 工程は AccessingWebPage の instance では %n AutonomousAgent は AutonomousAgent の instance では %n AutonomousAgent は工程の agent では %n programRunning ComputerProcess and WebBrowser ComputerProcess は工程を causes %n{ない} 工程は記号文字列に ends %n{ない} Identifier は AutonomousAgent を expresses %n{ない}
(=> (capacityByArrangement ?AREA ?PROP ?INT) (=> (represents ?AREA ?PROP) (modalAttribute (exists (?GRP ?PPL) (and (instance ?GRP GroupOfPeople) (memberCount ?GRP ?PPL) (lessThanOrEqualTo ?PPL ?INT) (located ?GRP ?AREA))) Possibility)))	Hotel.kif 794-804	capacityByArrangement 地域, 命題 and 整数地域は命題を expresses %n{ない} ステートメントエンティティーエンティティーエンティティーは GroupOfPeople の instance では %n memberCount エンティティー and エンティティーエンティティーは整数より less または同等では %n エンティティーは地域に located して %n には Possibility の modal force がある
(=> (categoryID ?STRING ?CAT) (represents ?STRING ?USER))	UXExperimentalTerms.kif 171-173	categoryID Identifier and WebListingCategory Identifier はエンティティーを expresses %n{ない}
(=> (codeMapping ?MAP ?TOKEN ?X) (represents ?TOKEN ?X))	Media.kif 2274-2276	codeMapping CodeMap, 記号文字列 and エンティティー記号文字列はエンティティーを expresses %n{ない}
(=> (contestParticipantRepresentation ?CONT ?AGENT ?OBJ) (holdsDuring (WhenFn ?CONT) (represents ?AGENT ?OBJ)))	Music.kif 1111-1115	contestParticipantRepresentation コンテスト, 認識エージェント and オブジェクト認識エージェントはオブジェクトを expresses %n{ない} はコンテストの time の existence の during holds %n{ない}
(=> (evidence ?LA ?P) (exists (?A ?PROP) (and (instance ?PROP Proposition) (instance ?A Argument) (refers ?A ?LA) (represents ?PROP ?P) (premise ?A ?PROP))))	Law.kif 180-188	evidence 訴訟 and 物理 Argument 物理ROP 物理ROP は命題の instance では %n Argument は Argument の instance では %n Argument は訴訟への reference を includes %n{ない} 物理ROP は物理を expresses %n{ない} premise Argument and 物理ROP
(=> (experimentID ?STRING ?EXP) (represents ?STRING ?USER))	UXExperimentalTerms.kif 4024-4026	experimentID Identifier and Experimenting Identifier はエンティティーを expresses %n{ない}
(=> (hasExpertise ?H Architecture) (exists (?D ?P ?B) (and (instance ?D ContentDevelopment) (agent ?D ?H) (result ?D ?P) (instance ?P Blueprint) (represents ?P ?B) (instance ?B Building))))	Mid-level-ontology.kif 22800-22809	hasExpertise 人［人間］ and Architecture 工程エンティティー and エンティティー工程はコンテンツ開発の instance では %n 人［人間］は工程の agent では %n エンティティーは工程の result では %n エンティティーは Blueprint の instance では %n エンティティーはエンティティーを expresses %n{ない} エンティティーは建物の instance では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

(represents ResistorElement Dissipator)	engineering.kif 1163-1163	ResistorElement は Dissipator を expresses %n{ない}
(represents ResistorElement ElectricalTwopole)	engineering.kif 1164-1164	ResistorElement は ElectricalTwopole を expresses %n{ない}

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: