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 4261-4269
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4258-4258	The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4259-4259	The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4257-4257	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 229-229
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21276-21276	deceptive identifier is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3548-3548	email address is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4271-4271	names is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3620-3620	phone number is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14237-14237	registered item is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4291-4291	represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49100-49100
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 226-226
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49099-49099
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49098-49098

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13874-13886	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.	ComputingBrands.kif 3017-3025	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.	FinancialOntology.kif 903-918	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 4356-4361	If the definition of a treated page in an experimenting is a formula and a WebPage is an instance of WebPage and the formula includes a reference to the WebPage, then the WebPage 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 a cognitive agent is a customer of another cognitive agent and the cognitive 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 other cognitive agent and the process originates at the cognitive agent and another process is an instance of drinking and the other 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 other 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 cognitive agent
No TPTP formula. May not be expressible in strict first order.	Law.kif 338-349	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 14392-14402	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 13570-13583	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 229-234	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 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 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 2284-2297	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 574-588	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.	Mid-level-ontology.kif 18870-18899	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, an entity,, , a physical and a time duration 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 time duration and the time duration is greater than 50 year duration(s) and the entity is a surface of another 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 a 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 28228-28257	If a process is an instance of BreakingRecord and an agent is an agent of the process, then there exist a class, another class,, , another process,, , a time point,, , a case role,, , a third class and an entity such that the class is an instance of set and the agent is an instance of the class and the other class is a subclass of process and the third 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 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 another entity and a third entity such that the other entity is an instance of the class and the other entity is not equal to the agent and the third entity is an instance of the other class and the other entity plays role in event the case role for the third entity and the third entity 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 20638-20642	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 361-371	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 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 18789-18795	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 18774-18783	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 24740-24742	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 913-915	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13827-13834	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 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 2887-2889	If a content bearing physical is an update of an experimenting, then the content bearing physical includes a reference to the experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2916-2918	If the final report for an experimenting is a content bearing physical, 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: