instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24676-24681 | PostalPlace est situ� � Neighborhood PostalPlace est une instance de PostalPlace Neighborhood est une instance de Neighborhood postNeighborhood PostalPlace and Neighborhood |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24747-24752 | PostalPlace est situ� � Etat ou province PostalPlace est une instance de PostalPlace Etat ou province est une instance de Etat ou province postDistrict PostalPlace and Etat ou province |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24713-24720 | PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3920-3926 | Interval temporel Loan est une instance de Loan agreementPeriod Loan and interval temporel interestEarned Loan, Interest and interval temporel loanInterest Loan and Interest |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3051-3062 | FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el outOfTheMoney Agreement and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3002-3013 | FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice inTheMoney Agreement and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3034-3042 | FinancialInstrument FinancialInstrumentPrice and mesure de devise Agreement est une instance de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and mesure de devise FinancialInstrumentPrice est mesure de devise atTheMoney Agreement and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3015-3026 | FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el inTheMoney Agreement and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3064-3075 | FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17254-17262 | Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20200-20204 | Objet est une instance de Bull objet est une instance de Cattle Female est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20218-20222 | Objet est une instance de Bull objet est une instance de Cattle Male est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11682-11689 | Objet est une instance de os objet objet est une instance de Skeleton objet est une instance de Exoskeleton objet est une partie de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20209-20213 | Objet est une instance de Calf objet est une instance de Cattle NonFullyFormed est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8333-8335 | Secteur g�opolitique est une instance de ville le gouvernment de secteur g�opolitique est une instance de CityGovernment |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3504-3513 | Entit� est une instance de continent Africa est entit� NorthAmerica est entit� SouthAmerica est entit� Antarctica est entit� Europe est entit� Asia est entit� Oceania est entit� |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6478-6488 | Entit� est une instance de ConjugatedSubstance objet objet and processus objet est une instance de substance compos�e objet est une instance de substance compos�e objet est objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une resource pour processus entit� est le resultat de processus |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1321-1326 | Collateral est une instance de Collateral FinancialAccount FinancialAccount est une instance de SecuredLoan securedBy FinancialAccount and Collateral |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8080-8085 | Secteur g�opolitique est une instance de CityDistrict secteur g�opolitique secteur g�opolitique est une instance de ville sous-division g�opolitique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30094-30098 | Objet est une instance de DamagedVehicle objet est une instance de Vehicle DeviceDamaged est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20232-20236 | Objet est une instance de Hen objet est une instance de Chicken Female est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3488-3494 | Entit� est une instance de Hemisphere entit� est NorthernHemisphere entit� est SouthernHemisphere entit� est EasternHemisphere entit� est WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 63-68 | Objet corpusculaire est une instance de ComputerHardware objet corpusculaire objet corpusculaire est une instance de Computer objet corpusculaire est un composant de objet corpusculaire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8979-8983 | Objet est une instance de Ice objet est une instance de eau Solid est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1668-1673 | PerformanceMeasure est une instance de InflationIndex abstrait abstrait est une instance de Inflation benchmark abstrait and PerformanceMeasure |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |