refers - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2154-2157
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4414-4422
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 810-814
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4411-4411	The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4412-4412	The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4410-4410	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 226-226
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.	japanese_format.kif 1961-1961
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.	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-ro.kif 151-151
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 137-137
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 23638-23638	deceptive identifier is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16396-16396	describes is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2999-2999	email address is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4424-4424	names is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3679-3679	phone number is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16859-16859	registered item is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4448-4448	represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49141-49141	represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 226-226	represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49140-49140	represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49139-49139	represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 94-94	represents is a subrelation of refers

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.	Mid-level-ontology.kif 16450-16462	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 a cognitive agent is an agent of the process, then the entity allows the cognitive agent to perform task of the type there exist another entity, a third entity and a fourth entity such that the other entity is an instance of getting and the cognitive agent experiences the other entity and the third entity is a patient of the other entity and value of the third entity is the fourth entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1882-1891	If an object is an instance of electrocardiogram and abnormal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is an attribute of the third object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1865-1875	If an object is an instance of electrocardiogram and normal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is not an attribute of the third object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3042-3050	If an entity is an instance of force quit and the entity includes a reference to a computer process and the computer processROG is a program running of the computer process, then there exists an abort such that the abort is an instance of abort and the computer process is a process aborted of the abort
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	If a process is an instance of misdiagnosing and a cognitive agent is an agent of the process and the process includes a reference to an entity and the entity is an instance of human, then there exists the cognitive agentIS such that the process contains the formula the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an instance of disease or syndrome and the cognitive agent believes the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an attribute of the entity is false
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9496-9506	If an entity is an instance of prescription and an object is an instance of medicine and the entity includes a reference to the object, then there exist the entityHARM and a transfer such that the transfer is an instance of selling and the object transferred in the transfer is the object and the entityHARM is an agent of the transfer and pharmacist is an attribute of the transfer
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 949-964	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 4152-4157	If the definition of a treated page in an experimenting is a formula and a web page is an instance of web page and the formula includes a reference to the web page, then the web page is the object of study of the experimenting

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	If appraisal as just treatment is an attribute of a cognitive agent and the cognitive agentJT is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentJT, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentJT 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.	emotion.kif 349-363	If appraisal as unjust treatment is an attribute of a cognitive agent and the cognitive agentUJ is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentUJ, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentUJ 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 doesn't want the other process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	If an agent is a customer of a cognitive agent and the agent charges a currency measure in corkage for a kind of object and another object is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the other object is a patient of the process and the process ends up at the cognitive agent and the process originates at the agent and another process is an instance of drinking and the cognitive agent is an agent of the other process and the other object is a resource for the other process, then there exists a third process such that the third process is an instance of corkage and the cognitive agent is an agent of the third process and the third process includes a reference to the other object and the third process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	Law.kif 295-306	If a cognitive agent is the defense lawyer in a legal action and another cognitive agent is the defendant in the legal action, then the cognitive agent desires there doesn't exist an entity such that the entity is an instance of legal decision and the entity includes a reference to the legal action and the other cognitive agent doesn't want the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17016-17026	If an object is an instance of art school and a process is an instance of educational process and the process is located at the object, then there exist another process and an entity such that the other process is an instance of making and the entity is a patient of the other process and the 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 16137-16150	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 231-236	If a computer directory is an instance of computer directory and a computer file is an instance of computer file and the computer directory is a directory of the computer file, then the address of the computer file includes a reference to the computer directory
No TPTP formula. May not be expressible in strict first order.	WMD.kif 666-671	If an object 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 the object, then the process includes a reference to nuclear weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7377-7390	If a cognitive agent is an instance of health insurance company and an agent is a customer of the cognitive agent, then the cognitive agent has the purpose there exist an entity and another entity such that the entity is an instance of diagnostic process or the entity is an instance of therapeutic process and the agent experiences the entity and the other entity is an instance of payment and the cognitive agent is an agent of the other entity and the other entity includes a reference to the entity for the agent
No TPTP formula. May not be expressible in strict first order.	Justice.kif 87-96	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 2078-2091	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 526-540	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 reaching agreement 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.	Mid-level-ontology.kif 20749-20756	If a process is an instance of sick leave and an agent is an agent of the process, then there exists an entity such that the entity is an instance of disease or syndrome and the process includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21437-21467	If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of discovering and the physical is an instance of object and the physical 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 physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical is below to the entity 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 30319-30349	If a process is an instance of breaking record and an agent is an agent of the process, then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and the other entity is not equal to the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object 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 23035-23039	If a collection is an inventory of a content bearing object and a physical is a member of the collection, then the content bearing object includes a reference to the physical
No TPTP formula. May not be expressible in strict first order.	Law.kif 318-328	If a cognitive agent is the prosecutor in a legal action and another cognitive agent is the defendant in the legal action, then the cognitive agent desires there exists an entity such that the entity is an instance of legal decision and the entity includes a reference to the legal action and the other cognitive agent doesn't want the entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 524-533	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 21379-21391	If art critic is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of art work and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of article and the object is the author of the third entity and the other entity includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21356-21370	If news reporter is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of newspaper or the third entity is a subclass of newsprogram and the object is the author of the third entity and the other entity includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26886-26888	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.	Mid-level-ontology.kif 9536-9548	If OTC drug is an attribute of an object, then the statement there exists an entity such that the entity is an instance of buying and the object transferred in the entity is the object and there doesn't exist another entity such that the other entity is an instance of prescription and the other entity includes a reference to the object has the modal force of legal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9514-9526	If prescription drug is an attribute of an object, then the statement there exists an entity such that the entity is an instance of buying and the object transferred in the entity is the object and there doesn't exist another entity such that the other entity is an instance of prescription and the other entity includes a reference to the object has the modal force of illegal
No TPTP formula. May not be expressible in strict first order.	Sports.kif 541-551	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 1021-1023	If a time position component dataID a kind of computer component for another computer component with an unit of measure and a symbolic string, then the symbolic string includes a reference to the other computer component

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: