represents - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2164-2168
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4483-4489
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 823-828
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4480-4480	The number 1 argument of represents is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4481-4481	The number 2 argument of represents is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4479-4479	represents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4478-4478	represents is a subrelation of refers

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 227-227
No TPTP formula. May not be expressible in strict first order.	english_format.kif 228-228
No TPTP formula. May not be expressible in strict first order.	french_format.kif 133-133
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 253-253
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1962-1962
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 85-85
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 296-296
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 290-290
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 152-152
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 138-138
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 445-445
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6138-6138	abstract counterpart is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Music.kif 351-351	anthem is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3516-3516	card code is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28822-28822	conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1366-1366	contains information is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1129-1129	hardware type is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4045-4045	implements protocol is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3555-3555	pin is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1309-1309	product brand is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 14-14	product model is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4623-4623	realization is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15693-15693	record is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49536-49536	record is a subrelation of represents

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3159-3167	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2426-2435	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

No TPTP formula. May not be expressible in strict first order.	Music.kif 312-314	If an image is the image on an album, then the image expresses the album
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4041-4047	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13270-13278	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3183-3190	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
No TPTP formula. May not be expressible in strict first order.	Biography.kif 256-270	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
No TPTP formula. May not be expressible in strict first order.	Biography.kif 287-303	If a content bearing physical is an instance of death certificate 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28872-28898	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 equal the object and 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1096-1102	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
No TPTP formula. May not be expressible in strict first order.	Biography.kif 444-473	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1330-1336	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 794-804	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 171-173	If an identifier is the ID for a web listing category, then the identifier expresses an entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2274-2276	If a symbolic string in a code map denotes an entity, then the symbolic string expresses the entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 1111-1115	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4024-4026	If the ID of an experimenting is an identifier, then the identifier expresses an entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22800-22809	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

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1163-1163	Resistor element expresses dissipator
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1164-1164	Resistor element expresses electrical twopole

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: