Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - exists
exists

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1829-1839 A process is an instance of withdrawal 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 penalty 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 3872-3878 There exists a time interval such that a loan is an instance of loan and the time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval if and only if the interest is a loan interest of the loan
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 987-990 There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program the attribute executable
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 980-983 There exists a number such that the number is a fixed interest rate of a financial account if and only if the financial account is an instance of fixed rate account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3058-3069 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3009-3020 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3041-3049 There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is equal to the other currency measure if and only if the agent is an at the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3022-3033 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3071-3082 There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of UnitOfCurrency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order. Military.kif 772-778
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346
No TPTP formula. May not be expressible in strict first order. Cars.kif 853-866
No TPTP formula. May not be expressible in strict first order. Dining.kif 725-748
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 758-774
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4761-4770
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3449-3469
No TPTP formula. May not be expressible in strict first order. Dining.kif 540-556
No TPTP formula. May not be expressible in strict first order. Cars.kif 1772-1786
No TPTP formula. May not be expressible in strict first order. Cars.kif 3908-3924
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1383-1401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1362-1379
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1409-1418
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3163-3189

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. Mid-level-ontology.kif 29682-29692 An entity is an instance of body part and Bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Geography.kif 7156-7167 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10.0 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 7185-7195 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
No TPTP formula. May not be expressible in strict first order. People.kif 383-416 A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 429-462 A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 336-368 A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Economy.kif 1528-1533 A geopolitical area annual expenditures of area in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an annual expenditures of area of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 1499-1504 A geopolitical area annual revenues of area in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an annual revenues of area of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 9880-9885 Fillable is an attribute of an object if and only if there exists another object such that the other object is an instance of hole and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 718-729 Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and the process is not equal to the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22578-22583 A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human
No TPTP formula. May not be expressible in strict first order. People.kif 298-319 A real number is an average of a list if and only if there exists another list such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all a positive integer and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3895-3900 A bank- financial organization is a bank account of a kind of financial account if and only if there exists another financial account such that the other financial account is an instance of a kind of financial account and the other financial account is held by the bank- financial organization
No TPTP formula. May not be expressible in strict first order. People.kif 1554-1565 A real number percent of people in a geographic area believe in a belief group if and only if there exist a collection and another collection such that a physical is located at the geographic area and the physical is a member of the belief group and the physical is a member of the collection and the real number1 is a member count of the collection and the physical2 is located at the geographic area and the physical2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
No TPTP formula. May not be expressible in strict first order. Economy.kif 1576-1581 A geopolitical area capital expenditures of area in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is a capital expenditures of area of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22593-22608 A human and another human are cousins if and only if there exist a woman and a man such that the grandmother of the human is the woman and the grandfather of the human is the man and the grandmother of the other human is the woman and the grandfather of the other human is the man and there don't exist an organism and another organism such that the organism is a mother of the human and the other organism is a father of the human and the organism is a mother of the other human and the other organism is a father of the other human
No TPTP formula. May not be expressible in strict first order. Economy.kif 3671-3676 A kind of time interval is a currency exchange per US dollar of a currency measure if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is a currency exchange rate of united states dollar holds during the time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 3678-3683 An UnitOfCurrency currency exchange rate in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is a currency exchange rate of the UnitOfCurrency holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7442-7448 An agent is a customer of a cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3639-3646 A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
No TPTP formula. May not be expressible in strict first order. Economy.kif 2829-2834 A geopolitical area is economic aid donated in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an economic aid donated of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 2869-2874 A geopolitical area is economic aid received net in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an economic aid received net of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 2067-2072 A geopolitical area is electricity fraction from source in period a kind of power generation for a real number with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area is electricity fraction from source a kind of power generation for the real number holds during the time position
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3267-3273 An agreement employs another agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order. People.kif 1573-1584 A real number percent of people in a geographic area are an ethnic group if and only if there exist a collection and another collection such that a physical is located at the geographic area and the physical is a member of the ethnic group and the physical is a member of the collection and the real number1 is a member count of the collection and the physical2 is located at the geographic area and the physical2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1157-1171 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3275-3281 IBookstore has the purpose there exists ?D such that ?D is an instance of downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T
No TPTP formula. May not be expressible in strict first order. Merge.kif 6011-6018 There don't exist a graph path and another graph path such that the graph path is an instance of the set of paths that partition a graph into two separate graphs and the other graph path is an instance of the set of minimal paths that partition the graph into two separate graphs and the length of the graph path is a positive integer and the length of the other graph path is another positive integer and the positive integer is less than the other positive integer

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 230-231 There exist a meal and a region such that the appropriate meal for the meal in the region is an attribute of the meal
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2421-2425 There exists a time position such that the time position is an instance of the year 1976 and Steve Wozniak is a coworker of Steve Jobs holds during the time position
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2409-2413 There exists a time position such that the time position is an instance of the year 2002 and Tim Cook is a coworker of Steve Jobs holds during the time position
No TPTP formula. May not be expressible in strict first order. Cars.kif 5112-5115 There exists an agent such that the agent is a subclass of tool box and the maker of Sortimo Corporation is the agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 816-817 There exists an entity such that the entity is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 1956-1964 There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity


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