(<=>
(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 4796-4807 |
Der absolutebetrag von reelle Zahl ist gleich nichtnegative reelle Zahl und ** reelle Zahl ist ein fall von reelle Zahl und ** nichtnegative reelle Zahl ist ein fall von reelle Zahl genau dann wenn ** reelle Zahl ist ein fall von nichtnegative reelle Zahl und ** reelle Zahl ist gleich ** nichtnegative reelle Zahl oder ** reelle Zahl ist ein fall von negative reelle Zahl und ** nichtnegative reelle Zahl ist gleich (0.0 und ** reelle Zahl) |
(<=>
(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 28228-28239 |
Prozess ist ein fall von Photocopying und ContentBearingPhysical ist ein patient von ** Prozess und ** ContentBearingPhysical ist ein fall von VisualContentBearingObject und ** ContentBearingPhysical enthaelt Informationen ueber Proposition genau dann wenn es gibt ** ContentBearingPhysical und ** Proposition um ** ** ContentBearingPhysical ist ein resultat von ** Prozess und ** ** ContentBearingPhysical ist ein fall von VisualContentBearingObject und ** ** ContentBearingPhysical enthaelt Informationen ueber ** ** Proposition und ** Proposition ist gleich ** ** Proposition |
(<=>
(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 und MaleLifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste und Laenge von ** Liste ist ein fall von ** ** Ganzzahl 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 und BirthsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn PopulationFn ** geopolitischer Bereich und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl |
(<=>
(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 und DeathsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn PopulationFn ** geopolitischer Bereich und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl |
(<=>
(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 und DeathsPerThousandLiveBirthsFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** ** Ganzzahl und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl |
(<=>
(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 und FemaleLifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste und Laenge von ** Liste ist ein fall von ** ** Ganzzahl 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 und LifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste und Laenge von ** Liste ist ein fall von ** ** Ganzzahl 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 und MigrantsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn (** Ganzzahl und ** Ganzzahl) ist gleich 1 und Wesen ist ein fall von das jahr ** ** Ganzzahl und PopulationFn ** geopolitischer Bereich ist gleich ** reelle Zahl haelt waehrend ** Jahr und ** ** reelle Zahl und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt und (** ** Ganzzahl und ** ** Ganzzahl) ist gleich ** reelle Zahl und ** ** reelle Zahl und ** ** reelle Zahl ist gleich ** reelle Zahl |
(<=>
(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 und PopulationGrowthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn (** Ganzzahl und ** GanzzahlP) ist gleich 1 und Zeitposition ist ein fall von das jahr ** GanzzahlP und PopulationFn ** geopolitischer Bereich ist gleich ** reelle Zahl haelt waehrend ** Jahr und PopulationFn ** geopolitischer Bereich ist gleich ** reelle Zahl haelt waehrend ** Zeitposition und ** ** reelle Zahl und ** ** reelle Zahl ist gleich ** reelle Zahl und (** ** reelle Zahl und 1) ist gleich ** reelle Zahl |
(<=>
(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 genau dann wenn es gibt Prozess und ** Prozess um ** Gegenstand ist ein fall von MakingMusic und ** Prozess ist ein fall von MakingMusic und ** ** Prozess ist ein fall von MakingMusic 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 und ** ** Prozess geschiecht gleichzeitig mit ** Gegenstand |
(<=>
(average ?LIST1 ?AVERAGE)
(exists (?LIST2 ?LASTPLACE)
(and
(equal
(ListLengthFn ?LIST2)
(ListLengthFn ?LIST1))
(equal
(ListOrderFn ?LIST2 1)
(ListOrderFn ?LIST1 1))
(forall (?ITEMFROM2)
(=>
(inList ?ITEMFROM2 ?LIST2)
(exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(and
(greaterThan ?POSITION 1)
(lessThanOrEqualTo ?POSITION
(ListLengthFn ?LIST2))
(equal
(ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION)
(inList ?ITEMFROM1 ?LIST1)
(equal ?POSITION
(ListOrderFn ?LIST1 ?ITEMFROM1))
(inList ?PRIORFROM2 ?LIST2)
(equal ?POSITIONMINUSONE
(SubtractionFn ?POSITION 1))
(equal ?POSITIONMINUSONE
(ListOrderFn ?LIST2 ?PRIORFROM2))
(equal ?ITEMFROM2
(AdditionFn ?ITEMFROM1 ?PRIORFROM2))))))
(equal ?LASTPLACE
(ListLengthFn ?LIST2))
(equal ?AVERAGE
(DivisionFn
(ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE))))) |
People.kif 272-293 |
average Liste and reelle Zahl genau dann wenn es gibt ** Liste und positive Ganzzahl um Laenge von ** ** Liste ist gleich Laenge von ** Liste und 1te mitglied von ** ** Liste ist gleich 1te mitglied von ** Liste und fuer alle ** positive Ganzzahl und ** positive Ganzzahl ist gleich Laenge von ** ** Liste und ** reelle Zahl ist gleich ** positive Ganzzahlte mitglied von ** ** Liste und ** positive Ganzzahl |
(<=>
(beliefGroupPercentInRegion ?BG ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?BG)
(member ?P ?G1)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1529-1540 |
beliefGroupPercentInRegion BeliefGroup, reelle Zahl and geographischer Bereich genau dann wenn es gibt Ansammlung, ** Ansammlung,, , koerperlicher Gegenstand,, , ** koerperlicher Gegenstand2,, , ** reelle Zahl1, and und ** reelle Zahl2 um ** koerperlicher Gegenstand befindet sich an und ** koerperlicher Gegenstand ist ein Mitglied von ** BeliefGroup und ** koerperlicher Gegenstand ist ein Mitglied von ** Ansammlung und memberCount ** Ansammlung and ** reelle Zahl1 und ** koerperlicher Gegenstand2 befindet sich an und ** koerperlicher Gegenstand2 ist ein Mitglied von ** ** Ansammlung und memberCount ** ** Ansammlung and ** reelle Zahl2 und ** reelle Zahl und 100 ist gleich ** reelle Zahl1 und ** reelle Zahl2 |
(<=>
(compressionRatio ?E ?R)
(and
(minCylinderVolume ?E
(MeasureFn ?MIN ?M))
(maxCylinderVolume ?E
(MeasureFn ?MAX ?M))
(equal ?R
(DivisionFn ?MIN ?MAX)))) |
Cars.kif 1912-1917 |
compressionRatio Engine and reelle Zahl genau dann wenn minCylinderVolume ** Engine and ** reelle Zahl Masseinheit(s) und maxCylinderVolume ** Engine and ** MasseinheitAX ** Masseinheit(s) und ** reelle Zahl ist gleich ** ** reelle Zahl und ** MasseinheitAX |
(<=>
(equal
(MaleToFemaleRatioFn ?AREA) ?REALNUMBER)
(and
(equal ?MALECOUNT
(CardinalityFn
(KappaFn ?MALE
(and
(instance ?MALE Human)
(attribute ?MALE Male)
(inhabits ?MALE ?AREA)))))
(equal ?FEMALECOUNT
(CardinalityFn
(KappaFn ?FEMALE
(and
(instance ?FEMALE Human)
(attribute ?FEMALE Female)
(inhabits ?FEMALE ?AREA)))))
(equal
(DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER))) |
People.kif 206-223 |
MaleToFemaleRatioFn geopolitischer Bereich ist gleich reelle Zahl genau dann wenn Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt und ** Ganzzahl und ** ** Ganzzahl ist gleich ** reelle Zahl |
(<=>
(equal ?SD
(StandardDeviationFn ?L))
(equal ?SD
(SquareRootFn
(VarianceFn ?L)))) |
Weather.kif 2338-2343 |
Reelle Zahl ist gleich StandardDeviationFn Liste genau dann wenn ** reelle Zahl ist gleich die quadratwurzel von VarianceFn ** Liste |
(<=>
(equal ?SPEED
(MeasureFn ?NUM MilesPerHour))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Mile)
(MeasureFn 1 HourDuration)))) |
Weather.kif 2531-2537 |
Funktionsquantitaet ist gleich reelle Zahl MilesPerHour(s) genau dann wenn ** Funktionsquantitaet ist gleich ** reelle Zahl Mile(s) pro &2 |
(<=>
(ethnicityPercentInRegion ?BG ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?BG)
(member ?P ?G1)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1548-1559 |
ethnicityPercentInRegion ethnische Gruppe, reelle Zahl and geographischer Bereich genau dann wenn es gibt Ansammlung, ** Ansammlung,, , koerperlicher Gegenstand,, , ** koerperlicher Gegenstand2,, , ** reelle Zahl1, and und ** reelle Zahl2 um ** koerperlicher Gegenstand befindet sich an und ** koerperlicher Gegenstand ist ein Mitglied von ** ethnische Gruppe und ** koerperlicher Gegenstand ist ein Mitglied von ** Ansammlung und memberCount ** Ansammlung and ** reelle Zahl1 und ** koerperlicher Gegenstand2 befindet sich an und ** koerperlicher Gegenstand2 ist ein Mitglied von ** ** Ansammlung und memberCount ** ** Ansammlung and ** reelle Zahl2 und ** reelle Zahl und 100 ist gleich ** reelle Zahl1 und ** reelle Zahl2 |
(<=>
(holdsDuring ?T
(attribute ?H Alone))
(not
(exists (?H2 ?SI)
(and
(not
(equal ?H ?H2))
(instance ?H2 AutonomousAgent)
(instance ?SI SocialInteraction)
(during
(WhenFn ?SI) ?T)
(involvedInEvent ?SI ?H)
(involvedInEvent ?SI ?H2))))) |
Mid-level-ontology.kif 32141-32154 |
Alone ist ein attribut von Wesen haelt waehrend Zeitabstand genau dann wenn es gibt nicht ** Wesen2 und Prozess um ** Wesen ist gleich ** Wesen2 nicht und ** Wesen2 ist ein fall von AutonomousAgent und ** Prozess ist ein fall von Sozialunterhaltung und die zeit des Bestehens von ** Prozess geschieht waehrend ** Zeitabstand und involvedInEvent ** Prozess and ** Wesen und involvedInEvent ** Prozess and ** Wesen2 |
(<=>
(instance ?CONTINENT Continent)
(or
(equal Africa ?CONTINENT)
(equal NorthAmerica ?CONTINENT)
(equal SouthAmerica ?CONTINENT)
(equal Antarctica ?CONTINENT)
(equal Europe ?CONTINENT)
(equal Asia ?CONTINENT)
(equal Oceania ?CONTINENT))) |
Geography.kif 3800-3809 |
Wesen ist ein fall von Kontinent genau dann wenn Africa ist gleich ** Wesen oder NorthAmerica ist gleich ** Wesen oder SouthAmerica ist gleich ** Wesen oder Antarctica ist gleich ** Wesen oder Europe ist gleich ** Wesen oder Asia ist gleich ** Wesen oder Oceania ist gleich ** Wesen |
(<=>
(instance ?CS ConjugatedSubstance)
(exists (?C1 ?C2 ?P)
(and
(instance ?C1 CompoundSubstance)
(instance ?C2 CompoundSubstance)
(not
(equal ?C1 ?C2))
(instance ?P ChemicalSynthesis)
(resource ?P ?C1)
(resource ?P ?C2)
(result ?P ?CS)))) |
Mid-level-ontology.kif 7415-7425 |
Wesen ist ein fall von ConjugatedSubstance genau dann wenn es gibt Gegenstand, ** Gegenstand, and und Prozess um ** Gegenstand ist ein fall von Verbindung und ** ** Gegenstand ist ein fall von Verbindung und ** Gegenstand ist gleich ** ** Gegenstand nicht und ** Prozess ist ein fall von chemische Synthese und ** Gegenstand ist ein hilfmittel fuer ** Prozess und ** ** Gegenstand ist ein hilfmittel fuer ** Prozess und ** Wesen ist ein resultat von ** Prozess |
(<=>
(instance ?HEMISPHERE Hemisphere)
(or
(equal ?HEMISPHERE NorthernHemisphere)
(equal ?HEMISPHERE SouthernHemisphere)
(equal ?HEMISPHERE EasternHemisphere)
(equal ?HEMISPHERE WesternHemisphere))) |
Geography.kif 3784-3790 |
Wesen ist ein fall von Hemisphere genau dann wenn ** Wesen ist gleich NorthernHemisphere oder ** Wesen ist gleich SouthernHemisphere oder ** Wesen ist gleich EasternHemisphere oder ** Wesen ist gleich WesternHemisphere |
(<=>
(languagePercentInRegion ?L ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?G1)
(speaksLanguage ?P ?L)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1567-1578 |
languagePercentInRegion Sprache, reelle Zahl and geographischer Bereich genau dann wenn es gibt Ansammlung, ** Ansammlung,, , empfindungsfaehiger Agent,, , ** empfindungsfaehiger Agent2,, , ** reelle Zahl1, and und ** reelle Zahl2 um ** empfindungsfaehiger Agent befindet sich an und ** empfindungsfaehiger Agent ist ein Mitglied von ** Ansammlung und speaksLanguage ** empfindungsfaehiger Agent and ** Sprache und memberCount ** Ansammlung and ** reelle Zahl1 und ** empfindungsfaehiger Agent2 befindet sich an und ** empfindungsfaehiger Agent2 ist ein Mitglied von ** ** Ansammlung und memberCount ** ** Ansammlung and ** reelle Zahl2 und ** reelle Zahl und 100 ist gleich ** reelle Zahl1 und ** reelle Zahl2 |
(<=>
(lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
(or
(equal ?NUMBER1 ?NUMBER2)
(lessThan ?NUMBER1 ?NUMBER2))) |
Merge.kif 1877-1881 |
Reelle Zahl ist kleinerAlsOderGleich ** reelle Zahl genau dann wenn ** reelle Zahl ist gleich ** ** reelle Zahl oder ** reelle Zahl ist kleinerAls ** ** reelle Zahl |
(<=>
(stringConcatenation ?S1 ?S2 ?S3)
(equal ?S3
(StringConcatenateFn ?S1 ?S2))) |
Mid-level-ontology.kif 26158-26160 |
stringConcatenation Zeichenfolge, ** Zeichenfolge and ** Zeichenfolge genau dann wenn ** ** Zeichenfolge ist gleich StringConcatenateFn ** Zeichenfolge and ** ** Zeichenfolge |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
