(<=>
(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 |
equal o valor absoluto de Numero Real and Numero Real nao-negativo Numero Real e' uma instancia de Numero Real Numero Real nao-negativo e' uma instancia de Numero Real Numero Real e' uma instancia de Numero Real nao-negativo equal Numero Real and Numero Real nao-negativo Numero Real e' uma instancia de Numero Real negativo equal Numero Real nao-negativo and (0.0 + Numero Real) |
(<=>
(and
(instance ?Account FinancialAccount)
(possesses ?Agent ?Asset)
(equal ?Account
(AccountFn ?Asset)))
(accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2338-2343 |
FinancialAccount e' uma instancia de FinancialAccount Agente Cognitivo possui FinancialAsset equal FinancialAccount and AccountFn FinancialAsset accountHolder FinancialAccount and Agente Cognitivo |
(<=>
(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 |
Ano e' uma instancia de o ano AnoEAR equal MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano and Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real |
(<=>
(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 |
Ano e' uma instancia de o ano Numero Inteiro equal BirthsPerThousandFn Area Geopolitica and Ano and Numero Real equal PopulationFn Area Geopolitica + 1000 and Numero Real equal Numero Inteiro and o numero de instancias dentro de a classe descrita por Sequencia Simbolica equal Numero Inteiro + Numero Real and Numero Real |
(<=>
(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 |
Ano e' uma instancia de o ano Numero Inteiro equal DeathsPerThousandFn Area Geopolitica and Ano and Numero Real equal PopulationFn Area Geopolitica + 1000 and Numero Real equal Numero Inteiro and o numero de instancias dentro de a classe descrita por Sequencia Simbolica equal Numero Inteiro + Numero Real and Numero Real |
(<=>
(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 |
Ano e' uma instancia de o ano Numero Inteiro equal DeathsPerThousandLiveBirthsFn Area Geopolitica and Ano and Numero Real equal Numero Inteiro and o numero de instancias dentro de a classe descrita por Sequencia Simbolica equal Numero Inteiro + 1000 and Numero Real equal Numero Inteiro and o numero de instancias dentro de a classe descrita por Sequencia Simbolica equal Numero Inteiro + Numero Real and Numero Real |
(<=>
(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 |
Ano e' uma instancia de o ano Numero Inteiro equal FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano and Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real |
(<=>
(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 |
Ano e' uma instancia de o ano Numero Inteiro equal LifeExpectancyAtBirthFn Area Geopolitica and Ano and Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real |
(<=>
(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 |
Ano e' uma instancia de o ano Numero Inteiro equal MigrantsPerThousandFn Area Geopolitica and Ano and Numero Real equal ( Numero Inteiro + Numero Inteiro) and 1 Entidade e' uma instancia de o ano Numero Inteiro equal PopulationFn Area Geopolitica and Numero Real vale durante Ano equal Numero Real + 1000 and Numero Real equal Numero Inteiro and o numero de instancias dentro de a classe descrita por Sequencia Simbolica equal Numero Inteiro and o numero de instancias dentro de a classe descrita por Sequencia Simbolica equal ( Numero Inteiro + Numero Inteiro) and Numero Real equal Numero Real + Numero Real and Numero Real |
(<=>
(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 |
Ano e' uma instancia de o ano Numero Inteiro equal PopulationGrowthFn Area Geopolitica and Ano and Numero Real equal ( Numero Inteiro + Numero InteiroP) and 1 Posicao Temporal e' uma instancia de o ano Numero InteiroP equal PopulationFn Area Geopolitica and Numero Real vale durante Ano equal PopulationFn Area Geopolitica and Numero Real vale durante Posicao Temporal equal Numero Real + Numero Real and Numero Real equal ( Numero Real + 1) and Numero Real |
(<=>
(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 |
equal MaleToFemaleRatioFn Area Geopolitica and Numero Real equal Numero Inteiro and o numero de instancias dentro de a classe descrita por Sequencia Simbolica equal Numero Inteiro and o numero de instancias dentro de a classe descrita por Sequencia Simbolica equal Numero Inteiro + Numero Inteiro and Numero Real |
(<=>
(equal ?ID
(InfectionFn ?M))
(biologicalAgentCarrier ?ID ?M)) |
Medicine.kif 2003-2005 |
equal BiologicalAgent and InfectionFn Organismo biologicalAgentCarrier BiologicalAgent and Organismo |
(<=>
(equal ?SD
(StandardDeviationFn ?L))
(equal ?SD
(SquareRootFn
(VarianceFn ?L)))) |
Weather.kif 2233-2238 |
equal Numero Real and StandardDeviationFn Lista equal Numero Real and a raiz quadrada de VarianceFn Lista |
(<=>
(equal ?SPEED
(MeasureFn ?NUM MilesPerHour))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Mile)
(MeasureFn 1 HourDuration)))) |
Weather.kif 2426-2432 |
equal Funcao de Quantidade and Numero Real MilesPerHour(s) equal Funcao de Quantidade and Numero Real Mile(s) por 1 HourDuration(s) |
(<=>
(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 3051-3059 |
FinancialInstrument FinancialInstrumentPrice and Medida de Divisa Agreement e' uma instancia de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and Medida de Divisa equal FinancialInstrumentPrice and Medida de Divisa 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 15450-15460 |
|
(=>
(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 2238-2248 |
|
(=>
(and
(arcLength ?A ?L)
(equal ?A CircularArc))
(exists (?P ?P2)
(and
(pointOfFigure ?P ?A)
(pointOfFigure ?P2 ?A)
(not
(equal ?P ?P2))
(geometricDistance ?P ?P2 ?L)))) |
Mid-level-ontology.kif 5684-5694 |
|
(=>
(and
(arcLength ?SEMI
(MeasureFn ?L ?U))
(equal ?SEMI SemicircularArc))
(exists (?CIR ?C)
(and
(equal ?CIR Circle)
(geometricPart ?SEMI ?CIR)
(circumference ?CIR
(MeasureFn ?C ?U))
(equal ?C
(AdditionFn ?L ?L))))) |
Mid-level-ontology.kif 5700-5710 |
|
(=>
(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 3987-4007 |
|
(=>
(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 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |