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 4294-4300
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4292-4292	represents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4291-4291	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 231-231
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5816-5816	abstractCounterpart is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Music.kif 346-346	anthem is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3396-3396	card code is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25141-25141	conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1253-1253	contains information is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1018-1018	hardware type is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3970-3970	implements protocol is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3435-3435	pin is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1253-1253	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 4423-4423	realization is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11972-11972	record is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49526-49526
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 228-228
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49525-49525
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49524-49524

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2882-2890	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 1775-1781	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 2633-2642	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 309-311	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 662-668	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 3113-3119	If a CodeMap is an instance of airline code map and a symbolic string in the CodeMap 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 12201-12209	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 DigitalDataStorageDevice and a symbolic string is a part of the object and the symbolic string is an instance of digital data, then there exist a CodeMap and a list such that the symbolic string in the CodeMap denotes an entity and the list expresses the CodeMap 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 1775-1781	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 1554-1561	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 2906-2913	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.	Mid-level-ontology.kif 25213-25239	If an object is an instance of surveillance system and the object is a member of a collection and the object is a member of another collection and the collection is located at another object and the collection is an instance of camera and the other collection is located at a third object and the other object is not equal to the third object and the other collection is an instance of video display, then the object 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 2 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 704-710	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 1295-1299	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 1045-1051	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 203-232	If aeronautical engineer is an attribute of an agent, then there exists a kind of process such that the agent 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 1271-1277	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 919-930	If an Identifier is the ID of a web browser when accessing a WebSite, then there exist a corpuscular object, a process and an agent such that the corpuscular object is an instance of WebPage and the corpuscular object is a component of the WebSite and the process is an instance of AccessingWebPage and the agent is an instance of agent and the agent is an agent of the process and the web browser is an instrument for the process and the process ends up at the corpuscular object and the Identifier expresses the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 763-773	If a region has capacity for an integer according to a proposition, then if the region expresses the proposition, then the statement there exists an entity such that the entity is an instance of group of people and another 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 214-216	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 2267-2269	If a symbolic string in a CodeMap denotes an entity, then the symbolic string expresses the entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 1101-1105	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 223-231	If a physical is evidence in a legal action, then there exists an argument 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 4228-4230	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 18905-18914	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12618-12623	If a physical is an instance of historical account, then there exists another physical such that the physical expresses the other physical and the time of existence of the other physical happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1238-1243	If an entity is an instance of UserDirectAction, then there exists another entity_ACTION such that the entity expresses the other entity_ACTION and the other entity_ACTION is an instance of UserSignifiedAction

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 848-848	Resistor element expresses dissipator
No TPTP formula. May not be expressible in strict first order.	engineering.kif 849-849	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: