Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - <=>
<=>

antecedent
-------------------------


(=>
    (<=>
        (element ?ELEMENT ?SET1)
        (element ?ELEMENT ?SET2))
    (equal ?SET1 ?SET2))		 Merge.kif 5421-5425

consequent
-------------------------


(=>
    (and
        (graphPart ?PATH ?GRAPH)
        (not
            (instance ?GRAPH DirectedGraph)))
    (<=>
        (instance ?PATH
            (GraphPathFn ?NODE1 ?NODE2))
        (instance ?PATH
            (GraphPathFn ?NODE2 ?NODE1))))		 Merge.kif 6062-6068
(=>
    (and
        (instance ?ARGUMENT Argument)
        (equal ?PREMISES
            (PremisesFn ?ARGUMENT)))
    (<=>
        (subProposition ?PROPOSITION ?PREMISES)
        (premise ?ARGUMENT ?PROPOSITION)))		 Merge.kif 16906-16912
(=>
    (and
        (instance ?PERSON Human)
        (equal
            (DescendantsFn ?PERSON) ?DESCENDANTS))
    (forall (?MEMBER)
        (<=>
            (member ?MEMBER ?DESCENDANTS)
            (ancestor ?MEMBER ?PERSON))))		 Mid-level-ontology.kif 7466-7473
(=>
    (and
        (instance ?POINT1 TimePoint)
        (instance ?POINT2 TimePoint)
        (instance ?INTERVAL TimeInterval)
        (equal
            (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL))
    (forall (?POINT)
        (<=>
            (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
            (temporalPart ?POINT ?INTERVAL))))		 Merge.kif 8452-8461
(=>
    (equal ?ATTR1 ?ATTR2)
    (forall (?THING)
        (<=>
            (property ?THING ?ATTR1)
            (property ?THING ?ATTR2))))		 Merge.kif 267-272
(=>
    (equal ?CLASS1 ?CLASS2)
    (forall (?THING)
        (<=>
            (instance ?THING ?CLASS1)
            (instance ?THING ?CLASS2))))		 Merge.kif 281-286
(=>
    (equal ?OBJ3
        (MereologicalDifferenceFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (properPart ?PART ?OBJ3)
            (and
                (properPart ?PART ?OBJ1)
                (not
                    (properPart ?PART ?OBJ2))))))		 Merge.kif 9859-9868
(=>
    (equal ?OBJ3
        (MereologicalProductFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (part ?PART ?OBJ3)
            (and
                (part ?PART ?OBJ1)
                (part ?PART ?OBJ2)))))		 Merge.kif 9839-9846
(=>
    (equal ?OBJ3
        (MereologicalSumFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (part ?PART ?OBJ3)
            (or
                (part ?PART ?OBJ1)
                (part ?PART ?OBJ2)))))		 Merge.kif 9818-9825
(=>
    (equal ?THING1 ?THING2)
    (forall (?ATTR)
        (<=>
            (property ?THING1 ?ATTR)
            (property ?THING2 ?ATTR))))		 Merge.kif 260-265
(=>
    (equal ?THING1 ?THING2)
    (forall (?CLASS)
        (<=>
            (instance ?THING1 ?CLASS)
            (instance ?THING2 ?CLASS))))		 Merge.kif 274-279

appearance as argument number 0
-------------------------


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))		 FinancialOntology.kif 1018-1022 accountHolder FinancialAccount and CognitiveAgent und ** CognitiveAgent ist ein fall von Corporation %n{nicht} genau dann wenn ** FinancialAccount ist ein fall von CorporateAccount %n{nicht}
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))		 FinancialOntology.kif 996-1000 accountHolder FinancialAccount and CognitiveAgent und ** CognitiveAgent ist ein fall von Human %n{nicht} genau dann wenn ** FinancialAccount ist ein fall von PersonalAccount %n{nicht}
(<=>
    (and
        (agreementPeriod ?Account ?Period)
        (finishes ?End ?Period))
    (maturityDate ?Account ?End))		 FinancialOntology.kif 642-646 agreementPeriod FinancialAccount and TimeInterval und Day beendet ** TimeInterval %n{nicht} genau dann wenn maturityDate ** FinancialAccount and ** Day
(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))		 MilitaryDevices.kif 1462-1467 Das altitude von Aircraft ist SelfConnectedObject %n{nicht} und ** SelfConnectedObject ist eine flaeche von PlanetEarth %n{nicht} und ** Aircraft ist ein fall von Aircraft %n{nicht} genau dann wenn absoluteHeight ** Aircraft and AltitudeMeasure
(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0.0 ?NUMBER1)))))		 Merge.kif 4768-4779 Der absolutebetrag von RealNumber ist gleich NonnegativeRealNumber %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht} und ** NonnegativeRealNumber ist ein fall von RealNumber %n{nicht} genau dann wenn ** RealNumber ist ein fall von NonnegativeRealNumber %n{nicht} und ** RealNumber ist gleich ** NonnegativeRealNumber %n{nicht} oder ** RealNumber ist ein fall von NegativeRealNumber %n{nicht} und ** NonnegativeRealNumber ist gleich (0.0 und ** RealNumber) %n{nicht}
(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 2321-2326 FinancialAccount ist ein fall von FinancialAccount %n{nicht} und CognitiveAgent besitzt FinancialAsset %n{nicht} und ** FinancialAccount ist gleich AccountFn ** FinancialAsset %n{nicht} genau dann wenn accountHolder ** FinancialAccount and ** CognitiveAgent
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))		 FinancialOntology.kif 1007-1011 Entity ist ein fall von PersonalAccount %n{nicht} und die Zahl Faellen in die kategorie die SymbolicString beschreibt ist groesserAls 1 %n{nicht} genau dann wenn ** Entity ist ein fall von JointAccount %n{nicht}
(<=>
    (and
        (instance ?B BodyPart)
        (holdsDuring ?T
            (attribute ?B Bare)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?B))))))		 Mid-level-ontology.kif 30166-30176 Entity ist ein fall von BodyPart %n{nicht} und Bare ist ein attribut von ** Entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht ** entity um ** ** entity ist ein fall von Clothing %n{nicht} und covers ** ** entity and ** Entity haelt waehrend ** TimePosition %n{nicht}
(<=>
    (and
        (instance ?COMBINE Combining)
        (resource ?COMBINE ?OBJ1)
        (result ?COMBINE ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?COMBINE))
            (not
                (part ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?COMBINE))
            (part ?OBJ1 ?OBJ2))))		 Merge.kif 12488-12495 Process ist ein fall von Combining %n{nicht} und Object ist ein hilfmittel fuer ** Process %n{nicht} und Entity ist ein resultat von ** Process %n{nicht} genau dann wenn ** Object ist ein teil von ** Entity nicht haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Object ist ein teil von ** Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(<=>
    (and
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO1))
    (exists (?OBJ2 ?INFO2)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO2)
            (equal ?INFO1 ?INFO2))))		 Mid-level-ontology.kif 26317-26328 Process ist ein fall von Photocopying %n{nicht} und ContentBearingPhysical ist ein patient von ** Process %n{nicht} und ** ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ** ContentBearingPhysical enthaelt Informationen ueber Proposition genau dann wenn es gibt ** ContentBearingPhysical und ** Proposition um ** ** ContentBearingPhysical ist ein resultat von ** Process %n{nicht} und ** ** ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ** ** ContentBearingPhysical enthaelt Informationen ueber ** ** Proposition und ** Proposition ist gleich ** ** Proposition %n{nicht}
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500.0 ?S))
    (instance ?LD Droplet))		 Geography.kif 7524-7530 SelfConnectedObject ist ein fall von LiquidDrop %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und 500.0 ist kleinerAls ** RealNumber %n{nicht} genau dann wenn ** SelfConnectedObject ist ein fall von Droplet %n{nicht}
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10.0 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))		 Geography.kif 7440-7451 Object ist ein fall von ParticulateMatter %n{nicht} und SelfConnectedObject ist ein teil von ** Object %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und 10.0 ist groesserAls ** RealNumber %n{nicht} und ** RealNumber ist groesserAls 2.5 %n{nicht} genau dann wenn es gibt ** Object10 um ** Object10 ist ein fall von CoarseParticulateMatter %n{nicht} und ** Object10 ist ein teil von ** Object %n{nicht}
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThanOrEqualTo ?S 2.5))
    (exists (?PM25)
        (and
            (instance ?PM25 FineParticulateMatter)
            (part ?PM25 ?PM))))		 Geography.kif 7469-7479 Object ist ein fall von ParticulateMatter %n{nicht} und SelfConnectedObject ist ein teil von ** Object %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und ** RealNumber ist groesserAlsOderGleich 2.5 %n{nicht} genau dann wenn es gibt ** Object25 um ** Object25 ist ein fall von FineParticulateMatter %n{nicht} und ** Object25 ist ein teil von ** Object %n{nicht}
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))		 ComputerInput.kif 1789-1793 Entity ist ein fall von WindowScrolling %n{nicht} und ** Entity ist ein fall von UserSignifiedGraphicalAction %n{nicht} genau dann wenn ** Entity ist ein fall von WindowScrollingByUser %n{nicht}
(<=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal
            (CurrencyFn ?Account))
        (not
            (exists (?Penalty)
                (and
                    (instance ?Penalty Penalty)
                    (destination ?Penalty
                        (CurrencyFn ?Account))
                    (causes ?Withdrawal ?Penalty)))))
    (liquidity ?Account HighLiquidity))		 FinancialOntology.kif 1818-1828 Process ist ein fall von Withdrawal %n{nicht} und FinancialAccount ist ein fall von FinancialAccount %n{nicht} und ** Process beginnet an CurrencyFn ** FinancialAccount %n{nicht} und es gibt nicht ** Process um ** ** Process ist ein fall von Penalty %n{nicht} und ** ** Process endet an CurrencyFn ** FinancialAccount %n{nicht} und ** Process verursacht ** ** Process %n{nicht} genau dann wenn liquidity ** FinancialAccount and HighLiquidity
(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))		 Weather.kif 2676-2686 Entity ist ein fall von Region %n{nicht} und ** Entity hat ein attribut StandardAmbientTemperaturePressure %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn airTemperature ** Entity and 298.15 KelvinDegree(s) und barometricPressure ** Entity and 29.530 InchMercury(s) haelt waehrend ** TimePosition %n{nicht}
(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 357-390 Year ist ein fall von das jahr ** YearEAR %n{nicht} und MaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM und average ** List and ** RealNumber
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 82-97 Year ist ein fall von das jahr Integer %n{nicht} und BirthsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 118-133 Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))		 People.kif 238-264 Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Female)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 403-436 Year ist ein fall von das jahr Integer %n{nicht} und FemaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM und average ** List and ** RealNumber
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 310-342 Year ist ein fall von das jahr Integer %n{nicht} und LifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM und average ** List and ** RealNumber
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (SubtractionFn ?Y ?PY) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?PY))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring ?YEAR
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring ?YEAR
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 156-187 Year ist ein fall von das jahr Integer %n{nicht} und MigrantsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** Integer) ist gleich 1 %n{nicht} und Entity ist ein fall von das jahr ** ** Integer %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und ** ** RealNumber und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und (** ** Integer und ** ** Integer) ist gleich ** RealNumber %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht}
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT))
    (and
        (equal
            (SubtractionFn ?Y ?YP) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?YP))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (holdsDuring ?PREVIOUSYEAR
            (equal
                (PopulationFn ?AREA) ?PREVIOUSPOPULATION))
        (equal
            (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT)
        (equal
            (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))		 People.kif 52-64 Year ist ein fall von das jahr Integer %n{nicht} und PopulationGrowthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** IntegerP) ist gleich 1 %n{nicht} und TimePosition ist ein fall von das jahr ** IntegerP %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** TimePosition %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht} und (** ** RealNumber und 1) ist gleich ** RealNumber %n{nicht}
(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 24789-24794 PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und PostcodeArea ist ein fall von PostcodeArea %n{nicht} genau dann wenn postPostcodeArea ** PostalPlace and ** PostcodeArea

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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