and

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


(<=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (incomeDistributionByGiniIndex ?AREA ?INDEX)))))		 Economy.kif 1318-1323 incomeDistributionByGiniIndexInPeriod GeopoliticalArea, NonnegativeRealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und incomeDistributionByGiniIndex ** GeopoliticalArea and ** NonnegativeRealNumber haelt waehrend ** TimePosition %n{nicht}
(<=>
    (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (industrialProductionGrowthRate ?AREA ?RATE)))))		 Economy.kif 1949-1954 industrialProductionGrowthRateInPeriod GeopoliticalArea, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und industrialProductionGrowthRate ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht}
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Female)))		 Mid-level-ontology.kif 20200-20204 Object ist ein fall von Bull %n{nicht} genau dann wenn ** Object ist ein fall von Cattle %n{nicht} und Female ist ein attribut von ** Object %n{nicht}
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))		 Mid-level-ontology.kif 20218-20222 Object ist ein fall von Bull %n{nicht} genau dann wenn ** Object ist ein fall von Cattle %n{nicht} und Male ist ein attribut von ** Object %n{nicht}
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 11682-11689 Object ist ein fall von Bone %n{nicht} genau dann wenn es gibt ** Object um ** ** Object ist ein fall von Skeleton %n{nicht} oder ** ** Object ist ein fall von Exoskeleton %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht}
(<=>
    (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 ?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 ?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}
(<=>
    (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}
(<=>
    (languagePercentInRegion ?L ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (and
            (located ?P ?R)
            (member ?P ?G1)
            (speaksLanguage ?P ?L)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))		 People.kif 1566-1577 languagePercentInRegion Language, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , SentientAgent,, , ** SentientAgent2,, , ** RealNumber1, and und ** RealNumber2 um ** SentientAgent befindet sich an %n{nicht} und ** SentientAgent ist ein Mitglied von ** Collection %n{nicht} und speaksLanguage ** SentientAgent and ** Language und memberCount ** Collection and ** RealNumber1 und ** SentientAgent2 befindet sich an %n{nicht} und ** SentientAgent2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %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