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 4455-4461
(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 4452-4452	域代表, 1 and Entity
(domain represents 2 Entity)	Merge.kif 4453-4453	域代表, 2 and Entity
(instance represents BinaryPredicate)	Merge.kif 4451-4451	例代表 and BinaryPredicate
(subrelation represents refers)	Merge.kif 4450-4450	子關係代表 and 參照

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 6113-6113	子關係 abstractCounterpart and 代表
(subrelation anthem represents)	Music.kif 349-349	子關係 anthem and 代表
(subrelation cardCode represents)	FinancialOntology.kif 3498-3498	子關係卡代碼 and 代表
(subrelation conforms represents)	Mid-level-ontology.kif 26840-26840	子關係 conforms and 代表
(subrelation containsInformation represents)	Merge.kif 1356-1356	子關係包含信息 and 代表
(subrelation hardwareType represents)	QoSontology.kif 1020-1020	子關係硬件類型 and 代表
(subrelation implementsProtocol represents)	ComputingBrands.kif 4050-4050	子關係 implementsProtocol and 代表
(subrelation pin represents)	FinancialOntology.kif 3537-3537	子關係銷 and 代表
(subrelation productBrand represents)	Hotel.kif 1301-1301	子關係 productBrand and 代表
(subrelation productModel represents)	QoSontology.kif 14-14	子關係產品型號 and 代表
(subrelation realization represents)	Merge.kif 4595-4595	子關係實現 and 代表
(subrelation record represents)	Mid-level-ontology.kif 14294-14294	子關係 record and 代表
(termFormat ChineseLanguage represents "代表")	domainEnglishFormat.kif 49544-49544

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 3001-3009	例 Entity and 國際協議例 Process and Committing 代表 Process and Entity AutonomousAgent agent Process and AutonomousAgent 例 AutonomousAgent and Nation
(=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ AutonomousAgent) (instance ?OBJ Product)))	Media.kif 895-901	例 Entity and Logo 代表 Entity and Entity 例 Entity and AutonomousAgent 例 Entity and Product
(=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB))	MilitaryProcesses.kif 1794-1800	例 Entity and OPLAN 代表 Entity and Process 例 Process and 軍事行動子過程 ProcessSUB and Process 代表 Entity and ProcessSUB
(=> (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	例 Proposition and Plan 例 Physical and Process 代表 Proposition and Physical PropositionNING 內容承載物理例 PropositionNING and Planning 例內容承載物理 and 內容承載物理包含信息內容承載物理 and Proposition 結果 PropositionNING and 內容承載物理早期開始何時 PropositionNING and 開始何時 Physical 早期結束何時 PropositionNING and 結束何時 Physical
(=> (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 2434-2443	例 Entity and SearchQuery 例 Process and SearchAttempt 代表 Entity and Process AutonomousAgent Entity 例 AutonomousAgent and AutonomousAgent 患者 Process and Entity agent Process and AutonomousAgent

consequent

(=> (albumCoverImage ?A ?I) (represents ?I ?A))	Music.kif 312-314	Image 是在 Album 的 image 代表 Image and Album
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 531-537	RealNumber 是在試驗 confidence 例試驗 and 試驗例 Formula and Formula 患者試驗 and Formula 代表 RealNumber and 可能性 Formula
(=> (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 ?CM AirlineCodeMap) (codeMapping ?CM ?STR ?AIR)) (and (instance ?AIR Airline) (represents ?STR ?AIR)))	Transportation.kif 3135-3141	例 CodeMap and AirlineCodeMap SymbolicString 在 CodeMap denotes Entity 例 Entity and Airline 代表 SymbolicString and Entity
(=> (and (instance ?EXPRESS Expressing) (agent ?EXPRESS ?AGENT)) (exists (?STATE) (and (instance ?STATE StateOfMind) (attribute ?AGENT ?STATE) (represents ?EXPRESS ?STATE))))	Merge.kif 13086-13094	例 Process and Expressing agent Process and AutonomousAgent Attribute 例 Attribute and StateOfMind attribute AutonomousAgent and Attribute 代表 Process and Attribute
(=> (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	例 Object and DigitalDataStorageDevice 部分 SymbolicString and Object 例 SymbolicString and 數字數據 CodeMap List and Entity SymbolicString 在 CodeMap denotes Entity 代表 List and CodeMap 在列表中 Entity and List 例 Entity and BinaryNumber
(=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB))	MilitaryProcesses.kif 1794-1800	例 Entity and OPLAN 代表 Entity and Process 例 Process and 軍事行動子過程 ProcessSUB and Process 代表 Entity and ProcessSUB
(=> (and (instance ?PLAN OperationPlan) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PLAN) (instance ?OP MilitaryOperation) (result ?OP ?CBO)) (represents ?PLAN ?OP))	MilitaryProcesses.kif 1573-1580	例 Proposition and 運作計劃例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition 例 Process and 軍事行動結果 Process and 內容承載物理代表 Proposition and Process
(=> (and (instance ?PROP Proposition) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PROP) (instance ?COMM Communication) (patient ?COMM ?CBO)) (represents ?COMM ?PROP))	Geography.kif 3025-3032	例 Proposition and Proposition 例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition 例 Process and Communication 患者 Process and 內容承載物理代表 Process and Proposition
(=> (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 250-264	例內容承載物理 and 出生證明例 Process and Birth 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and entity entity and entity entity 是 AutonomousAgent 的 birthdate 例 entity and Day entity 是 AutonomousAgent 的 birthplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name
(=> (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 280-296	例內容承載物理 and DeathCertificate 例 Process and Death 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and ProcessAY entity, entity and entityROC ProcessAY 是 AutonomousAgent 的 deathdate 例 ProcessAY and Day entity 是 AutonomousAgent 的 deathplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name 原因 entityROC and Process 例 entityROC and Process
(=> (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 26890-26916	例 Physical and SurveillanceSystem 會員 Physical and Collection 會員 Physical and Collection 位於 Collection and Object 例 Collection and 相機位於 Collection and Object 等於 Object and Object 例 Collection and VideoDisplay 有目的 Physical and entity entity, entity and entity 例 entity and Process entity 是 located 在 Object 代表 entity and entity 儀器 entity and 相機結果 entity and entity 例 entity and RadiatingLight 儀器 entity and Collection 患者 entity and entity 之前開始 entity and 開始 entity 之前開始 entity and 開始 entity
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?VALUE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 569-575	試驗的 p-value 是 RealNumber 例試驗 and 試驗例 Formula and Formula 患者試驗 and Formula 代表 RealNumber and 可能性 Formula
(=> (and (userIDString ?STRING ?ACCOUNT) (hasAccount ?USER ?ACCOUNT)) (represents ?STRING ?USER))	UXExperimentalTerms.kif 1099-1103	對於用戶帳號的 ID 是 Identifier AutonomousAgent 有 account 用戶帳號代表 Identifier and AutonomousAgent
(=> (attribute ?ROOM ThemeRoom) (exists (?DESIGN ?PROP) (and (instance ?DESIGN Designing) (result ?DESIGN ?PROP) (represents ?ROOM ?PROP))))	Hotel.kif 1088-1094	attribute Object and ThemeRoom Process Entity 例 Process and 設計結果 Process and Entity 代表 Object and Entity
(=> (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 436-465	attribute AutonomousAgent and 航空工程師 Process 有技巧 Process and AutonomousAgent Process 例 Process and Process Process Entity and ProcessT 例 Process and Making 例 Entity and 飛機例 Entity and ProcessT ProcessT typically 是飛機的 part 結果 Process and Entity 子過程 Process and Process Process ProcessLAN, Entity and ProcessT 例 Process and 設計例 Entity and 飛機例 Entity and ProcessT ProcessT typically 是飛機的 part 結果 Process and ProcessLAN 代表 ProcessLAN and Entity 子過程 Process and Process
(=> (brandIcon ?BRAND ?ICON) (exists (?AGENT) (and (managedBy ?BRAND ?AGENT) (managedBy ?ICON ?AGENT) (represents ?ICON ?BRAND))))	Hotel.kif 1319-1325	Icon 是 Brand 的 icon AutonomousAgent Brand 是由 AutonomousAgent managed Icon 是由 AutonomousAgent managed 代表 Icon and Brand
(=> (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	Identifier 是 WebBrowser 的 ID 當取用 WebSite SymbolicString Process, AutonomousAgent and 電腦程序例 SymbolicString and WebPage SymbolicString 是 WebSite 的 sub-string 例 Process and AccessingWebPage 例 AutonomousAgent and AutonomousAgent agent Process and AutonomousAgent WebBrowser 是電腦程序的執行 program 原因電腦程序 and Process 目的地 Process and SymbolicString 代表 Identifier and AutonomousAgent
(=> (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 790-800	Region 有對於 Integer 的 capacity 根據 Proposition 代表 Region and Proposition 模態屬性 entity entity 例 entity and 一群人 entity 是 entity 的 member 計數小於或等於 entity and Integer 位於 entity and Region and 可能性
(=> (categoryID ?STRING ?CAT) (represents ?STRING ?USER))	UXExperimentalTerms.kif 171-173	Identifier 是對於 WebListingCategory 的 ID 代表 Identifier and Entity
(=> (codeMapping ?MAP ?TOKEN ?X) (represents ?TOKEN ?X))	Media.kif 2272-2274	SymbolicString 在 CodeMap denotes Entity 代表 SymbolicString and Entity
(=> (contestParticipantRepresentation ?CONT ?AGENT ?OBJ) (holdsDuring (WhenFn ?CONT) (represents ?AGENT ?OBJ)))	Music.kif 1109-1113	CognitiveAgent represents Object 在 Contest 持有期間何時 Contest and 代表 CognitiveAgent and Object
(=> (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 LegalAction and Physical 爭論 PhysicalROP 例 PhysicalROP and Proposition 例爭論 and 爭論參照爭論 and LegalAction 代表 PhysicalROP and Physical PhysicalROP 是爭論的 premise
(=> (experimentID ?STRING ?EXP) (represents ?STRING ?USER))	UXExperimentalTerms.kif 4032-4034	試驗的 ID 是 Identifier 代表 Identifier and Entity
(=> (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 21132-21141	建築有在 Human 的專業知識 Process Entity and Entity 例 Process and ContentDevelopment agent Process and Human 結果 Process and Entity 例 Entity and 藍圖代表 Entity and Entity 例 Entity and Building

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 851-851	代表電阻元件 and 消減器
(represents ResistorElement ElectricalTwopole)	engineering.kif 852-852	代表電阻元件 and 電氣雙極

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: