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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - instance
instance

appearance as argument number 1
-------------------------


(documentation instance ChineseLanguage "如果一个物体属于一个 SetOrClass， 这物体就那个 SetOrClass 的一个instance。 一个个体可以是许多类别的一个 instance， 其中有一些可以是其他类别 的子类别，所以对于 instance 并没有假设任何具体或独特的含义。") chinese_format.kif 1359-1361
(documentation instance EnglishLanguage "An object is an instance of a Class if it is included in that Class. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness.") Merge.kif 84-87
(documentation instance JapaneseLanguage "オブジェクトがその SetOrClass に含まれている場合、 オブジェクトは SetOrClass の instance である。個々は多くのクラスSetOrClass instance である可能性があり、その一部は他のサブクラスである場合がある。したがって、特異性または一意性に関 する instance の意味の仮定はしない。") japanese_format.kif 17-20
(documentation instance SpanishLanguage "Un objeto es una instance de un SetOrClass si es incluido en el SetOrClass. Un individuo puede ser una instance de muchas clases, en algunas de las cuales pueden ser una subclase de otros. Desde este modo, no hay asunción en el significado de instance sobre especificidad o unicidad.") spanish_format.kif 17-20
(domain instance 1 Entity) Merge.kif 81-81 Die Zahl 1 Argument von fall ist ein fall von Wesen %n{nicht}
(domain instance 2 Class) Merge.kif 82-82 Die Zahl 2 Argument von fall ist ein fall von Kategorie %n{nicht}
(instance instance BinaryPredicate) Merge.kif 80-80 fall ist ein fall von zweistellige Praedikat %n{nicht}

appearance as argument number 2
-------------------------


(format ChineseLanguage instance "%1 %n 是 %2 的 instance") chinese_format.kif 305-305
(format EnglishLanguage instance "%1 is %n an instance of %2") english_format.kif 310-310
(format FrenchLanguage instance "%1 est %n une instance de %2") french_format.kif 175-175
(format ItalianLanguage instance "%1 è %n un' istanza di %2") relations-it.txt 149-149
(format JapaneseLanguage instance "%1 は %2 の instance では %n") japanese_format.kif 1995-1995
(format PortugueseLanguage instance "%1 e' %n uma instancia de %2") portuguese_format.kif 127-127
(format cz instance "%1 %p{je} %n{nen�} instanc� t��dy %2") relations-cz.txt 173-173
(format de instance "%1 ist ein fall von %2 %n{nicht}") relations-de.txt 400-400
(format hi instance "%1 %2 kaa drishhTaanta %n hai") relations-hindi.txt 188-188
(format ro instance "%1 %n{nu} este o instance%t{instanþiere} a lui %2") relations-ro.kif 195-195
(format sv instance "%1 är %n{inte} en instans av %2") relations-sv.txt 184-184
(format tg instance "%1 %n ay ang kasapi sa %2") relations-tg.txt 302-302
(relatedInternalConcept member instance) Merge.kif 1274-1274 mitglied ist innerlich verwandt mit fall %n{nicht}
(subrelation immediateInstance instance) Merge.kif 89-89 direkterFall ist eine teilrelation von fall
(termFormat ChineseLanguage instance "例") domainEnglishFormat.kif 30275-30275 direkterFall ist eine teilrelation von fall
(termFormat ChineseLanguage instance "实例") chinese_format.kif 306-306 direkterFall ist eine teilrelation von fall
(termFormat ChineseTraditionalLanguage instance "例") domainEnglishFormat.kif 30274-30274 direkterFall ist eine teilrelation von fall
(termFormat EnglishLanguage instance "instance") domainEnglishFormat.kif 30273-30273 direkterFall ist eine teilrelation von fall
(termFormat de instance "fall") terms-de.txt 126-126 direkterFall ist eine teilrelation von fall
(termFormat tg instance "halimbawa") relations-tg.txt 303-303 direkterFall ist eine teilrelation von fall

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))		 FinancialOntology.kif 1018-1022 accountHolder FinancialAccount and kognitiver Agent und ** kognitiver Agent ist ein fall von Handelsgesellshaft %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 kognitiver Agent und ** kognitiver Agent ist ein fall von Mensch %n{nicht} genau dann wenn ** FinancialAccount ist ein fall von PersonalAccount %n{nicht}
(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))		 MilitaryDevices.kif 1462-1467 Das altitude von Aircraft ist selbstverbundener Gegenstand %n{nicht} und ** selbstverbundener Gegenstand 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 4762-4773 Der absolutebetrag von reelle Zahl ist gleich nichtnegative reelle Zahl %n{nicht} und ** reelle Zahl ist ein fall von reelle Zahl %n{nicht} und ** nichtnegative reelle Zahl ist ein fall von reelle Zahl %n{nicht} genau dann wenn ** reelle Zahl ist ein fall von nichtnegative reelle Zahl %n{nicht} und ** reelle Zahl ist gleich ** nichtnegative reelle Zahl %n{nicht} oder ** reelle Zahl ist ein fall von negative reelle Zahl %n{nicht} und ** nichtnegative reelle Zahl ist gleich (0.0 und ** reelle Zahl) %n{nicht}
(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 2335-2340 FinancialAccount ist ein fall von FinancialAccount %n{nicht} und kognitiver Agent besitzt FinancialAsset %n{nicht} und ** FinancialAccount ist gleich AccountFn ** FinancialAsset %n{nicht} genau dann wenn accountHolder ** FinancialAccount and ** kognitiver Agent
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))		 FinancialOntology.kif 1007-1011 Wesen ist ein fall von PersonalAccount %n{nicht} und die Zahl Faellen in die kategorie die Zeichenfolge beschreibt ist groesserAls 1 %n{nicht} genau dann wenn ** Wesen 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 31292-31302 Wesen ist ein fall von Koerperteil %n{nicht} und Bare ist ein attribut von ** Wesen %n{nicht} haelt waehrend Zeitposition %n{nicht} genau dann wenn es gibt nicht ** Wesen um ** ** Wesen ist ein fall von Kleidung %n{nicht} und covers ** ** Wesen and ** Wesen haelt waehrend ** Zeitposition %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 12541-12548 Prozess ist ein fall von Kombinieren %n{nicht} und Gegenstand ist ein hilfmittel fuer ** Prozess %n{nicht} und Wesen ist ein resultat von ** Prozess %n{nicht} genau dann wenn ** Gegenstand ist ein teil von ** Wesen nicht haelt waehrend der anfang von die zeit des Bestehens von ** Prozess %n{nicht} und ** Gegenstand ist ein teil von ** Wesen %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Prozess %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 27424-27435 Prozess ist ein fall von Photocopying %n{nicht} und ContentBearingPhysical ist ein patient von ** Prozess %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 ** Prozess %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 7592-7598 Selbstverbundener Gegenstand ist ein fall von LiquidDrop %n{nicht} und approximateDiameter ** selbstverbundener Gegenstand and reelle Zahl Micrometer(s) und 500.0 ist kleinerAls ** reelle Zahl %n{nicht} genau dann wenn ** selbstverbundener Gegenstand 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 7508-7519 Gegenstand ist ein fall von ParticulateMatter %n{nicht} und selbstverbundener Gegenstand ist ein teil von ** Gegenstand %n{nicht} und approximateDiameter ** selbstverbundener Gegenstand and reelle Zahl Micrometer(s) und 10.0 ist groesserAls ** reelle Zahl %n{nicht} und ** reelle Zahl ist groesserAls 2.5 %n{nicht} genau dann wenn es gibt ** Gegenstand10 um ** Gegenstand10 ist ein fall von CoarseParticulateMatter %n{nicht} und ** Gegenstand10 ist ein teil von ** Gegenstand %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 7537-7547 Gegenstand ist ein fall von ParticulateMatter %n{nicht} und selbstverbundener Gegenstand ist ein teil von ** Gegenstand %n{nicht} und approximateDiameter ** selbstverbundener Gegenstand and reelle Zahl Micrometer(s) und ** reelle Zahl ist groesserAlsOderGleich 2.5 %n{nicht} genau dann wenn es gibt ** Gegenstand25 um ** Gegenstand25 ist ein fall von FineParticulateMatter %n{nicht} und ** Gegenstand25 ist ein teil von ** Gegenstand %n{nicht}
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))		 ComputerInput.kif 1789-1793 Wesen ist ein fall von WindowScrolling %n{nicht} und ** Wesen ist ein fall von UserSignifiedGraphicalAction %n{nicht} genau dann wenn ** Wesen 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 1832-1842 Prozess ist ein fall von Withdrawal %n{nicht} und FinancialAccount ist ein fall von FinancialAccount %n{nicht} und ** Prozess beginnet an CurrencyFn ** FinancialAccount %n{nicht} und es gibt nicht ** Prozess um ** ** Prozess ist ein fall von Penalty %n{nicht} und ** ** Prozess endet an CurrencyFn ** FinancialAccount %n{nicht} und ** Prozess verursacht ** ** Prozess %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 2662-2672 Wesen ist ein fall von Gebiet %n{nicht} und ** Wesen hat ein attribut StandardAmbientTemperaturePressure %n{nicht} haelt waehrend Zeitposition %n{nicht} genau dann wenn airTemperature ** Wesen and 298.15 KelvinDegree(s) und barometricPressure ** Wesen and 29.530 InchMercury(s) haelt waehrend ** Zeitposition %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 Jahr ist ein fall von das jahr ** JahrEAR %n{nicht} und MaleLifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste %n{nicht} und Laenge von ** Liste ist ein fall von ** ** Ganzzahl %n{nicht} und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl
(<=>
    (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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und BirthsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn PopulationFn ** geopolitischer Bereich und 1000 ist gleich ** reelle Zahl %n{nicht} und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht} und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl %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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und DeathsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn PopulationFn ** geopolitischer Bereich und 1000 ist gleich ** reelle Zahl %n{nicht} und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht} und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl %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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und DeathsPerThousandLiveBirthsFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht} und ** ** Ganzzahl und 1000 ist gleich ** reelle Zahl %n{nicht} und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt %n{nicht} und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl %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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und FemaleLifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste %n{nicht} und Laenge von ** Liste ist ein fall von ** ** Ganzzahl %n{nicht} und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl
(<=>
    (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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und LifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste %n{nicht} und Laenge von ** Liste ist ein fall von ** ** Ganzzahl %n{nicht} und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl
(<=>
    (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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und MigrantsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn (** Ganzzahl und ** Ganzzahl) ist gleich 1 %n{nicht} und Wesen ist ein fall von das jahr ** ** Ganzzahl %n{nicht} und PopulationFn ** geopolitischer Bereich ist gleich ** reelle Zahl %n{nicht} haelt waehrend ** Jahr %n{nicht} und ** ** reelle Zahl und 1000 ist gleich ** reelle Zahl %n{nicht} und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht} und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt %n{nicht} und (** ** Ganzzahl und ** ** Ganzzahl) ist gleich ** reelle Zahl %n{nicht} und ** ** reelle Zahl und ** ** reelle Zahl ist gleich ** reelle Zahl %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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und PopulationGrowthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn (** Ganzzahl und ** GanzzahlP) ist gleich 1 %n{nicht} und Zeitposition ist ein fall von das jahr ** GanzzahlP %n{nicht} und PopulationFn ** geopolitischer Bereich ist gleich ** reelle Zahl %n{nicht} haelt waehrend ** Jahr %n{nicht} und PopulationFn ** geopolitischer Bereich ist gleich ** reelle Zahl %n{nicht} haelt waehrend ** Zeitposition %n{nicht} und ** ** reelle Zahl und ** ** reelle Zahl ist gleich ** reelle Zahl %n{nicht} und (** ** reelle Zahl und 1) ist gleich ** reelle Zahl %n{nicht}
(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 25909-25914 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
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))		 Mid-level-ontology.kif 25882-25887 PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und Stadt ist ein fall von Stadt %n{nicht} genau dann wenn postCity ** PostalPlace and ** Stadt

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))		 FinancialOntology.kif 1018-1022 accountHolder FinancialAccount and kognitiver Agent und ** kognitiver Agent ist ein fall von Handelsgesellshaft %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 kognitiver Agent und ** kognitiver Agent ist ein fall von Mensch %n{nicht} genau dann wenn ** FinancialAccount ist ein fall von PersonalAccount %n{nicht}
(<=>
    (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 4762-4773 Der absolutebetrag von reelle Zahl ist gleich nichtnegative reelle Zahl %n{nicht} und ** reelle Zahl ist ein fall von reelle Zahl %n{nicht} und ** nichtnegative reelle Zahl ist ein fall von reelle Zahl %n{nicht} genau dann wenn ** reelle Zahl ist ein fall von nichtnegative reelle Zahl %n{nicht} und ** reelle Zahl ist gleich ** nichtnegative reelle Zahl %n{nicht} oder ** reelle Zahl ist ein fall von negative reelle Zahl %n{nicht} und ** nichtnegative reelle Zahl ist gleich (0.0 und ** reelle Zahl) %n{nicht}
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))		 FinancialOntology.kif 1007-1011 Wesen ist ein fall von PersonalAccount %n{nicht} und die Zahl Faellen in die kategorie die Zeichenfolge beschreibt ist groesserAls 1 %n{nicht} genau dann wenn ** Wesen 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 31292-31302 Wesen ist ein fall von Koerperteil %n{nicht} und Bare ist ein attribut von ** Wesen %n{nicht} haelt waehrend Zeitposition %n{nicht} genau dann wenn es gibt nicht ** Wesen um ** ** Wesen ist ein fall von Kleidung %n{nicht} und covers ** ** Wesen and ** Wesen haelt waehrend ** Zeitposition %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 27424-27435 Prozess ist ein fall von Photocopying %n{nicht} und ContentBearingPhysical ist ein patient von ** Prozess %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 ** Prozess %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 7592-7598 Selbstverbundener Gegenstand ist ein fall von LiquidDrop %n{nicht} und approximateDiameter ** selbstverbundener Gegenstand and reelle Zahl Micrometer(s) und 500.0 ist kleinerAls ** reelle Zahl %n{nicht} genau dann wenn ** selbstverbundener Gegenstand 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 7508-7519 Gegenstand ist ein fall von ParticulateMatter %n{nicht} und selbstverbundener Gegenstand ist ein teil von ** Gegenstand %n{nicht} und approximateDiameter ** selbstverbundener Gegenstand and reelle Zahl Micrometer(s) und 10.0 ist groesserAls ** reelle Zahl %n{nicht} und ** reelle Zahl ist groesserAls 2.5 %n{nicht} genau dann wenn es gibt ** Gegenstand10 um ** Gegenstand10 ist ein fall von CoarseParticulateMatter %n{nicht} und ** Gegenstand10 ist ein teil von ** Gegenstand %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 7537-7547 Gegenstand ist ein fall von ParticulateMatter %n{nicht} und selbstverbundener Gegenstand ist ein teil von ** Gegenstand %n{nicht} und approximateDiameter ** selbstverbundener Gegenstand and reelle Zahl Micrometer(s) und ** reelle Zahl ist groesserAlsOderGleich 2.5 %n{nicht} genau dann wenn es gibt ** Gegenstand25 um ** Gegenstand25 ist ein fall von FineParticulateMatter %n{nicht} und ** Gegenstand25 ist ein teil von ** Gegenstand %n{nicht}
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))		 ComputerInput.kif 1789-1793 Wesen ist ein fall von WindowScrolling %n{nicht} und ** Wesen ist ein fall von UserSignifiedGraphicalAction %n{nicht} genau dann wenn ** Wesen ist ein fall von WindowScrollingByUser %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 Jahr ist ein fall von das jahr ** JahrEAR %n{nicht} und MaleLifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste %n{nicht} und Laenge von ** Liste ist ein fall von ** ** Ganzzahl %n{nicht} und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl
(<=>
    (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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und BirthsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn PopulationFn ** geopolitischer Bereich und 1000 ist gleich ** reelle Zahl %n{nicht} und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht} und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl %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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und DeathsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn PopulationFn ** geopolitischer Bereich und 1000 ist gleich ** reelle Zahl %n{nicht} und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht} und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl %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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und DeathsPerThousandLiveBirthsFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht} und ** ** Ganzzahl und 1000 ist gleich ** reelle Zahl %n{nicht} und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt %n{nicht} und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl %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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und FemaleLifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste %n{nicht} und Laenge von ** Liste ist ein fall von ** ** Ganzzahl %n{nicht} und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl
(<=>
    (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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und LifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste %n{nicht} und Laenge von ** Liste ist ein fall von ** ** Ganzzahl %n{nicht} und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl
(<=>
    (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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und MigrantsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn (** Ganzzahl und ** Ganzzahl) ist gleich 1 %n{nicht} und Wesen ist ein fall von das jahr ** ** Ganzzahl %n{nicht} und PopulationFn ** geopolitischer Bereich ist gleich ** reelle Zahl %n{nicht} haelt waehrend ** Jahr %n{nicht} und ** ** reelle Zahl und 1000 ist gleich ** reelle Zahl %n{nicht} und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht} und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt %n{nicht} und (** ** Ganzzahl und ** ** Ganzzahl) ist gleich ** reelle Zahl %n{nicht} und ** ** reelle Zahl und ** ** reelle Zahl ist gleich ** reelle Zahl %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 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und PopulationGrowthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl %n{nicht} genau dann wenn (** Ganzzahl und ** GanzzahlP) ist gleich 1 %n{nicht} und Zeitposition ist ein fall von das jahr ** GanzzahlP %n{nicht} und PopulationFn ** geopolitischer Bereich ist gleich ** reelle Zahl %n{nicht} haelt waehrend ** Jahr %n{nicht} und PopulationFn ** geopolitischer Bereich ist gleich ** reelle Zahl %n{nicht} haelt waehrend ** Zeitposition %n{nicht} und ** ** reelle Zahl und ** ** reelle Zahl ist gleich ** reelle Zahl %n{nicht} und (** ** reelle Zahl und 1) ist gleich ** reelle Zahl %n{nicht}
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))		 Economy.kif 1517-1522 annualExpendituresOfAreaInPeriod geopolitischer Bereich, Waehrungma and ** Zeitabstand genau dann wenn es gibt Zeitposition um ** Zeitposition ist ein fall von ** Zeitabstand %n{nicht} und annualExpendituresOfArea ** geopolitischer Bereich and ** Waehrungma haelt waehrend ** Zeitposition %n{nicht}
(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))		 Economy.kif 1488-1493 annualRevenuesOfAreaInPeriod geopolitischer Bereich, Waehrungma and ** Zeitabstand genau dann wenn es gibt Zeitposition um ** Zeitposition ist ein fall von ** Zeitabstand %n{nicht} und annualRevenuesOfArea ** geopolitischer Bereich and ** Waehrungma haelt waehrend ** Zeitposition %n{nicht}
(<=>
    (attribute ?MUSIC PolyphonicMusic)
    (exists (?PART1 ?PART2)
        (and
            (instance ?MUSIC MakingMusic)
            (instance ?PART1 MakingMusic)
            (instance ?PART2 MakingMusic)
            (subProcess ?PART1 ?MUSIC)
            (subProcess ?PART2 ?MUSIC)
            (not
                (equal ?PART1 ?PART2))
            (cooccur ?PART1 ?MUSIC)
            (cooccur ?PART2 ?MUSIC))))		 Mid-level-ontology.kif 744-755 PolyphonicMusic ist ein attribut von Gegenstand %n{nicht} genau dann wenn es gibt Prozess und ** Prozess um ** Gegenstand ist ein fall von MakingMusic %n{nicht} und ** Prozess ist ein fall von MakingMusic %n{nicht} und ** ** Prozess ist ein fall von MakingMusic %n{nicht} und ** Prozess ist ein subProzess von ** Gegenstand und ** ** Prozess ist ein subProzess von ** Gegenstand und ** Prozess ist gleich ** ** Prozess nicht und ** Prozess geschiecht gleichzeitig mit ** Gegenstand %n{nicht} und ** ** Prozess geschiecht gleichzeitig mit ** Gegenstand %n{nicht}
(<=>
    (attribute ?WATER OpenSea)
    (exists (?LAND ?DIST)
        (and
            (instance ?WATER SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER
                (MeasureFn ?DIST NauticalMile))
            (greaterThan ?DIST 5.0))))		 Geography.kif 4780-4789 OpenSea ist ein attribut von Gegenstand %n{nicht} genau dann wenn es gibt koerperlicher Gegenstand und reelle Zahl um ** Gegenstand ist ein fall von Salzwassergebiet %n{nicht} und ** Gegenstand ist ein fall von LandlockedWater nicht und der abstand zwischen ** koerperlicher Gegenstand und ** Gegenstand ist ** reelle Zahl NauticalMile(s) und ** reelle Zahl ist groesserAls 5.0 %n{nicht}
(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))		 FinancialOntology.kif 3957-3962 bankAccount ** FinancialAccount and BankFinancialOrganization genau dann wenn es gibt ** FinancialAccount um ** ** FinancialAccount ist ein fall von ** FinancialAccount %n{nicht} und accountAt ** ** FinancialAccount and ** BankFinancialOrganization
(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?CAPAMOUNT)))))		 Economy.kif 1565-1570 capitalExpendituresOfAreaInPeriod geopolitischer Bereich, Waehrungma and ** Zeitabstand genau dann wenn es gibt Zeitposition um ** Zeitposition ist ein fall von ** Zeitabstand %n{nicht} und capitalExpendituresOfArea ** geopolitischer Bereich and ** Waehrungma haelt waehrend ** Zeitposition %n{nicht}
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))		 Economy.kif 3871-3876 currencyExchangePerUSDollar Waehrungma and ** Zeitabstand genau dann wenn es gibt Zeitposition um ** Zeitposition ist ein fall von ** Zeitabstand %n{nicht} und currencyExchangeRate UnitedStatesDollar and ** Waehrungma haelt waehrend ** Zeitposition %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(agreementEffectiveDate AntarcticTreaty
    (instance ?D
        (DayFn 23
            (MonthFn June
                (YearFn 1961)))))		 Geography.kif 3181-3181 agreementEffectiveDate AntarcticTreaty and ?D ist ein fall von der tag 23 %n{nicht}
(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))		 People.kif 456-469 Jahr ist ein fall von das jahr Ganzzahl %n{nicht} und ChildrenBornPerWomanFn geopolitischer Bereich and ** Jahr ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht}
(containsInformation
    (forall (?AGENT ?VOTER ?ELECTION ?VOTING)
        (=>
            (and
                (instance ?ELECTION
                    (ElectionFn ?AGENT))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (attribute ?VOTER Male))) ExclusiveMaleSuffrage)		 Government.kif 1203-1210 Fuer alle ?AGENT, ?VOTER,, , ?ELECTION, and und ?VOTING enthaelt Informationen ueber ExclusiveMaleSuffrage
(containsInformation
    (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER)
        (=>
            (and
                (instance ?COUNTRY Nation)
                (instance ?ELECTION
                    (ElectionFn ?COUNTRY))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement)		 Government.kif 885-893 Fuer alle ?COUNTRY, ?ELECTION,, , ?VOTING, and und ?VOTER
  • wenn ?COUNTRY ist ein fall von Nation %n{nicht} und ?ELECTION ist ein fall von ElectionFn ?COUNTRY %n{nicht} und ?VOTING ist ein fall von VotingFn ?ELECTION %n{nicht} und ?VOTING ist der agent von ?VOTER %n{nicht},
  • dann ?VOTER ist der buerger von ?COUNTRY
enthaelt Informationen ueber VoterCitizenshipRequirement
(containsInformation
    (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?AGENT
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)		 Government.kif 1054-1065 Fuer alle ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE enthaelt Informationen ueber UniversalSuffrageLaw
(containsInformation
    (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?VOTER ?POLITY)
                (suffrageAgeMinimum ?POLITY
                    (MeasureFn ?VOTINGAGE YearDuration))
                (age ?VOTER
                    (MeasureFn ?AGE YearDuration))
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (exists (?VOTING)
                (and
                    (instance ?VOTING
                        (VotingFn ?ELECTION))
                    (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)		 Government.kif 1122-1136 Fuer alle ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and und ?AGE enthaelt Informationen ueber CompulsorySuffrageLaw
(decreasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS)
        (instance ?SAMPLE ?SUBSTANCE)
        (instance ?THERAPY ?PROCESS)
        (experiencer ?THERAPY ?ORGANISM)
        (patient ?THERAPY ?SAMPLE))
    (attribute ?ORGANISM ?SYMPTOM))		 WMD.kif 921-929 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM und biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS und ?SAMPLE ist ein fall von ?SUBSTANCE %n{nicht} und ?THERAPY ist ein fall von ?PROCESS %n{nicht} und ?ORGANISM erfaehrt ?THERAPY %n{nicht} und ?SAMPLE ist ein patient von ?THERAPY %n{nicht} verringert die Wahrscheinlichkeit von ?SYMPTOM ist ein attribut von ?ORGANISM %n{nicht} %n{nicht}
(decreasesLikelihood
    (exists (?X ?CUT ?PAPER ?CBO ?INFO)
        (and
            (instance ?X PaperShredder)
            (instance ?CUT Cutting)
            (instrument ?CUT ?X)
            (instance ?PAPER Paper)
            (patient ?CUT ?PAPER)
            (located ?CBO ?PAPER)
            (instance ?CBO VisualContentBearingObject)
            (containsInformation ?CBO ?INFO)))
    (exists (?READ)
        (and
            (instance ?READ Interpreting)
            (patient ?READ ?INFO)
            (earlier
                (WhenFn ?CUT)
                (WhenFn ?READ)))))		 Mid-level-ontology.kif 19291-19308 Es gibt ?X, ?CUT,, , ?PAPER,, , ?CBO, and und ?INFO um ?X ist ein fall von PaperShredder %n{nicht} und ?CUT ist ein fall von Schneiden %n{nicht} und ?X ist ein instrument fuer ?CUT %n{nicht} und ?PAPER ist ein fall von Paper %n{nicht} und ?PAPER ist ein patient von ?CUT %n{nicht} und ?CBO befindet sich an %n{nicht} und ?CBO ist ein fall von VisualContentBearingObject %n{nicht} und ?CBO enthaelt Informationen ueber ?INFO verringert die Wahrscheinlichkeit von es gibt ?READ um ?READ ist ein fall von Interpreting %n{nicht} und ?INFO ist ein patient von ?READ %n{nicht} und die zeit des Bestehens von ?CUT geschieht frueh als die zeit des Bestehens von ?READ %n{nicht} %n{nicht}
(equal
    (AvailableForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 930-939 AvailableForMilitaryServiceMaleFn geopolitischer Bereich ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht}
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 953-964 FitForMilitaryServiceMaleFn geopolitischer Bereich ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht}
(equal
    (OrganismPopulationFn ?O ?AREA)
    (CardinalityFn
        (KappaFn ?OI
            (and
                (instance ?OI ?O)
                (located ?OI ?AREA)))))		 Mid-level-ontology.kif 32857-32862 OrganismPopulationFn Organismus and geographischer Bereich ist gleich die Zahl Faellen in die kategorie die ** OrganismusI beschreibt %n{nicht}
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))		 Mid-level-ontology.kif 32835-32840 PopulationFn geopolitischer Bereich ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht}
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 991-1004 ReachingMilitaryAgeAnnuallyMaleFn geopolitischer Bereich and Jahr ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt %n{nicht}
(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))		 Medicine.kif 4547-4552 Es gibt Prozess und Wesen um ** Prozess ist ein fall von Verbreitung %n{nicht} und ** Prozess ist der agent von Netflix %n{nicht} und ** Wesen ist ein patient von ** Prozess %n{nicht} und ** Wesen ist ein fall von Film %n{nicht}
(exists (?FM)
    (and
        (instance ?FM FilmMaking)
        (agent ?FM Netflix)))		 Medicine.kif 4554-4557 Es gibt Prozess um ** Prozess ist ein fall von FilmMaking %n{nicht} und ** Prozess ist der agent von Netflix %n{nicht}
(exists (?T)
    (and
        (instance ?T
            (YearFn 1976))
        (holdsDuring ?T
            (coworker SteveJobsOfApple SteveWozniakOfApple))))		 ComputingBrands.kif 2453-2457 Es gibt Zeitposition um ** Zeitposition ist ein fall von das jahr 1976 %n{nicht} und coworker SteveJobsOfApple and SteveWozniakOfApple haelt waehrend ** Zeitposition %n{nicht}
(exists (?T)
    (and
        (instance ?T
            (YearFn 2002))
        (holdsDuring ?T
            (coworker SteveJobsOfApple TimCookOfApple))))		 ComputingBrands.kif 2441-2445 Es gibt Zeitposition um ** Zeitposition ist ein fall von das jahr 2002 %n{nicht} und coworker SteveJobsOfApple and TimCookOfApple haelt waehrend ** Zeitposition %n{nicht}
(exists (?THING)
    (instance ?THING Entity))		 Merge.kif 818-819 Es gibt Wesen um ** Wesen ist ein fall von Wesen %n{nicht}
(exists (?TIME)
    (and
        (instance ?TIME TimeInterval)
        (finishes ?TIME
            (WhenFn JesusOfNazareth))
        (starts ?TIME
            (WhenFn TwelveApostles))
        (forall (?MEM)
            (=>
                (holdsDuring ?TIME
                    (member ?MEM TwelveApostles))
                (holdsDuring ?TIME
                    (friend ?MEM JesusOfNazareth))))))		 Media.kif 1970-1978 Es gibt Zeitabstand um ** Zeitabstand ist ein fall von Zeitabstand %n{nicht} und ** Zeitabstand beendet die zeit des Bestehens von JesusOfNazareth %n{nicht} und ** Zeitabstand beginnt die zeit des Bestehens von TwelveApostles %n{nicht} und fuer alle Wesen
(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))		 ComputingBrands.kif 3309-3315 IBookstore hat Zweck von es gibt ?D um ?D ist ein fall von DownloadingOverNetwork %n{nicht} und IBookstore ist ein instrument fuer ?D %n{nicht} und ?T ist ein fall von Text %n{nicht} und objectTransferred ?D and ?T %n{nicht}
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2501-2504 Serbia ist ein fall von EuropeanNation %n{nicht} und Zeitposition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** Zeitposition %n{nicht}
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia IndependentState)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2496-2499 Serbia ist ein fall von IndependentState %n{nicht} und Zeitposition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** Zeitposition %n{nicht}
(holdsDuring
    (FutureFn ?T)
    (and
        (names "Republic of Serbia" Serbia)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2506-2509 names "Republic of Serbia" and Serbia und Zeitposition ist ein fall von der tag 5 %n{nicht} haelt waehrend nach ** Zeitposition %n{nicht}
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro EuropeanNation)))		 Media.kif 2528-2531 Zeitposition ist ein fall von der tag 3 %n{nicht} und Montenegro ist ein fall von EuropeanNation %n{nicht} haelt waehrend nach ** Zeitposition %n{nicht}
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (instance Montenegro IndependentState)))		 Media.kif 2523-2526 Zeitposition ist ein fall von der tag 3 %n{nicht} und Montenegro ist ein fall von IndependentState %n{nicht} haelt waehrend nach ** Zeitposition %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(instance
    (CellPartFn ?VIR ?PARTTYPE) ?PARTTYPE)		 VirusProteinAndCellPart.kif 1177-1177 CellPartFn Zelle and ** CellPart ist ein fall von ** CellPart %n{nicht}
(instance
    (ViralPartFn ?VIR ?PARTTYPE) ?PARTTYPE)		 VirusProteinAndCellPart.kif 1166-1166 ViralPartFn Virus and ** VirusPart ist ein fall von ** VirusPart %n{nicht}
(instance AAA_Rating FinancialRating) FinancialOntology.kif 2534-2534 AAA_Rating ist ein fall von FinancialRating %n{nicht}
(instance ABPFn UnaryFunction) UXExperimentalTerms.kif 3220-3220 ABPFn ist ein fall von einstellige Funktion %n{nicht}
(instance ABTest ExperimentAttribute) UXExperimentalTerms.kif 4417-4417 ABTest ist ein fall von ExperimentAttribute %n{nicht}
(instance APucikwarLanguage CentralGreatAndamaneseLanguage) Languages.kif 5379-5379 APucikwarLanguage ist ein fall von CentralGreatAndamaneseLanguage %n{nicht}
(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2836-2836 ASEANRegionalForum ist ein fall von OrganizationOfNations %n{nicht}
(instance ASPFn UnaryFunction) UXExperimentalTerms.kif 3265-3265 ASPFn ist ein fall von einstellige Funktion %n{nicht}
(instance ATandTCorp Corporation) ComputingBrands.kif 2122-2122 ATandTCorp ist ein fall von Handelsgesellshaft %n{nicht}
(instance AVPUAlertStatus AVPUStatus) Medicine.kif 6405-6405 AVPUAlertStatus ist ein fall von AVPUStatus %n{nicht}
(instance AVPUPainStatus AVPUStatus) Medicine.kif 6445-6445 AVPUPainStatus ist ein fall von AVPUStatus %n{nicht}
(instance AVPUUnresponsiveStatus AVPUStatus) Medicine.kif 6468-6468 AVPUUnresponsiveStatus ist ein fall von AVPUStatus %n{nicht}
(instance AVPUVerbalStatus AVPUStatus) Medicine.kif 6423-6423 AVPUVerbalStatus ist ein fall von AVPUStatus %n{nicht}
(instance AalandIslands Archipelago) Media.kif 2560-2560 AalandIslands ist ein fall von Archipelago %n{nicht}
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2561-2561 AalandIslands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance AariyaLanguage UnclassifiedSpokenLanguage) Languages.kif 3771-3771 AariyaLanguage ist ein fall von UnclassifiedSpokenLanguage %n{nicht}
(instance AbbVie Corporation) Medicine.kif 2954-2954 AbbVie ist ein fall von Handelsgesellshaft %n{nicht}
(instance Abbot ReligiousPosition) People.kif 1209-1209 Abbot ist ein fall von ReligiousPosition %n{nicht}
(instance AbbottLaboratories Corporation) Medicine.kif 3839-3839 AbbottLaboratories ist ein fall von Handelsgesellshaft %n{nicht}
(instance AbinomnLanguage SpokenHumanLanguage) Languages.kif 2923-2923 AbinomnLanguage ist ein fall von SpokenHumanLanguage %n{nicht}
(instance AbishiraLanguage UnclassifiedSpokenLanguage) Languages.kif 3777-3777 AbishiraLanguage ist ein fall von UnclassifiedSpokenLanguage %n{nicht}
(instance AbkhazLanguage NorthCaucasianLanguage) Languages.kif 14550-14550 AbkhazLanguage ist ein fall von NorthCaucasianLanguage %n{nicht}
(instance AbortedFn BinaryFunction) MilitaryProcesses.kif 2410-2410 AbortedFn ist ein fall von zweistellige Funktion %n{nicht}
(instance AbortedLaunchFn BinaryFunction) MilitaryProcesses.kif 2508-2508 AbortedLaunchFn ist ein fall von zweistellige Funktion %n{nicht}
(instance AbortedMissionFn BinaryFunction) MilitaryProcesses.kif 2430-2430 AbortedMissionFn ist ein fall von zweistellige Funktion %n{nicht}

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