TreeView 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	The number 1 argument of represents is an instance of entity
(domain represents 2 Entity)	Merge.kif 4453-4453	The number 2 argument of represents is an instance of entity
(instance represents BinaryPredicate)	Merge.kif 4451-4451	represents is an instance of binary predicate
(subrelation represents refers)	Merge.kif 4450-4450	represents is a subrelation of refers

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	abstract counterpart is a subrelation of represents
(subrelation anthem represents)	Music.kif 349-349	anthem is a subrelation of represents
(subrelation cardCode represents)	FinancialOntology.kif 3498-3498	card code is a subrelation of represents
(subrelation conforms represents)	Mid-level-ontology.kif 26840-26840	conforms is a subrelation of represents
(subrelation containsInformation represents)	Merge.kif 1356-1356	contains information is a subrelation of represents
(subrelation hardwareType represents)	QoSontology.kif 1020-1020	hardware type is a subrelation of represents
(subrelation implementsProtocol represents)	ComputingBrands.kif 4050-4050	implements protocol is a subrelation of represents
(subrelation pin represents)	FinancialOntology.kif 3537-3537	pin is a subrelation of represents
(subrelation productBrand represents)	Hotel.kif 1301-1301	product brand is a subrelation of represents
(subrelation productModel represents)	QoSontology.kif 14-14	product model is a subrelation of represents
(subrelation realization represents)	Merge.kif 4595-4595	realization is a subrelation of represents
(subrelation record represents)	Mid-level-ontology.kif 14294-14294	record is a subrelation of represents
(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	If an entity is an instance of international agreement and a process is an instance of committing and the process expresses the entity, then there exists an agent such that the agent is an agent of the process and the agent is an instance of nation
(=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ AutonomousAgent) (instance ?OBJ Product)))	Media.kif 895-901	If an entity is an instance of logo and the entity expresses another entity, then the other entity is an instance of agent or the other entity is an instance of product
(=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB))	MilitaryProcesses.kif 1794-1800	If an entity is an instance of OPLAN and the entity expresses a process and the process is an instance of military operation and the processSUB is a subprocess of the process, then the entity expresses the 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	If a proposition is an instance of plan and a physical is an instance of process and the proposition expresses the physical, then there exist the propositionNING and a content bearing physical such that the propositionNING is an instance of planning and the content bearing physical is an instance of content bearing physical and the content bearing physical contains information the proposition and the content bearing physical is a result of the propositionNING and the beginning of the time of existence of the propositionNING happens earlier than the beginning of the time of existence of the physical and the end of the time of existence of the propositionNING happens earlier than the end of the time of existence of the 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	If an entity is an instance of Search query and a process is an instance of search attempt and the entity expresses the process, then there exist an agent and another entity such that the agent is an instance of agent and the other entity is a patient of the process and the agent is an agent of the process

consequent

(=> (albumCoverImage ?A ?I) (represents ?I ?A))	Music.kif 312-314	If an image is the image on an album, then the image expresses the album
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 531-537	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a formula is an instance of formula and the formula is a patient of the experimenting, then the real number expresses the probability of the 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	If a process ends up at an object and the process is an instance of messaging and an entity is a patient of the process and the object is an instance of telex, then there exist another process and another entity such that the object is an instrument for the other process and the other entity is a result of the other process and the other entity expresses the entity and the other entity is an instance of text and the beginning of the time of existence of the process happens before the beginning of the time of existence of the other process
(=> (and (instance ?CM AirlineCodeMap) (codeMapping ?CM ?STR ?AIR)) (and (instance ?AIR Airline) (represents ?STR ?AIR)))	Transportation.kif 3135-3141	If a code map is an instance of airline code map and a symbolic string in the code map denotes an entity, then the entity is an instance of Airline and the symbolic string expresses the entity
(=> (and (instance ?EXPRESS Expressing) (agent ?EXPRESS ?AGENT)) (exists (?STATE) (and (instance ?STATE StateOfMind) (attribute ?AGENT ?STATE) (represents ?EXPRESS ?STATE))))	Merge.kif 13086-13094	If a process is an instance of expressing and an agent is an agent of the process, then there exists an attribute such that the attribute is an instance of state of mind and the attribute is an attribute of the agent and the process expresses the 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	If an object is an instance of digital data storage device and a symbolic string is a part of the object and the symbolic string is an instance of digital data, then there exist a code map, a list and an entity such that the symbolic string in the code map denotes the entity and the list expresses the code map and if the entity is a member of the list, then the entity is an instance of binary number
(=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB))	MilitaryProcesses.kif 1794-1800	If an entity is an instance of OPLAN and the entity expresses a process and the process is an instance of military operation and the processSUB is a subprocess of the process, then the entity expresses the processSUB
(=> (and (instance ?PLAN OperationPlan) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PLAN) (instance ?OP MilitaryOperation) (result ?OP ?CBO)) (represents ?PLAN ?OP))	MilitaryProcesses.kif 1573-1580	If a proposition is an instance of operation plan and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition and a process is an instance of military operation and the content bearing physical is a result of the process, then the proposition expresses the process
(=> (and (instance ?PROP Proposition) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PROP) (instance ?COMM Communication) (patient ?COMM ?CBO)) (represents ?COMM ?PROP))	Geography.kif 3025-3032	If a proposition is an instance of proposition and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition and a process is an instance of communication and the content bearing physical is a patient of the process, then the process expresses the 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	If a content bearing physical is an instance of birth certificate and a process is an instance of birth and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is a birthdate of the agent and the entity is an instance of day and the other entity is a birthplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of 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	If a content bearing physical is an instance of DeathCertificate and a process is an instance of death and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist the processAY, another entity,, , a third entity and the other entityROC such that the processAY is a deathdate of the agent and the processAY is an instance of day and the other entity is a deathplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name and the other entityROC causes the process and the other entityROC is an instance of 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	If a physical is an instance of surveillance system and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of camera and the other collection is located at another object and the object is not equal to the other object and the other collection is an instance of video display, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the entity is located at the object and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?VALUE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 569-575	If the p-value of an experimenting is a real number and the experimenting is an instance of experimenting and a formula is an instance of formula and the formula is a patient of the experimenting, then the real number expresses the probability of the formula
(=> (and (userIDString ?STRING ?ACCOUNT) (hasAccount ?USER ?ACCOUNT)) (represents ?STRING ?USER))	UXExperimentalTerms.kif 1099-1103	If the ID for an user account is an identifier and an agent has account the user account, then the identifier expresses the agent
(=> (attribute ?ROOM ThemeRoom) (exists (?DESIGN ?PROP) (and (instance ?DESIGN Designing) (result ?DESIGN ?PROP) (represents ?ROOM ?PROP))))	Hotel.kif 1088-1094	If theme room is an attribute of an object, then there exist a process and an entity such that the process is an instance of designing and the entity is a result of the process and the object expresses the 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	If aeronautical engineer is an attribute of an agent, then there exists a kind of process such that the agent has the skill to do a kind of process and for all another process if the other process is an instance of the kind of process, then there exist a third process, an entity and the other processT such that the third process is an instance of making and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the entity is a result of the third process and the other process is a subprocess of the third process or there exist a fourth process, the other processLAN,, , the entity and the other processT such that the fourth process is an instance of designing and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the other processLAN is a result of the fourth process and the other processLAN expresses the entity and the other process is a subprocess of the fourth process
(=> (brandIcon ?BRAND ?ICON) (exists (?AGENT) (and (managedBy ?BRAND ?AGENT) (managedBy ?ICON ?AGENT) (represents ?ICON ?BRAND))))	Hotel.kif 1319-1325	If an icon is the icon of a brand, then there exists an agent such that the brand is managed by the agent and the icon is managed by the agent and the icon expresses the 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	If an identifier is the ID of a web browser when accessing a web site, then there exist a symbolic string, a process,, , an agent and a computer process such that the symbolic string is an instance of web page and the symbolic string is a sub-string of the web site and the process is an instance of accessing web page and the agent is an instance of agent and the agent is an agent of the process and the web browser is a program running of the computer process and the computer process causes the process and the process ends up at the symbolic string and the identifier expresses the agent
(=> (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	If a region has capacity for an integer according to a proposition, then if the region expresses the proposition, then the statement there exist an entity and another entity such that the entity is an instance of group of people and the other entity is a member count of the entity and the other entity is less than or equal to the integer and the entity is located at the region has the modal force of possibility
(=> (categoryID ?STRING ?CAT) (represents ?STRING ?USER))	UXExperimentalTerms.kif 171-173	If an identifier is the ID for a web listing category, then the identifier expresses an entity
(=> (codeMapping ?MAP ?TOKEN ?X) (represents ?TOKEN ?X))	Media.kif 2272-2274	If a symbolic string in a code map denotes an entity, then the symbolic string expresses the entity
(=> (contestParticipantRepresentation ?CONT ?AGENT ?OBJ) (holdsDuring (WhenFn ?CONT) (represents ?AGENT ?OBJ)))	Music.kif 1109-1113	If a cognitive agent represents an object in a contest, then the cognitive agent expresses the object holds during the time of existence of the contest
(=> (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	If a physical is evidence in a legal action, then there exist an argument and the physicalROP such that the physicalROP is an instance of proposition and the argument is an instance of argument and the argument includes a reference to the legal action and the physicalROP expresses the physical and the physicalROP is a premise of the argument
(=> (experimentID ?STRING ?EXP) (represents ?STRING ?USER))	UXExperimentalTerms.kif 4032-4034	If the ID of an experimenting is an identifier, then the identifier expresses an 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	If architecture has an expertise in a human, then there exist a process, an entity and another entity such that the process is an instance of content development and the human is an agent of the process and the entity is a result of the process and the entity is an instance of blueprint and the entity expresses the other entity and the other entity is an instance of 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	Resistor element expresses dissipator
(represents ResistorElement ElectricalTwopole)	engineering.kif 852-852	Resistor element expresses electrical twopole

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: