instance

-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24676-24681 A postal place is located at a neighborhood and the postal place is an instance of postal place and the neighborhood is an instance of neighborhood if and only if the postal place is in the neighborhood
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24747-24752 A postal place is located at a state or province and the postal place is an instance of postal place and the state or province is an instance of state or province if and only if the postal place is in the state or province
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24713-24720 A postal place is located at a geopolitical area and the postal place is an instance of postal place and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the postal place is in the geopolitical area
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3920-3926 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. FinancialOntology.kif 3051-3062 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 unit of currency 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 3002-3013 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 unit of currency 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 3034-3042 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 3015-3026 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 unit of currency 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 3064-3075 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 unit of currency 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. Merge.kif 17254-17262 An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed person is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20200-20204 An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20218-20222 An object is an instance of bull if and only if the object is an instance of cattle and male is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11682-11689 An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton 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 20209-20213 An object is an instance of calf if and only if the object is an instance of cattle and non fully formed is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8333-8335 A geopolitical area is an instance of city if and only if the government of the geopolitical area is an instance of city government
No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3513 An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6478-6488 An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1321-1326 A collateral is an instance of collateral if and only if there exists a financial account such that the financial account is an instance of secured loan and the collateral is a secured by of the financial account
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8080-8085 A geopolitical area is an instance of city district if and only if there exists another geopolitical area such that the other geopolitical area is an instance of city and the geopolitical area is a geopolitical part of the other geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30094-30098 An object is an instance of damaged vehicle if and only if the object is an instance of vehicle and device damaged is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20232-20236 An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3488-3494 An entity is an instance of hemisphere if and only if the entity is equal to northern hemisphere or the entity is equal to southern hemisphere or the entity is equal to eastern hemisphere or the entity is equal to western hemisphere
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 63-68 A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8979-8983 An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1668-1673 A performance measure is an instance of inflation index if and only if there exists an abstract such that the abstract is an instance of Inflation and the performance measure is a benchmark of the abstract

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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