equal |
appearance as argument number 1 |
(documentation equal ChineseLanguage "假如 ?ENTITY1 等于 ?ENTITY2的话,那么 (equal ?ENTITY1 ?ENTITY2) 就是真的。") | chinese_format.kif 1391-1392 | |
(documentation equal JapaneseLanguage "(equal ?ENTITY1 ?ENTITY2) は、万が一に備え、?ENTITY1が ?ENTITY2と同じある場合に当てはまる。") | japanese_format.kif 48-49 | |
(documentation equal SpanishLanguage "(equal ?ENTITY1 ?ENTITY2) es verdadero por si acaso ?ENTITY1 es idéntico a ?ENTITY2.") | spanish_format.kif 53-54 |
appearance as argument number 2 |
(format ChineseLanguage equal "%1 %n equal %2") | chinese_format.kif 297-297 | |
(format EnglishLanguage equal "%1 is %n equal to %2") | english_format.kif 302-302 | |
(format FrenchLanguage equal "%1 est %n �gal � %2") | french_format.kif 171-171 | |
(format ItalianLanguage equal "%1 is %n uguale a %2") | relations-it.txt 96-96 | |
(format JapaneseLanguage equal "%1 は %2 と equal では %n") | japanese_format.kif 1991-1991 | |
(format PortugueseLanguage equal "%1 e' %n igual a %2") | portuguese_format.kif 123-123 | |
(format cz equal "%1 se %n{ne}rovn� %2") | relations-cz.txt 179-179 | |
(format de equal "%1 ist gleich %2 %n{nicht}") | relations-de.txt 387-387 | |
(format hi equal "%1 %2 ke baraabara %n hai") | relations-hindi.txt 136-136 | |
(format ro equal "%1 %n{nu} este equal%t{egal} cu %2") | relations-ro.kif 191-191 | |
(format sv equal "%1 är %n{inte} lika med %2") | relations-sv.txt 178-178 | |
(format tg equal "%1 %n ay pareho sa %2") | relations-tg.txt 205-205 | |
(termFormat ChineseLanguage equal "等于") | chinese_format.kif 298-298 | |
(termFormat ChineseTraditionalLanguage equal "等於") | domainEnglishFormat.kif 22317-22317 | |
(termFormat EnglishLanguage equal "equal") | domainEnglishFormat.kif 22316-22316 | |
(termFormat tg equal "pareho") | relations-tg.txt 206-206 |
antecedent |
(<=> (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 4769-4780 | Der absolutebetrag von RealNumber ist gleich NonnegativeRealNumber %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht} und ** NonnegativeRealNumber ist ein fall von RealNumber %n{nicht} genau dann wenn ** RealNumber ist ein fall von NonnegativeRealNumber %n{nicht} und ** RealNumber ist gleich ** NonnegativeRealNumber %n{nicht} oder ** RealNumber ist ein fall von NegativeRealNumber %n{nicht} und ** NonnegativeRealNumber ist gleich (0.0 und ** RealNumber) %n{nicht} |
(<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2321-2326 | FinancialAccount ist ein fall von FinancialAccount %n{nicht} und CognitiveAgent besitzt FinancialAsset %n{nicht} und ** FinancialAccount ist gleich AccountFn ** FinancialAsset %n{nicht} genau dann wenn accountHolder ** FinancialAccount and ** CognitiveAgent |
(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 357-390 | Year ist ein fall von das jahr ** YearEAR %n{nicht} und MaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 82-97 | Year ist ein fall von das jahr Integer %n{nicht} und BirthsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht} |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 118-133 | Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht} |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER))) |
People.kif 238-264 | Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht} |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 403-436 | Year ist ein fall von das jahr Integer %n{nicht} und FemaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 310-342 | Year ist ein fall von das jahr Integer %n{nicht} und LifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (SubtractionFn ?Y ?PY) 1) (instance ?PREVIOUSYEAR (YearFn ?PY)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (not (inhabits ?PERSON ?AREA))) (holdsDuring ?YEAR (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (inhabits ?PERSON ?AREA)) (holdsDuring ?YEAR (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 156-187 | Year ist ein fall von das jahr Integer %n{nicht} und MigrantsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** Integer) ist gleich 1 %n{nicht} und Entity ist ein fall von das jahr ** ** Integer %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und ** ** RealNumber und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und (** ** Integer und ** ** Integer) ist gleich ** RealNumber %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht} |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT)) (and (equal (SubtractionFn ?Y ?YP) 1) (instance ?PREVIOUSYEAR (YearFn ?YP)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring ?PREVIOUSYEAR (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT))) |
People.kif 52-64 | Year ist ein fall von das jahr Integer %n{nicht} und PopulationGrowthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** IntegerP) ist gleich 1 %n{nicht} und TimePosition ist ein fall von das jahr ** IntegerP %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** TimePosition %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht} und (** ** RealNumber und 1) ist gleich ** RealNumber %n{nicht} |
(<=> (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 GeopoliticalArea ist gleich RealNumber %n{nicht} genau dann wenn Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und ** Integer und ** ** Integer ist gleich ** RealNumber %n{nicht} |
(<=> (equal ?SD (StandardDeviationFn ?L)) (equal ?SD (SquareRootFn (VarianceFn ?L)))) |
Weather.kif 1492-1497 | RealNumber ist gleich StandardDeviationFn List %n{nicht} genau dann wenn ** RealNumber ist gleich die quadratwurzel von VarianceFn ** List %n{nicht} |
(<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration)))) |
Weather.kif 1685-1691 | FunctionQuantity ist gleich RealNumber MilesPerHour(s) %n{nicht} genau dann wenn ** FunctionQuantity ist gleich ** RealNumber Mile(s) pro &2 %n{nicht} |
(<=> (exists (?Stock ?StockPrice ?StrikePrice) (and (instance ?Option Option) (underlier ?Option ?Stock) (price ?Stock ?StockPrice ?Time) (strikePrice ?Option ?StrikePrice) (equal ?StockPrice ?StrikePrice))) (atTheMoney ?Option ?Time)) |
FinancialOntology.kif 3034-3042 | Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** CurrencyMeasure um Agreement ist ein fall von Option %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice and AutonomousAgent und strikePrice ** Agreement and ** ** CurrencyMeasure und ** FinancialInstrumentPrice ist gleich ** ** CurrencyMeasure %n{nicht} genau dann wenn atTheMoney ** Agreement and ** AutonomousAgent |
(=> (and (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (or (equal ?ATTR Obligation) (equal ?ATTR Promise))) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) Likely)) |
Mid-level-ontology.kif 14106-14116 |
|
(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?TOTAL AreaMeasure) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (arableLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT))) |
Geography.kif 2080-2090 |
|
(=> (and (attribute ?H Anemia) (instance ?B Blood) (part ?B ?H) (attribute ?H Female) (measure ?B (MeasureFn 0.1 Liter)) (instance ?HE Hemoglobin) (part ?HE ?B) (not (instance ?HE2 Hemoglobin)) (not (equal ?HE ?HE2)) (part ?H2 ?B) (measure ?HE (MeasureFn ?N Gram))) (lessThan ?N 12)) |
Medicine.kif 172-187 |
|
(=> (and (attribute ?H Anemia) (instance ?B Blood) (part ?B ?H) (attribute ?H Male) (measure ?B (MeasureFn 0.1 Liter)) (instance ?HE Hemoglobin) (part ?HE ?B) (not (instance ?HE2 Hemoglobin)) (not (equal ?HE ?HE2)) (part ?H2 ?B) (measure ?HE (MeasureFn ?N Gram))) (lessThan ?N 13)) |
Medicine.kif 155-170 |
|
(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation)) |
ArabicCulture.kif 204-223 |
|
(=> (and (attribute ?H1 ADHD) (not (attribute ?H2 ADHD)) (not (equal ?H1 ?H2)) (instance ?I1 ?IC) (instance ?I2 ?IC) (subclass ?IC IntentionalPsychologicalProcess) (agent ?I1 ?H1) (agent ?I2 ?H2) (duration (WhenFn ?I1) ?D1) (duration (WhenFn ?I2) ?D2)) (modalAttribute (greaterThan ?D2 ?D1) Likely)) |
Medicine.kif 3984-4004 |
|
(=> (and (attribute ?O Concave) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Outside)) |
ComputingBrands.kif 2693-2704 |
|
(=> (and (attribute ?O Convex) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Inside)) |
ComputingBrands.kif 2665-2676 |
|
(=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4071-4088 |
|
(=> (and (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)) (equal (EndFn ?INTERVAL2) (EndFn ?INTERVAL1))) (finishes ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8122-8130 |
|
(=> (and (codeMapping ISO-4217-A ?A3 ?CURRENCY) (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA) (instance ?AREA GeopoliticalArea) (equal ?A2 (SubstringFn ?A3 0 2))) (currencyType ?AREA ?CURRENCY)) |
Media.kif 2889-2895 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
(<=> (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 4769-4780 | Der absolutebetrag von RealNumber ist gleich NonnegativeRealNumber %n{nicht} und ** RealNumber ist ein fall von RealNumber %n{nicht} und ** NonnegativeRealNumber ist ein fall von RealNumber %n{nicht} genau dann wenn ** RealNumber ist ein fall von NonnegativeRealNumber %n{nicht} und ** RealNumber ist gleich ** NonnegativeRealNumber %n{nicht} oder ** RealNumber ist ein fall von NegativeRealNumber %n{nicht} und ** NonnegativeRealNumber ist gleich (0.0 und ** RealNumber) %n{nicht} |
(<=> (and (instance ?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 26362-26373 | Process ist ein fall von Photocopying %n{nicht} und ContentBearingPhysical ist ein patient von ** Process %n{nicht} und ** ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ** ContentBearingPhysical enthaelt Informationen ueber Proposition genau dann wenn es gibt ** ContentBearingPhysical und ** Proposition um ** ** ContentBearingPhysical ist ein resultat von ** Process %n{nicht} und ** ** ContentBearingPhysical ist ein fall von VisualContentBearingObject %n{nicht} und ** ** ContentBearingPhysical enthaelt Informationen ueber ** ** Proposition und ** Proposition ist gleich ** ** Proposition %n{nicht} |
(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 357-390 | Year ist ein fall von das jahr ** YearEAR %n{nicht} und MaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 82-97 | Year ist ein fall von das jahr Integer %n{nicht} und BirthsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht} |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 118-133 | Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn ** GeopoliticalArea und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht} |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER))) |
People.kif 238-264 | Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** ** Integer und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und ** ** Integer und ** ** RealNumber ist gleich ** RealNumber %n{nicht} |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 403-436 | Year ist ein fall von das jahr Integer %n{nicht} und FemaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 310-342 | Year ist ein fall von das jahr Integer %n{nicht} und LifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (SubtractionFn ?Y ?PY) 1) (instance ?PREVIOUSYEAR (YearFn ?PY)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (not (inhabits ?PERSON ?AREA))) (holdsDuring ?YEAR (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (inhabits ?PERSON ?AREA)) (holdsDuring ?YEAR (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 156-187 | Year ist ein fall von das jahr Integer %n{nicht} und MigrantsPerThousandFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** Integer) ist gleich 1 %n{nicht} und Entity ist ein fall von das jahr ** ** Integer %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und ** ** RealNumber und 1000 ist gleich ** RealNumber %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und (** ** Integer und ** ** Integer) ist gleich ** RealNumber %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht} |
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT)) (and (equal (SubtractionFn ?Y ?YP) 1) (instance ?PREVIOUSYEAR (YearFn ?YP)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring ?PREVIOUSYEAR (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT))) |
People.kif 52-64 | Year ist ein fall von das jahr Integer %n{nicht} und PopulationGrowthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn (** Integer und ** IntegerP) ist gleich 1 %n{nicht} und TimePosition ist ein fall von das jahr ** IntegerP %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** Year %n{nicht} und PopulationFn ** GeopoliticalArea ist gleich ** RealNumber %n{nicht} haelt waehrend ** TimePosition %n{nicht} und ** ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht} und (** ** RealNumber und 1) ist gleich ** RealNumber %n{nicht} |
(<=> (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 Object %n{nicht} genau dann wenn es gibt Process und ** Process um ** Object ist ein fall von MakingMusic %n{nicht} und ** Process ist ein fall von MakingMusic %n{nicht} und ** ** Process ist ein fall von MakingMusic %n{nicht} und ** Process ist ein subProzess von ** Object und ** ** Process ist ein subProzess von ** Object und ** Process ist gleich ** ** Process nicht und ** Process geschiecht gleichzeitig mit ** Object %n{nicht} und ** ** Process geschiecht gleichzeitig mit ** Object %n{nicht} |
(<=> (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 List and RealNumber genau dann wenn es gibt ** List und PositiveInteger um Laenge von ** ** List ist gleich Laenge von ** List %n{nicht} und 1te mitglied von ** ** List ist gleich 1te mitglied von ** List %n{nicht} und fuer alle ** PositiveInteger
|
(<=> (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 1528-1539 | beliefGroupPercentInRegion BeliefGroup, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , Physical,, , ** Physical2,, , ** RealNumber1, and und ** RealNumber2 um ** Physical befindet sich an %n{nicht} und ** Physical ist ein Mitglied von ** BeliefGroup %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und memberCount ** Collection and ** RealNumber1 und ** Physical2 befindet sich an %n{nicht} und ** Physical2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht} |
(<=> (compressionRatio ?E ?R) (and (minCylinderVolume ?E (MeasureFn ?MIN ?M)) (maxCylinderVolume ?E (MeasureFn ?MAX ?M)) (equal ?R (DivisionFn ?MIN ?MAX)))) |
Cars.kif 1911-1916 | compressionRatio Engine and RealNumber genau dann wenn minCylinderVolume ** Engine and ** RealNumber UnitOfMeasure(s) und maxCylinderVolume ** Engine and ** UnitOfMeasureAX ** UnitOfMeasure(s) und ** RealNumber ist gleich ** ** RealNumber und ** UnitOfMeasureAX %n{nicht} |
(<=> (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 GeopoliticalArea ist gleich RealNumber %n{nicht} genau dann wenn Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und ** Integer und ** ** Integer ist gleich ** RealNumber %n{nicht} |
(<=> (equal ?SD (StandardDeviationFn ?L)) (equal ?SD (SquareRootFn (VarianceFn ?L)))) |
Weather.kif 1492-1497 | RealNumber ist gleich StandardDeviationFn List %n{nicht} genau dann wenn ** RealNumber ist gleich die quadratwurzel von VarianceFn ** List %n{nicht} |
(<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration)))) |
Weather.kif 1685-1691 | FunctionQuantity ist gleich RealNumber MilesPerHour(s) %n{nicht} genau dann wenn ** FunctionQuantity ist gleich ** RealNumber Mile(s) pro &2 %n{nicht} |
(<=> (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 1547-1558 | ethnicityPercentInRegion EthnicGroup, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , Physical,, , ** Physical2,, , ** RealNumber1, and und ** RealNumber2 um ** Physical befindet sich an %n{nicht} und ** Physical ist ein Mitglied von ** EthnicGroup %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und memberCount ** Collection and ** RealNumber1 und ** Physical2 befindet sich an %n{nicht} und ** Physical2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht} |
(<=> (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (greaterThan ?NUMBER1 ?NUMBER2))) |
Merge.kif 1885-1889 | RealNumber ist groesserAlsOderGleich ** RealNumber %n{nicht} genau dann wenn ** RealNumber ist gleich ** ** RealNumber %n{nicht} oder ** RealNumber ist groesserAls ** ** RealNumber %n{nicht} |
(<=> (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 30247-30260 | Alone ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} genau dann wenn es gibt nicht ** Entity2 und Process um ** Entity ist gleich ** Entity2 nicht und ** Entity2 ist ein fall von AutonomousAgent %n{nicht} und ** Process ist ein fall von SocialInteraction %n{nicht} und die zeit des Bestehens von ** Process geschieht waehrend ** TimeInterval %n{nicht} und involvedInEvent ** Process and ** Entity und involvedInEvent ** Process and ** Entity2 |
(<=> (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 3504-3513 | Entity ist ein fall von Continent %n{nicht} genau dann wenn Africa ist gleich ** Entity %n{nicht} oder NorthAmerica ist gleich ** Entity %n{nicht} oder SouthAmerica ist gleich ** Entity %n{nicht} oder Antarctica ist gleich ** Entity %n{nicht} oder Europe ist gleich ** Entity %n{nicht} oder Asia ist gleich ** Entity %n{nicht} oder Oceania ist gleich ** Entity %n{nicht} |
(<=> (instance ?CS ConjugatedSubstance) (exists (?C1 ?C2 ?P) (and (instance ?C1 CompoundSubstance) (instance ?C2 CompoundSubstance) (not (equal ?C1 ?C2)) (instance ?P ChemicalSynthesis) (resource ?P ?C1) (resource ?P ?C2) (result ?P ?CS)))) |
Mid-level-ontology.kif 6472-6482 | Entity ist ein fall von ConjugatedSubstance %n{nicht} genau dann wenn es gibt Object, ** Object, and und Process um ** Object ist ein fall von CompoundSubstance %n{nicht} und ** ** Object ist ein fall von CompoundSubstance %n{nicht} und ** Object ist gleich ** ** Object nicht und ** Process ist ein fall von ChemicalSynthesis %n{nicht} und ** Object ist ein hilfmittel fuer ** Process %n{nicht} und ** ** Object ist ein hilfmittel fuer ** Process %n{nicht} und ** Entity ist ein resultat von ** Process %n{nicht} |
(<=> (instance ?HEMISPHERE Hemisphere) (or (equal ?HEMISPHERE NorthernHemisphere) (equal ?HEMISPHERE SouthernHemisphere) (equal ?HEMISPHERE EasternHemisphere) (equal ?HEMISPHERE WesternHemisphere))) |
Geography.kif 3488-3494 | Entity ist ein fall von Hemisphere %n{nicht} genau dann wenn ** Entity ist gleich NorthernHemisphere %n{nicht} oder ** Entity ist gleich SouthernHemisphere %n{nicht} oder ** Entity ist gleich EasternHemisphere %n{nicht} oder ** Entity ist gleich WesternHemisphere %n{nicht} |
(<=> (languagePercentInRegion ?L ?N ?R) (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2) (and (located ?P ?R) (member ?P ?G1) (speaksLanguage ?P ?L) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2))))) |
People.kif 1566-1577 | languagePercentInRegion Language, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , SentientAgent,, , ** SentientAgent2,, , ** RealNumber1, and und ** RealNumber2 um ** SentientAgent befindet sich an %n{nicht} und ** SentientAgent ist ein Mitglied von ** Collection %n{nicht} und speaksLanguage ** SentientAgent and ** Language und memberCount ** Collection and ** RealNumber1 und ** SentientAgent2 befindet sich an %n{nicht} und ** SentientAgent2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht} |
(<=> (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2))) |
Merge.kif 1867-1871 | RealNumber ist kleinerAlsOderGleich ** RealNumber %n{nicht} genau dann wenn ** RealNumber ist gleich ** ** RealNumber %n{nicht} oder ** RealNumber ist kleinerAls ** ** RealNumber %n{nicht} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
(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 | Year ist ein fall von das jahr Integer %n{nicht} und ChildrenBornPerWomanFn GeopoliticalArea and ** Year ist gleich die Zahl Faellen in die kategorie die SymbolicString 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 924-937 | ReachingMilitaryAgeAnnuallyMaleFn GeopoliticalArea and Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} |
(forall (?NUMBER) (equal (MeasureFn ?NUMBER OunceMass) (MeasureFn (DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 13360-13363 | Fuer alle RealNumber ** RealNumber OunceMass(s) ist gleich ** RealNumber und 16.0 PoundMass(s) %n{nicht} |
(forall (?NUMBER) (equal (PredecessorFn ?NUMBER) (SubtractionFn ?NUMBER 1))) |
Merge.kif 4737-4738 | Fuer alle Integer (** Integer+2) ist gleich (** Integer und 1) %n{nicht} |
(forall (?NUMBER) (equal (SuccessorFn ?NUMBER) (AdditionFn ?NUMBER 1))) |
Merge.kif 4721-4722 | Fuer alle Integer (** Integer+1) ist gleich (** Integer und 1) %n{nicht} |
(forall (@ROW ?ITEM) (equal (ListLengthFn (ListFn @ROW ?ITEM)) (SuccessorFn (ListLengthFn (ListFn @ROW))))) |
Merge.kif 3038-3041 | Fuer alle @ROW und ** entity Laenge von (@ROW und ** ** entity) ist gleich (Laenge von (@ROW)+1) %n{nicht} |
(forall (@ROW ?ITEM) (equal (ListOrderFn (ListFn @ROW ?ITEM) (ListLengthFn (ListFn @ROW ?ITEM))) ?ITEM)) |
Merge.kif 3043-3047 | Fuer alle @ROW und ** Entity Laenge von (@ROW und ** ** Entity)te mitglied von (@ROW und ** ** Entity) ist gleich ** ** Entity %n{nicht} |
(not (equal BigSix GroupOf6)) |
Government.kif 2879-2879 | BigSix ist gleich GroupOf6 nicht |
appearance as argument number 0 |
(equal (ArcCosineFn (CosineFn ?X)) ?X) |
Merge.kif 5266-5266 | Der arcuskosinus von der Kosinus von RealNumber ist gleich ** RealNumber %n{nicht} |
(equal (ArcSineFn (SineFn ?X)) ?X) |
Merge.kif 5276-5276 | Der arcussinus von der Sinus von RealNumber ist gleich ** RealNumber %n{nicht} |
(equal (ArcTangentFn (TangentFn ?X)) ?X) |
Merge.kif 5256-5256 | Der arcustangens von der tangens von RealNumber ist gleich ** RealNumber %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 863-872 | AvailableForMilitaryServiceMaleFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} |
(equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE Triangle))) 3) |
Mid-level-ontology.kif 4888-4891 | Die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich 3 %n{nicht} |
(equal (CardinalityFn Continent) 7) |
Merge.kif 14228-14228 | Die Zahl Faellen in Continent ist gleich 7 %n{nicht} |
(equal (CardinalityFn NativityMagi) 3) |
Media.kif 2003-2003 | Die Zahl Faellen in NativityMagi ist gleich 3 %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 886-897 | FitForMilitaryServiceMaleFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} |
(equal (MeasureFn 1 KilowattHour) (MeasureFn 3.6 (MegaFn Joule))) |
Economy.kif 2008-2008 | 1 KilowattHour(s) ist gleich 3.6 1 million Joule(s) %n{nicht} |
(equal (MeasureFn 1 KilowattHour) (MeasureFn 3600000.0 Joule)) |
Economy.kif 2009-2009 | 1 KilowattHour(s) ist gleich 3600000.0 Joule(s) %n{nicht} |
(equal (MeasureFn 1 WeekDuration) (MeasureFn 7 DayDuration)) |
Merge.kif 7113-7115 | 1 WeekDuration(s) ist gleich 7 DayDuration(s) %n{nicht} |
(equal (MeasureFn 1 YearDuration) (MeasureFn 365 DayDuration)) |
Merge.kif 7140-7142 | 1 YearDuration(s) ist gleich 365 DayDuration(s) %n{nicht} |
(equal (MeasureFn 1.0 AngularDegree) (MeasureFn 60.0 ArcMinute)) |
Geography.kif 382-382 | 1.0 AngularDegree(s) ist gleich 60.0 ArcMinute(s) %n{nicht} |
(equal (MeasureFn 1.0 ArcMinute) (MeasureFn 60.0 ArcSecond)) |
Geography.kif 401-401 | 1.0 ArcMinute(s) ist gleich 60.0 ArcSecond(s) %n{nicht} |
(equal (MeasureFn 1.0 Fathom) (MeasureFn 6.0 FootLength)) |
Geography.kif 3842-3842 | 1.0 Fathom(s) ist gleich 6.0 FootLength(s) %n{nicht} |
(equal (MeasureFn 1.0 MetricTon) (MeasureFn 2205.0 PoundMass)) |
Mid-level-ontology.kif 13628-13630 | 1.0 MetricTon(s) ist gleich 2205.0 PoundMass(s) %n{nicht} |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 1852.0 Meter)) |
Geography.kif 3865-3867 | 1.0 NauticalMile(s) ist gleich 1852.0 Meter(s) %n{nicht} |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength)) |
Geography.kif 3861-3863 | 1.0 NauticalMile(s) ist gleich 6076.1 FootLength(s) %n{nicht} |
(equal (MeasureFn 1.0 SquareMile) (PerFn (MeasureFn 1.0 Mile) (MeasureFn 1.0 Mile))) |
Mid-level-ontology.kif 13723-13727 | 1.0 SquareMile(s) ist gleich PerFn 1.0 Mile(s) and 1.0 Mile(s) %n{nicht} |
(equal (MeasureFn 1.0 SquareYard) (PerFn (MeasureFn 1.0 YardLength) (MeasureFn 1.0 YardLength))) |
Mid-level-ontology.kif 13733-13737 | 1.0 SquareYard(s) ist gleich PerFn 1.0 YardLength(s) and 1.0 YardLength(s) %n{nicht} |
(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)) |
Geography.kif 402-402 | RealNumber ArcMinute(s) ist gleich 60.0 und ** RealNumber ArcSecond(s) %n{nicht} |
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute)) |
Geography.kif 383-383 | RealNumber AngularDegree(s) ist gleich 60.0 und ** RealNumber ArcMinute(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-24) Gram)) |
Merge.kif 7152-7154 | RealNumber Amu(s) ist gleich ** RealNumber und 1.6605402E-24 Gram(s) %n{nicht} |
(equal (MeasureFn ?NUMBER Angstrom) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter)) |
Merge.kif 7174-7176 | RealNumber Angstrom(s) ist gleich ** RealNumber und 1.0E-10 Meter(s) %n{nicht} |
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7368-7370 | RealNumber AngularDegree(s) ist gleich ** RealNumber und Pi und 180.0 Radian(s) %n{nicht} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |