(<=>
(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 2680-2690 |
Entidade e' uma instancia de Regiao Entidade tem um atributo de StandardAmbientTemperaturePressure vale durante Posicao Temporal airTemperature Entidade and 298.15 KelvinDegree(s) barometricPressure Entidade and 29.530 InchMercury(s) vale durante Posicao Temporal |
(<=>
(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 MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a 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
(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 DeathsPerThousandLiveBirthsFn Area Geopolitica and Ano e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a 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 FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a 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 LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a 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 |
(<=>
(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 4711-4720 |
OpenSea e' um atributo de Objeto Fisico Numero Real Objeto e' uma instancia de Area Aquatica salgada Objeto e' uma instancia de LandlockedWater a distancia entre Fisico e Objeto e' Numero Real NauticalMile(s) Numero Real e' maior que 5.0 |
(<=>
(compressionRatio ?E ?R)
(and
(minCylinderVolume ?E
(MeasureFn ?MIN ?M))
(maxCylinderVolume ?E
(MeasureFn ?MAX ?M))
(equal ?R
(DivisionFn ?MIN ?MAX)))) |
Cars.kif 1928-1933 |
compressionRatio Engine and Numero Real minCylinderVolume Engine and Numero Real Unidade de Medida(s) maxCylinderVolume Engine and Unidade de MedidaAX Unidade de Medida(s) Numero Real e' igual a Numero Real + Unidade de MedidaAX |
(<=>
(equal ?SPEED
(MeasureFn ?NUM MilesPerHour))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Mile)
(MeasureFn 1 HourDuration)))) |
Weather.kif 1702-1708 |
Funcao de Quantidade e' igual a Numero Real MilesPerHour(s) Funcao de Quantidade e' igual a Numero Real Mile(s) por 1 HourDuration(s) |
(<=>
(larger ?OBJ1 ?OBJ2)
(forall (?QUANT1 ?QUANT2 ?UNIT)
(=>
(and
(measure ?OBJ1
(MeasureFn ?QUANT1 ?UNIT))
(measure ?OBJ2
(MeasureFn ?QUANT2 ?UNIT))
(instance ?UNIT UnitOfLength))
(greaterThan ?QUANT1 ?QUANT2)))) |
Merge.kif 7758-7766 |
Objeto e' maior do que Objeto Numero Real Numero Real and Unidade de Medida |
(<=>
(measure ?O
(MeasureFn ?A MetricTon))
(measure ?O
(MeasureFn
(MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 13605-13611 |
A medida de Fisico e' Numero Real MetricTon(s) a medida de Fisico e' Numero Real + 2205.0 PoundMass(s) |
(<=>
(measure ?OBJ
(MeasureFn ?DEG AngularDegree))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60.0 ?DEG) ArcMinute))) |
Geography.kif 378-380 |
A medida de Fisico e' Numero Real AngularDegree(s) a medida de Fisico e' 60.0 + Numero Real ArcMinute(s) |
(<=>
(measure ?OBJ
(MeasureFn ?DEG ArcMinute))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60.0 ?DEG) ArcSecond))) |
Geography.kif 397-399 |
A medida de Fisico e' Numero Real ArcMinute(s) a medida de Fisico e' 60.0 + Numero Real ArcSecond(s) |
(<=>
(measure ?OBJECT
(MeasureFn ?NUMBER OunceMass))
(measure ?OBJECT
(MeasureFn
(DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 13326-13331 |
A medida de Fisico e' Numero Real OunceMass(s) a medida de Fisico e' Numero Real + 16.0 PoundMass(s) |
(<=>
(sectorValueOfGDPInPeriod ?AREA ?SECTOR
(MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorValueOfGDP ?AREA ?SECTOR
(MeasureFn ?AMOUNT ?CUNIT)))))) |
Economy.kif 1129-1137 |
sectorValueOfGDPInPeriod Area Geopolitica, IndustryAttribute, Numero Real Unidade de Medida(s) and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal sectorValueOfGDP Area Geopolitica, IndustryAttribute and Numero Real Unidade de Medida(s) vale durante Posicao Temporal |
(=>
(and
(amount ?S ?CO
(MeasureFn ?N ?U))
(instance ?SI ?S)
(measure ?SI
(MeasureFn ?N2 ?U))
(part ?SI ?CO))
(exists (?L)
(and
(inList
(MeasureFn ?N2 ?U) ?L)
(equal ?L
(AmountsFn ?S ?CO ?U))
(equal ?N
(ListSumFn ?L))))) |
Merge.kif 7596-7611 |
|
(=>
(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
(arableLandArea ?REGION
(MeasureFn ?FRACTION ?UNIT))
(greaterThanOrEqualTo ?FRACTION 0.0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea))
(exists (?ARABLE)
(and
(instance ?ARABLE ArableLand)
(geographicSubregion ?ARABLE ?REGION)
(measure ?ARABLE
(MeasureFn
(MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) |
Geography.kif 2092-2106 |
|
(=>
(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 ?P CollegeFreshman)
(occupiesPosition ?H ?P ?ORG))
(exists (?T)
(and
(holdsDuring
(MeasureFn ?T YearDuration)
(student ?H ?ORG))
(lessThan ?T 1)))) |
Mid-level-ontology.kif 18728-18737 |
|
(=>
(and
(attribute ?P CollegeJunior)
(occupiesPosition ?H ?P ?ORG))
(exists (?T)
(and
(holdsDuring
(MeasureFn ?T YearDuration)
(student ?H ?ORG))
(greaterThanOrEqualTo ?T 2)
(lessThan ?T 3)))) |
Mid-level-ontology.kif 18743-18753 |
|
(=>
(and
(attribute ?P CollegeSenior)
(occupiesPosition ?H ?P ?ORG))
(exists (?T)
(and
(holdsDuring
(MeasureFn ?T YearDuration)
(student ?H ?ORG))
(greaterThanOrEqualTo ?T 3)
(lessThan ?T 4)))) |
Mid-level-ontology.kif 18759-18769 |
|
(=>
(and
(attribute ?P CollegeSophomore)
(occupiesPosition ?H ?P ?ORG))
(exists (?T)
(and
(holdsDuring
(MeasureFn ?T YearDuration)
(student ?H ?ORG))
(greaterThanOrEqualTo ?T 1)
(lessThan ?T 2)))) |
Mid-level-ontology.kif 18775-18785 |
|
(=>
(and
(attribute ?ROOM Oversized)
(immediateInstance ?ROOM ?HOTELUNIT)
(subclass ?HOTELUNIT HotelUnit))
(exists (?NORMAL ?AREA1 ?AREA2 ?U)
(and
(immediateInstance ?NORMAL ?HOTELUNIT)
(instance ?U UnitOfArea)
(measure ?NORMAL
(MeasureFn ?AREA1 ?U))
(measure ?ROOM
(MeasureFn ?AREA2 ?U))
(instance ?AREA1 AreaMeasure)
(instance ?AREA2 AreaMeasure)
(greaterThan ?AREA2 ?AREA1)))) |
Hotel.kif 1186-1201 |
|
(=>
(and
(citizen ?AGENT ?POLITY)
(subProposition UniversalSuffrageLaw
(RegionalLawFn ?POLITY)))
(confersRight
(forall (?VOTINGAGE ?AGE ?ELECTION)
(=>
(and
(citizen ?AGENT ?POLITY)
(suffrageAgeMinimum ?POLITY
(MeasureFn ?VOTINGAGE YearDuration))
(age ?AGENT
(MeasureFn ?AGE YearDuration))
(greaterThanOrEqualTo ?AGE ?VOTINGAGE)
(instance ?ELECTION
(ElectionFn ?POLITY)))
(exists (?VOTING)
(and
(instance ?VOTING
(VotingFn ?ELECTION))
(agent ?VOTING ?AGENT)))))
(RegionalLawFn ?POLITY) ?AGENT)) |
Government.kif 1132-1152 |
|
(=>
(and
(comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2)
(instance ?UNIT UnitOfArea)
(measure ?REGION1
(MeasureFn ?NUM1 ?UNIT))
(measure ?REGION2
(MeasureFn ?NUM2 ?UNIT)))
(?RELATION
(MeasureFn ?NUM1 ?UNIT)
(MeasureFn
(MultiplicationFn ?FACTOR ?NUM2) ?UNIT))) |
Geography.kif 659-669 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |