instance

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


(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 20208-20212 Oggetto è un' istanza di Calf Oggetto è un' istanza di Cattle attribute Oggetto and NonFullyFormed
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))		 Mid-level-ontology.kif 8332-8334 AreaGeopolitica è un' istanza di Citt� GovernmentFn AreaGeopolitica è un' istanza di CityGovernment
(<=>
    (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 6477-6487 Entit� è un' istanza di ConjugatedSubstance Oggetto Oggetto and Processo Oggetto è un' istanza di Composto Oggetto è un' istanza di Composto Oggetto is uguale a Oggetto Processo è un' istanza di SintesiChimica Oggetto è una risorsa per Processo Oggetto è una risorsa per Processo Entit� è un risultato di Processo
(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))		 FinancialOntology.kif 1321-1326 Collateral è un' istanza di Collateral FinancialAccount FinancialAccount è un' istanza di SecuredLoan securedBy FinancialAccount and Collateral
(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))		 Mid-level-ontology.kif 8079-8084 AreaGeopolitica è un' istanza di CityDistrict AreaGeopolitica AreaGeopolitica è un' istanza di Citt� geopoliticalSubdivision AreaGeopolitica and AreaGeopolitica
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 30082-30086 Oggetto è un' istanza di DamagedVehicle Oggetto è un' istanza di Vehicle attribute Oggetto and DeviceDamaged
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 20231-20235 Oggetto è un' istanza di Hen Oggetto è un' istanza di Chicken attribute Oggetto and Female
(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))		 QoSontology.kif 63-68 OggettoCorpuscolare è un' istanza di ComputerHardware OggettoCorpuscolare OggettoCorpuscolare è un' istanza di Computer OggettoCorpuscolare è un componente di OggettoCorpuscolare
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 8978-8982 Oggetto è un' istanza di Ice Oggetto è un' istanza di Acqua attribute Oggetto and Solid
(<=>
    (instance ?Index InflationIndex)
    (exists (?Inflation)
        (and
            (instance ?Inflation Inflation)
            (benchmark ?Inflation ?Index))))		 FinancialOntology.kif 1668-1673 PerformanceMeasure è un' istanza di InflationIndex Astratto Astratto è un' istanza di Inflation benchmark Astratto and PerformanceMeasure
(<=>
    (instance ?Index StockIndex)
    (exists (?Stock)
        (and
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))		 FinancialOntology.kif 1696-1701 Astratto è un' istanza di StockIndex PerformanceMeasure PerformanceMeasure è un' istanza di Stock benchmark Astratto and PerformanceMeasure
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 20185-20189 Oggetto è un' istanza di Lamb Oggetto è un' istanza di Sheep attribute Oggetto and NonFullyFormed
(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1948-1952 NumeroReale è un' istanza di NumeroRealeNegativo NumeroReale è meno di0 NumeroReale è un' istanza di NumeroReale
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1926-1930 NumeroReale è un' istanza di NumeroRealeNonNegativo NumeroReale è più grande di o uguale a 0 NumeroReale è un' istanza di NumeroReale
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1937-1941 NumeroReale è un' istanza di NumeroRealePositivo NumeroReale è più grande di 0 NumeroReale è un' istanza di NumeroReale
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))		 Government.kif 108-115 Organizzazione è un' istanza di GovernmentOrganization Organizzazione è un' istanza di Governo Organizzazione Organizzazione è un' istanza di Governo subOrganization Organizzazione and Organizzazione
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 20240-20244 Oggetto è un' istanza di Rooster Oggetto è un' istanza di Chicken attribute Oggetto and Male
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 8325-8327 AreaGeopolitica è un' istanza di StatoOProvincia GovernmentFn AreaGeopolitica è un' istanza di StateGovernment
(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 10943-10949 OggettoCorpuscolare è un' istanza di Vertebrato OggettoCorpuscolare OggettoCorpuscolare è un' istanza di Animale OggettoCorpuscolare è un componente di OggettoCorpuscolare OggettoCorpuscolare è un' istanza di SpinalColumn
(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))		 engineering.kif 155-157 Entit� è un' istanza di DifferentialEquation Entit� è un' istanza di AttrFn Equation and DifferentialAttribute
(<=>
    (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)))))		 Economy.kif 1419-1424 laborForceFractionByOccupationInPeriod AreaGeopolitica, Attributo, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale laborForceFractionByOccupation AreaGeopolitica, Attributo and NumeroReale vales durante PosizioneTemporale
(<=>
    (laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceTotal ?AREA ?AMOUNT)))))		 Economy.kif 1373-1378 laborForceTotalInPeriod AreaGeopolitica, NumeroRealeNonNegativo and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale laborForceTotal AreaGeopolitica and NumeroRealeNonNegativo vales durante PosizioneTemporale
(<=>
    (larger ?OBJ1 ?OBJ2)
    (forall (?QUANT1 ?QUANT2 ?UNIT)
        (=>
            (and
                (measure ?OBJ1
                    (MeasureFn ?QUANT1 ?UNIT))
                (measure ?OBJ2
                    (MeasureFn ?QUANT2 ?UNIT))
                (instance ?UNIT UnitOfLength))
            (greaterThan ?QUANT1 ?QUANT2))))		 Merge.kif 7780-7788 Oggetto è più largo di Oggetto NumeroReale NumeroReale and Unit�DiMisura
(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 182-189 lengthOfBroadGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 712-719 lengthOfCrudeOilPipeline AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza

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