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 4359-4365
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4357-4357	represents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4356-4356	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.	Merge.kif 6017-6017	abstractCounterpart is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Music.kif 347-347	anthem is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26271-26271	conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1309-1309	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 4013-4013	implements protocol is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1279-1279	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 4499-4499	realization is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13788-13788	record is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49515-49515
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 49514-49514
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49513-49513

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2923-2931	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 2636-2645	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 310-312	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 664-670	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 3142-3148	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 12870-12878	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 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 2947-2954	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 26343-26369	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 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 706-712	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 1296-1300	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 1066-1072	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 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 1297-1303	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 921-932	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 769-779	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 2263-2265	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 1102-1106	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 4231-4233	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 20482-20491	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 14331-14336	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 1208-1213	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: