instance

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
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
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
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
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
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
(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
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
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StockPrice ?StrikePrice)))
    (outOfTheMoney ?Option ?Time))
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
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StrikePrice ?StockPrice)))
    (inTheMoney ?Option ?Time))
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
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option Option)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (equal ?StockPrice ?StrikePrice)))
    (atTheMoney ?Option ?Time))
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
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StockPrice ?StrikePrice)))
    (inTheMoney ?Option ?Time))
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
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StrikePrice ?StockPrice)))
    (outOfTheMoney ?Option ?Time))
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
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))
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
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Female)))
Mid-level-ontology.kif 20200-20204 Objet est une instance de Bull objet est une instance de Cattle Female est un attribut de objet
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))
Mid-level-ontology.kif 20218-20222 Objet est une instance de Bull objet est une instance de Cattle Male est un attribut de objet
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))
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
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))
Mid-level-ontology.kif 20209-20213 Objet est une instance de Calf objet est une instance de Cattle NonFullyFormed est un attribut de objet
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))
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
(<=>
    (instance ?CONTINENT Continent)
    (or
        (equal Africa ?CONTINENT)
        (equal NorthAmerica ?CONTINENT)
        (equal SouthAmerica ?CONTINENT)
        (equal Antarctica ?CONTINENT)
        (equal Europe ?CONTINENT)
        (equal Asia ?CONTINENT)
        (equal Oceania ?CONTINENT)))
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�
(<=>
    (instance ?CS ConjugatedSubstance)
    (exists (?C1 ?C2 ?P)
        (and
            (instance ?C1 CompoundSubstance)
            (instance ?C2 CompoundSubstance)
            (not
                (equal ?C1 ?C2))
            (instance ?P ChemicalSynthesis)
            (resource ?P ?C1)
            (resource ?P ?C2)
            (result ?P ?CS))))
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
(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))
FinancialOntology.kif 1321-1326 Collateral est une instance de Collateral FinancialAccount FinancialAccount est une instance de SecuredLoan securedBy FinancialAccount and Collateral
(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))
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
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))
Mid-level-ontology.kif 30094-30098 Objet est une instance de DamagedVehicle objet est une instance de Vehicle DeviceDamaged est un attribut de objet
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))
Mid-level-ontology.kif 20232-20236 Objet est une instance de Hen objet est une instance de Chicken Female est un attribut de objet
(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3488-3494 Entit� est une instance de Hemisphere entit� est NorthernHemisphere entit� est SouthernHemisphere entit� est EasternHemisphere entit� est WesternHemisphere
(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
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
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))
Mid-level-ontology.kif 8979-8983 Objet est une instance de Ice objet est une instance de eau Solid est un attribut de objet
(<=>
    (instance ?Index InflationIndex)
    (exists (?Inflation)
        (and
            (instance ?Inflation Inflation)
            (benchmark ?Inflation ?Index))))
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


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