instance

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


(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 20209-20213 Object ist ein fall von Calf %n{nicht} genau dann wenn ** Object ist ein fall von Cattle %n{nicht} und NonFullyFormed ist ein attribut von ** Object %n{nicht}
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))		 Mid-level-ontology.kif 8333-8335 GeopoliticalArea ist ein fall von City %n{nicht} genau dann wenn GovernmentFn ** GeopoliticalArea ist ein fall von CityGovernment %n{nicht}
(<=>
    (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 Entity ist ein fall von ConjugatedSubstance %n{nicht} genau dann wenn es gibt Object, ** Object, and und Process um ** Object ist ein fall von CompoundSubstance %n{nicht} und ** ** Object ist ein fall von CompoundSubstance %n{nicht} und ** Object ist gleich ** ** Object nicht und ** Process ist ein fall von ChemicalSynthesis %n{nicht} und ** Object ist ein hilfmittel fuer ** Process %n{nicht} und ** ** Object ist ein hilfmittel fuer ** Process %n{nicht} und ** Entity ist ein resultat von ** Process %n{nicht}
(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))		 FinancialOntology.kif 1321-1326 Collateral ist ein fall von Collateral %n{nicht} genau dann wenn es gibt FinancialAccount um ** FinancialAccount ist ein fall von SecuredLoan %n{nicht} und securedBy ** FinancialAccount and ** Collateral
(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))		 Mid-level-ontology.kif 8080-8085 GeopoliticalArea ist ein fall von CityDistrict %n{nicht} genau dann wenn es gibt ** GeopoliticalArea um ** ** GeopoliticalArea ist ein fall von City %n{nicht} und geopoliticalSubdivision ** GeopoliticalArea and ** ** GeopoliticalArea
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 30094-30098 Object ist ein fall von DamagedVehicle %n{nicht} genau dann wenn ** Object ist ein fall von Vehicle %n{nicht} und DeviceDamaged ist ein attribut von ** Object %n{nicht}
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 20232-20236 Object ist ein fall von Hen %n{nicht} genau dann wenn ** Object ist ein fall von Chicken %n{nicht} und Female ist ein attribut von ** Object %n{nicht}
(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))		 QoSontology.kif 63-68 CorpuscularObject ist ein fall von ComputerHardware %n{nicht} genau dann wenn es gibt ** CorpuscularObject um ** ** CorpuscularObject ist ein fall von Computer %n{nicht} und ** CorpuscularObject ist ein bestandteil von ** ** CorpuscularObject %n{nicht}
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 8979-8983 Object ist ein fall von Ice %n{nicht} genau dann wenn ** Object ist ein fall von Water %n{nicht} und Solid ist ein attribut von ** Object %n{nicht}
(<=>
    (instance ?Index InflationIndex)
    (exists (?Inflation)
        (and
            (instance ?Inflation Inflation)
            (benchmark ?Inflation ?Index))))		 FinancialOntology.kif 1668-1673 PerformanceMeasure ist ein fall von InflationIndex %n{nicht} genau dann wenn es gibt Abstract um ** Abstract ist ein fall von Inflation %n{nicht} und benchmark ** Abstract and ** PerformanceMeasure
(<=>
    (instance ?Index StockIndex)
    (exists (?Stock)
        (and
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))		 FinancialOntology.kif 1696-1701 Abstract ist ein fall von StockIndex %n{nicht} genau dann wenn es gibt PerformanceMeasure um ** PerformanceMeasure ist ein fall von Stock %n{nicht} und benchmark ** Abstract and ** PerformanceMeasure
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 20186-20190 Object ist ein fall von Lamb %n{nicht} genau dann wenn ** Object ist ein fall von Sheep %n{nicht} und NonFullyFormed ist ein attribut von ** Object %n{nicht}
(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1948-1952 RealNumber ist ein fall von NegativeRealNumber %n{nicht} genau dann wenn ** RealNumber ist kleinerAls 0 %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht}
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1926-1930 RealNumber ist ein fall von NonnegativeRealNumber %n{nicht} genau dann wenn ** RealNumber ist groesserAlsOderGleich 0 %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht}
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1937-1941 RealNumber ist ein fall von PositiveRealNumber %n{nicht} genau dann wenn ** RealNumber ist groesserAls 0 %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht}
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))		 Government.kif 108-115 Organization ist ein fall von GovernmentOrganization %n{nicht} genau dann wenn ** Organization ist ein fall von Government %n{nicht} oder es gibt ** Organization um ** ** Organization ist ein fall von Government %n{nicht} und subOrganization ** Organization and ** ** Organization
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 20241-20245 Object ist ein fall von Rooster %n{nicht} genau dann wenn ** Object ist ein fall von Chicken %n{nicht} und Male ist ein attribut von ** Object %n{nicht}
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 8326-8328 GeopoliticalArea ist ein fall von StateOrProvince %n{nicht} genau dann wenn GovernmentFn ** GeopoliticalArea ist ein fall von StateGovernment %n{nicht}
(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 10944-10950 CorpuscularObject ist ein fall von Vertebrate %n{nicht} genau dann wenn es gibt ** CorpuscularObject um ** CorpuscularObject ist ein fall von Animal %n{nicht} und ** ** CorpuscularObject ist ein bestandteil von ** CorpuscularObject %n{nicht} und ** ** CorpuscularObject ist ein fall von SpinalColumn %n{nicht}
(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))		 engineering.kif 155-157 Entity ist ein fall von DifferentialEquation %n{nicht} genau dann wenn ** Entity ist ein fall von AttrFn Equation and DifferentialAttribute %n{nicht}
(<=>
    (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)))))		 Economy.kif 1419-1424 laborForceFractionByOccupationInPeriod GeopoliticalArea, Attribute, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und laborForceFractionByOccupation ** GeopoliticalArea, ** Attribute and ** RealNumber haelt waehrend ** TimePosition %n{nicht}
(<=>
    (laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceTotal ?AREA ?AMOUNT)))))		 Economy.kif 1373-1378 laborForceTotalInPeriod GeopoliticalArea, NonnegativeRealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und laborForceTotal ** GeopoliticalArea and ** NonnegativeRealNumber haelt waehrend ** TimePosition %n{nicht}
(<=>
    (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 7758-7766 Object ist groesser als ** Object genau dann wenn fuer alle RealNumber, ** RealNumber, and und UnitOfMeasure
(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 182-189 lengthOfBroadGaugeRailway GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 712-719 lengthOfCrudeOilPipeline GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}

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