refers - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4515-4518
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4506-4514
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4504-4504	The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4505-4505	The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4503-4503	refers is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 225-225
No TPTP formula. May not be expressible in strict first order.	english_format.kif 139-139
No TPTP formula. May not be expressible in strict first order.	french_format.kif 132-132
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 246-246
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 84-84
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 82-82
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 293-293
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 284-284
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 438-438
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20840-20840	deceptive identifier is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3542-3542	email address is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4520-4520	names is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3571-3571	phone number is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13949-13949	registered item is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4545-4545	represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Facebook.kif 547-547	tags is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 226-226	"提到" is the printable form of refers in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8612-8612	"refers" is the printable form of refers in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 532-532	"«يَتَضَمَّن إِشَارَة إِلَى»" is the printable form of refers in ar

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13587-13598	If an entity is an instance of legal award and the entity includes a reference to a process and the process is an instance of legal action and an agent is an agent of the process, then the entity allows the agent to perform task of the type there exist another process, a physical and a currency measure such that the other process is an instance of getting and the agent experiences the other process and the physical is a patient of the other process and value of the physical is the currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 894-909	If a process is an instance of duty tax and the process includes a reference to an entity and the entity is a patient of the process, then there exist another process, an object and another entity such that the other process is an instance of transfer and the entity is a patient of the other process and the other process originates at the object and the other process ends up at the other entity and the object is an instance of nation and the other entity is an instance of nation and the object is not equal to the other entity and the time of existence of the other process happens earlier than the time of existence of the process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4351-4356	If the definition of a treated page in an experimenting is a formula and an entity is an instance of WebPage and the formula includes a reference to the entity, then the entity is the object of study of the experimenting

consequent

No TPTP formula. May not be expressible in strict first order.	Offers.kif 74-81	If the class for learning a kind of process, then there exist an agent, another agent and an entity such that the agent has skill to do a kind of process and the other agent has not skill to do the kind of process and the entity is an instance of LearningClass and the entity includes a reference to the kind of process
No TPTP formula. May not be expressible in strict first order.	Law.kif 334-345	If an entity is the defense lawyer in a legal action and a cognitive agent is the defendant in the legal action, then the entity desires there doesn't exist a physical such that the physical is an instance of legal decision and the physical includes a reference to the legal action and the cognitive agent doesn't want the physical
No TPTP formula. May not be expressible in strict first order.	emotion.kif 371-383	If a process is an instance of appraisal as just treatment and a cognitive agent is an agent of the process, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the process includes a reference to the other process and the cognitive agent2 is an agent of the other process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent wants the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14104-14114	If an entity is an instance of art school and a process is an instance of educational process and the process is located at 2, then there exist another process and another entity such that the other process is an instance of making and the other entity is a patient of the other process and the other entity is an instance of art work and the process includes a reference to the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13283-13296	If a process is an instance of commenting and an entity is an instance of process and the entity is a patient of the process, then there exist an agent, another process and a third process such that the agent is an instance of agent and the other process is an instance of speaking and the third process is an instance of looking and the agent is an agent of the other process and the agent is an agent of the third process and the entity is a patient of the third process and the other process includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 226-231	If an entity is an instance of computer directory and another entity is an instance of computer file and the entity is a directory of of the other entity, then the address of the other entity includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 661-666	If an entity is an instance of nuclear weapon research facility and a process is an instance of researching weapon of mass destruction and the process is located at 2, then the process includes a reference to nuclear weapon
No TPTP formula. May not be expressible in strict first order.	Justice.kif 85-94	If an object is an instance of human and Criminal is an attribute of the object, then there exist an entity and a process such that the entity is an instance of criminal action and the process is an instance of legal conviction and the process includes a reference to the entity and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2285-2298	If a corpuscular object is an instance of next generation view item and a process is an instance of web listing and the process is a component of the corpuscular object and an entity is a patient of the process and the entity is an instance of physical, then there exist another process, a third process and the other processCONTENT such that the third process is an instance of stating and the other process is a patient of the third process and the other process includes a reference to the entity and the other processCONTENT is a result of the other process and the other processCONTENT is a part of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Law.kif 570-584	If a process is an instance of intentional process and a content bearing physical is a result of the process and the content bearing physical is the record of an agreement and legal is an attribute of the agreement, then there exist another process, a third process,, , the third process1 and the third process2 such that the other process is an instance of offering and the third process is an instance of ReachingAgreement and the other process includes a reference to the agreement and the third process includes a reference to the agreement and the third process1 is an agent of the other process and the third process2 is an agent of the third process and the time of existence of the other process happens earlier than the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Facebook.kif 238-243	If an entity_EVENT is an instance of status update and an agent is an agent of the entity_EVENT and another entity is a result of the entity_EVENT, then the other entity includes a reference to the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18418-18447	If a proposition is an instance of argument and a process is an instance of reasoning and the proposition is a sub-proposition of Archeology and the process expresses the content of the proposition, then there exist another process, a self connected object,, , an object and a time duration such that the other process is an instance of discovering and the object is an instance of object and the object is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the object is the time duration and the time duration is greater than 50 year duration(s) and the self connected object is a surface of another self connected object and the other self connected object is an instance of body of water and the object is below to the self connected object or the self connected object is a surface of a third self connected object and the third self connected object is an instance of land area and the object is below to the self connected object holds during immediately before the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27749-27778	If a process is an instance of BreakingRecord and an agent is an agent of the process, then there exist a set or class, another set or class,, , another process,, , a time point,, , a case role,, , a third set or class and an entity such that the set or class is an instance of set and the agent is an instance of the set or class and the other set or class is a subclass of process and the third set or class is a subclass of region and the time point is an instance of time point and the entity is an instance of quantity and the process includes a reference to the entity and the entity includes a reference to the other set or class and the agent plays role in event the case role for the other process and the other process is located at 2 and there don't exist an object and a third process such that the object is an instance of the set or class and the object is not equal to the agent and the third process is an instance of the other set or class and the object plays role in event the case role for the third process and the third process is located at 2 holds during interval between the time point and the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20202-20206	If a collection is an inventory of a content bearing object and an object is a member of the collection, then the content bearing object includes a reference to the object
No TPTP formula. May not be expressible in strict first order.	Law.kif 357-367	If an entity is the prosecutor in a legal action and a cognitive agent is the defendant in the legal action, then the entity desires there exists a physical such that the physical is an instance of legal decision and the physical includes a reference to the legal action and the cognitive agent doesn't want the physical
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-360	If appraisal as unjust treatment is an attribute of a cognitive agent, then there exist a process and the cognitive agent2 such that the process is an instance of process and the cognitive agentJT includes a reference to the process and the cognitive agent2 is an agent of the process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the process and the cognitive agent doesn't want the process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 410-419	If coach is an attribute of an agent, then there exist an entity, another entity and a process such that the entity is an instance of human and the other entity is an instance of game and the process is an instance of educational process and the agent is an agent of the process and the entity is a patient of the process and the process includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18337-18343	If art critic is an attribute of an agent, then there exist a kind of content bearing object and an entity such that the entity is an instance of art work and the agent is the author of a kind of content bearing object and the kind of content bearing object includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18322-18331	If news reporter is an attribute of an agent, then there exist a kind of content bearing object and a physical such that the physical is an instance of process and the time of existence of the agent overlaps the time of existence of the physical and the agent is the author of a kind of content bearing object and the kind of content bearing object includes a reference to the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24255-24257	If historical is an attribute of an object, then history includes a reference to the object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 427-437	If a human coaches another human, then coach is an attribute of the human and there exist an entity and a process such that the entity is an instance of game and the process is an instance of educational process and the human is an agent of the process and the other human is a patient of the process and the process includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 905-907	If a time position component dataI d a kind of computer component for another computer component with an unit of measure and an entity, then the entity includes a reference to the other computer component
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13540-13547	If a formula describes an object, then there exist a process and an agent such that the process is an instance of stating and the agent is an agent of the process and the formula is a patient of the process and the process includes a reference to the object
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 2888-2890	If a content bearing physical is an update of an experimenting, then the content bearing physical includes a reference to the experimenting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: