origin - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1879-1881
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2497-2502
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 503-506
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2493-2493	The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2494-2494	The number 2 argument of origin is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2491-2491	origin is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2492-2492	origin is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2495-2495	origin is a subrelation of involved in event

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 159-159
No TPTP formula. May not be expressible in strict first order.	english_format.kif 160-160
No TPTP formula. May not be expressible in strict first order.	french_format.kif 99-99
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 205-205
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1928-1928
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 51-51
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 84-84
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 194-194
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 243-243
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 118-118
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 99-99
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 392-392
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 160-160
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42590-42590
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42589-42589
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42588-42588
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 60-60
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 393-393

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1835-1845	A process is an instance of withdrawing from an account and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 489-501	If an agent is an agent of a process and the process originates at an object and a physical is a patient of the process and value of the physical is a currency measure, then there exists a financial transaction such that the financial transaction is a subprocess of the process and the financial transaction is an instance of payment and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the agent and the financial transaction ends up at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31672-31681	If an object is between another object and a third object on path a fourth object and a transfer is an instance of transfer and the fourth object is path along which the transfer occurs and the transfer originates at the other object and the transfer ends up at the third object, then the other object before the object on path the fourth object during the transfer and the object before the third object on path the fourth object during the transfer
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.	UXExperimentalTerms.kif 3759-3784	If an accessing web page is an instance of accessing web page and an entity is an instance of web page and a process is an instance of data transfer and an object is an instance of server and another process is an instance of requesting and an agent is an instance of web browser and a time interval is an instance of time interval and the entity is a patient of the accessing web page and the agent is an agent of the other process and the other process ends up at the object and the entity is a patient of the other process and the process originates at the object and the process ends up at the agent and the entity is a patient of the process and the process is a subprocess of the accessing web page and the other process is a subprocess of the accessing web page and equal the end of the time of existence of the other process and the beginning of the time interval and equal the end of the time of existence of the process and the end of the time interval, then equal the time to access in the accessing web page and the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1145-1158	If a financial account is an instance of checking account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists an object such that the object is an instance of check and the object is an instrument for the process or there exists another object such that the other object is an instance of debit card and the other object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1255-1263	If a financial account is an instance of credit card account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists an object such that the object is an instance of credit card and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1035-1043	If a financial account is an instance of savings account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists another process such that the other process is an instance of authorization of transaction and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1117-1126	If a financial account is an instance of traditional savings account and a process is an instance of withdrawing from an account and the process originates at the currency of the financial account, then there doesn't exist another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25665-25674	If a process is an instance of birth and the process originates at an object, then there exist an entity and a time interval such that the entity is an instance of zygote and the time interval happens earlier than the time of existence of the process and the entity is located at the object holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme, then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11881-11892	If a process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12055-12066	If a process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1089-1101	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawing from an account and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 881-892	If a process is an instance of cold front and an object is an instance of air mass and the process originates at the object and a real number celsius degree(s) is an air temperature of the object and a motion is an instance of air mass and the motion is path along which the motion occurs and another real number celsius degree(s) is an air temperature of the motion, then the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11806-11816	If a process is an instance of change of possession and the process originates at an object and the process ends up at an entity and the object is an instance of agent and the entity is an instance of agent and another entity is a patient of the process, then the object possesses the other entity holds during the beginning of the time of existence of the process and the entity possesses the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 564-569	If a process is an instance of delivery service and the process originates at an object and the process ends up at an entity, then equal the object and the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11737-11742	If a process is an instance of falling and the process originates at an object and the process ends up at another object, then the other object is below to the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1724-1740	If a corpuscular object is an instance of exhaust and the corpuscular object is made of fuel and a transfer is an instance of transfer and the corpuscular objectNG is an instance of engine and the transfer originates at the corpuscular objectNG and a physical is an instance of catalytic converter and the transfer ends up at the physical and the object transferred in the transfer is the corpuscular object, then the physical has the purpose there exists an entity such that the entity is an instance of burning and the physical is an instrument for the entity and the corpuscular object is a patient of the entity and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7882-7890	If a process is an instance of exiting and the process originates at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7871-7880	If a process is an instance of exiting and the process originates at an object and physically restricted region is an attribute of the object, then the statement there exists an entity such that the entity is the entrance for the object and the entity is path along which the process occurs has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2661-2677	If a process is an instance of evacuating and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2607-2621	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of maintaining and the other process is located at the object and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization and the other processA is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2588-2603	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of transportation and the other process ends up at the object and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization and the other processA is an agent of the other process or the other processA is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2550-2564	If a process is an instance of evacuating and the process originates at a geographic area and a cognitive agent is an agent of the process, then there exists another process such that the other process is an instance of process and the geographic area is a geographic subregion of the place where the other process was at the beginning of the time of existence of the process and the other process causes the process and the cognitive agent believes dangerous is an attribute of the other process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 489-501	If an agent is an agent of a process and the process originates at an object and a physical is a patient of the process and value of the physical is a currency measure, then there exists a financial transaction such that the financial transaction is a subprocess of the process and the financial transaction is an instance of payment and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the agent and the financial transaction ends up at the object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 657-669	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4234-4241	If radioactive substance is an attribute of an object and the object is an instance of substance, then there exists a process such that the process is an instance of radiating nuclear and the process originates at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22218-22240	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other entity is a patient of the entity and the other entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1277-1287	If a loan is the borrower of a cognitive agent and another cognitive agent lends the loan and a time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval, then there exists a financial transaction such that the financial transaction originates at the cognitive agent and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31855-31864	If a cognitive agent buys an entity from an agent and the entity is an instance of physical, then there exists a process such that the process is an instance of buying and the entity is a patient of the process and the cognitive agent is an agent of the process and the process originates at the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31866-31876	If a cognitive agent buys a proposition from an agent and the proposition is an instance of proposition, then there exist a process and another process such that the cognitive agent is an agent of the process and the other process expresses the content of the proposition and the process is an instance of buying and the other process is a patient of the process and the process originates at the agent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3547-3552	If a computer hardware is a connected peripheral of a computer and the computer hardware is an instance of computer input device and the computer hardware is an instance of the computerLASS, then data transfer is capable of doing the computerLASS as a origin
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2403-2418	If an agent is a customer of a cognitive agent and the agent employs another cognitive agent and traveler accommodation is an attribute of the agent and porter is an attribute of the other cognitive agent and the cognitive agent possesses an object and the object is an instance of travel container, then there exist another object and a process such that the other object is an instance of hotel unit and the process is an instance of carrying and the other cognitive agent is an agent of the process and the process ends up at the other object or the process originates at the other object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	If expellee is an attribute of an entity and the entity is a citizen of another entity_NATION holds during a time position and the time position is an instance of time interval, then there exist a process and an object such that the object is an instance of nation and equal the object and the other entity_NATION and the process is an instance of translocation and the process originates at the object and the entity is a patient of the process and the process ends up at the other entity_NATION and the time position is a part of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1990-1999	If a physical is an instance of Apple app store and the physical is a program running of a computer process and the computer process is running on a computer, then the physical has the purpose there exists an entity such that the entity is an instance of downloading and the entity originates at the computer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2625-2638	If an agent is an instance of animal and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the agent, then there exist a transfer and an object such that the transfer is an instance of biological process and the transfer is an instance of removing and the transfer originates at the agent and the object is an instance of sewage and the agent is an agent of the transfer and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12439-12449	If an object is an instance of artery and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another object such that the other object is an instance of heart and the process originates at the other object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1228-1238	If a financial account is an instance of credit account and the financial account is held by a financial organization and a cognitive agent holds account the financial account and the financial account is interest earned an interest for a time interval, then there exists a financial transaction such that the financial transaction originates at the cognitive agent and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the financial organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2350-2372	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a real number an unit of measure(s) is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned another real number the unit of measure(s) for the time interval and equal a third real number and (the real number and the other real number), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the third real number the unit of measure(s) is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1129-1139	If a transfer is an instance of crying and an agent experiences the transfer, then there exist an object and another object such that the object is an instance of tear substance and the transfer originates at the other object and the object transferred in the transfer is the object and the other object is an instance of eye and the other object is a part of the agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2661-2677	If a process is an instance of evacuating and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2535-2545	If a process is an instance of evacuating and the process originates at an object and the process ends up at an entity, then there exists another process such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process ends up at the entity and the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	If a process is an instance of four stroke exhaust and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and equal the object and the host of the hole the hole and the process is located at the object, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 636-654	If a process is an instance of flashing light and the process originates at an object, then there exist another process, a time interval and a third process such that the other process is an instance of radiating light and the time interval is an instance of time interval and the third process is an instance of radiating light and the time of existence of the other process meets the time interval and the time interval meets the time of existence of the third process and there doesn't exist a fourth process such that the fourth process is an instance of radiating light and the fourth process originates at the object and the time of existence of the fourth process takes place during the time interval and the other process is a subprocess of the process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a process is an instance of transportation and another process is an instance of fuel and the other process is a patient of the process and the object is an instrument for the other process, then the object has the purpose there exist an entity and another entity such that the entity is an instance of gas tank and the entity is a part of the other object and the other entity is an instance of engine cylinder and the other entity is a part of the other object and the process originates at the entity and the process ends up at the other entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 674-682	If a process is an instance of baseball and another process is an instance of pitching and the other process is a subprocess of the process, then there exists an object such that the object is an instance of pitchers mound and the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 661-675	If an object is an instance of gene and the object is located at another object and the other object is an instance of cell, then there exist a process, a third object and a fourth object such that the process is an instance of biological process and the process is located at the other object and the process originates at the object and the third object is a result of the process and the third object is an instance of nucleotide and the third object is a part of the fourth object and the fourth object is an instance of RNA molecule and the fourth object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4180-4193	If an object is an instance of substance and oxidizing substance is an attribute of the object, then there exists a process such that the process is an instance of releasing and oxygen is a patient of the process and the object is capable of doing releasing as a origin and the statement there exists an entity such that the entity is an instance of burning and the process causes the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1909-1922	If a process is an instance of GERD and an agent experiences the process, then there exist another process, an object and another object such that the other process is an instance of transfer and the other process originates at the object and the object is an instance of stomach and the other object is an instance of esophagus and the other process ends up at the other object and the object is a part of the agent and the other object is a part of the agent and the other process is a subprocess of the process

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: