represents - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4554-4558
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4547-4553
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4546-4546	represents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4545-4545	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 140-140
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.	portuguese_format.kif 85-85
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 83-83
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-tg.txt 445-445
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6210-6210	abstractCounterpart is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Music.kif 368-368	anthem is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3389-3389	card code is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24656-24656	conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1383-1383	contains information is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1009-1009	hardware type is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3428-3428	pin is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1248-1248	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 4703-4703	realization is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11679-11679	record is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 228-228	"表示" is the printable form of represents in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8683-8683	"represents" is the printable form of represents in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 533-533	"«يُعَبِّر عَن»" is the printable form of represents in ar

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 2848-2856	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 1762-1768	If an entity is an instance of OPLA n 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 propositionNNG 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 2634-2643	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
No TPTP formula. May not be expressible in strict first order.	Facebook.kif 689-704	If a human is an instance of social networking user and the human's birthday is a day and an agent is an instance of AutomatedNotificationSystem and the agent is an agent of a process and an entity is a result of the process and the entity is an instance of BirthdayNotification and the entity expresses the human, then for all another entity if the other entity is an instance of social networking user and the human is connected with the other entity, then the process ends up at the other entity holds during the day

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 331-333	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 663-669	If a real number is the confidence in an experimenting and the experimenting is an instance of the experimentingING 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 3051-3057	If a CodeMap is an instance of airline code map and an entity in the CodeMap denotes another entity, then the other entity is an instance of Airline and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12932-12940	If a process is an instance of expressing and an agent is an agent of the process, then there exists an entity such that the entity is an instance of state of mind and the entity is an attribute of the agent and the process expresses the entity
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 1762-1768	If an entity is an instance of OPLA n 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 1541-1548	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 2871-2878	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.	TravelPolicies.kif 617-624	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 ExpenseReport 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 24728-24754	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 has purpose there exist a time interval, an entity,, , another time interval and a third time interval such that the time interval is an instance of process and the time interval is located at 2 and the entity expresses the time interval and camera is an instrument for the third time interval and the entity is a result of the third time interval and the other time interval is an instance of radiating light and the other collection is an instrument for the other time interval and the entity is a patient of the other time interval and the beginning of the time interval happens before the beginning of the third time interval and the beginning of the third time interval happens before the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 705-711	If the p-value of an experimenting is a real number and the experimenting is an instance of the experimentingING 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 1297-1301	If the ID for an user account is an entity and a computer user has account the user account, then the entity expresses the computer user
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1041-1047	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 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 1266-1272	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 922-933	If an entity 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 entity expresses the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 759-769	If a region has capacity for an integer according to a proposition, then if the region expresses the proposition, then the statement there exists a collection such that the collection is an instance of group of people and another integer is a member count of the collection and the other integer is less than or equal to the integer and the collection 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 entity is the ID for a web listing category, then the entity expresses another entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2267-2269	If an entity in a CodeMap denotes another entity, then the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1033-1035	If an entity in RC-roomType denotes another entity, then the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 1123-1127	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 222-230	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 4220-4222	If the ID of an experimenting is an entity, then the entity expresses another entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18453-18462	If architecture is a has expertise of 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 854-854	Resistor element expresses dissipator
No TPTP formula. May not be expressible in strict first order.	engineering.kif 855-855	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: