(<=>
(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 |
Anno è un' istanza di l' anno AnnoEAR MaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale |
(<=>
(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 |
Anno è un' istanza di l' anno NumeroIntero FemaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale |
(<=>
(attribute ?Q Queen)
(or
(attribute ?Q QueenRegnant)
(attribute ?Q QueenConsort))) |
Government.kif 1400-1404 |
attribute Oggetto and Queen attribute Oggetto and QueenRegnant attribute Oggetto and QueenConsort |
(<=>
(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 AreaGeopolitica is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroIntero is uguale a NumeroReale |
(<=>
(hearingAcuity ?H
(MeasureFn -10 Decibel)
(MeasureFn 15 Decibel))
(attribute ?H NormalHearingSensitivity)) |
Medicine.kif 1783-1787 |
hearingAcuity Umano, -10 Decibel(s and 15 Decibel(s attribute Umano and NormalHearingSensitivity |
(<=>
(hearingAcuity ?H
(MeasureFn 16 Decibel)
(MeasureFn 25 Decibel))
(attribute ?H BorderlineHearingSensitivity)) |
Medicine.kif 1794-1798 |
hearingAcuity Umano, 16 Decibel(s and 25 Decibel(s attribute Umano and BorderlineHearingSensitivity |
(<=>
(hearingAcuity ?H
(MeasureFn 26 Decibel)
(MeasureFn 40 Decibel))
(attribute ?H MildHearingLoss)) |
Medicine.kif 1805-1809 |
hearingAcuity Umano, 26 Decibel(s and 40 Decibel(s attribute Umano and MildHearingLoss |
(<=>
(hearingAcuity ?H
(MeasureFn 41 Decibel)
(MeasureFn 55 Decibel))
(attribute ?H ModerateHearingLoss)) |
Medicine.kif 1815-1819 |
hearingAcuity Umano, 41 Decibel(s and 55 Decibel(s attribute Umano and ModerateHearingLoss |
(<=>
(hearingAcuity ?H
(MeasureFn 56 Decibel)
(MeasureFn 70 Decibel))
(attribute ?H ModeratelySevereHearingLoss)) |
Medicine.kif 1826-1830 |
hearingAcuity Umano, 56 Decibel(s and 70 Decibel(s attribute Umano and ModeratelySevereHearingLoss |
(<=>
(hearingAcuity ?H
(MeasureFn 71 Decibel)
(MeasureFn 90 Decibel))
(attribute ?H SevereHearingLoss)) |
Medicine.kif 1837-1841 |
hearingAcuity Umano, 71 Decibel(s and 90 Decibel(s attribute Umano and SevereHearingLoss |
(<=>
(hearingAcuity ?H
(MeasureFn 91 Decibel)
(MeasureFn 200 Decibel))
(attribute ?H ProfoundHearingLoss)) |
Medicine.kif 1848-1852 |
hearingAcuity Umano, 91 Decibel(s and 200 Decibel(s attribute Umano and ProfoundHearingLoss |
(<=>
(holdsDuring ?T
(and
(instance ?PERSON Human)
(forall (?ORG)
(not
(employs ?ORG ?PERSON)))))
(holdsDuring ?T
(attribute ?PERSON Unemployed))) |
Merge.kif 17254-17262 |
Entit� è un' istanza di Umano Entit� Entit� non impiega Entit� vales durante PosizioneTemporale attribute Entit� and Unemployed vales durante PosizioneTemporale |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Female))) |
Mid-level-ontology.kif 20200-20204 |
Oggetto è un' istanza di Bull Oggetto è un' istanza di Cattle attribute Oggetto and Female |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Male))) |
Mid-level-ontology.kif 20218-20222 |
Oggetto è un' istanza di Bull Oggetto è un' istanza di Cattle attribute Oggetto and Male |
(<=>
(instance ?C Calf)
(and
(instance ?C Cattle)
(attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 20209-20213 |
Oggetto è un' istanza di Calf Oggetto è un' istanza di Cattle attribute Oggetto and NonFullyFormed |
(<=>
(instance ?DV DamagedVehicle)
(and
(instance ?DV Vehicle)
(attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 30094-30098 |
Oggetto è un' istanza di DamagedVehicle Oggetto è un' istanza di Vehicle attribute Oggetto and DeviceDamaged |
(<=>
(instance ?H Hen)
(and
(instance ?H Chicken)
(attribute ?H Female))) |
Mid-level-ontology.kif 20232-20236 |
Oggetto è un' istanza di Hen Oggetto è un' istanza di Chicken attribute Oggetto and Female |
(<=>
(instance ?ICE Ice)
(and
(instance ?ICE Water)
(attribute ?ICE Solid))) |
Mid-level-ontology.kif 8979-8983 |
Oggetto è un' istanza di Ice Oggetto è un' istanza di Acqua attribute Oggetto and Solid |
(<=>
(instance ?L Lamb)
(and
(instance ?L Sheep)
(attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 20186-20190 |
Oggetto è un' istanza di Lamb Oggetto è un' istanza di Sheep attribute Oggetto and NonFullyFormed |
(<=>
(instance ?R Rooster)
(and
(instance ?R Chicken)
(attribute ?R Male))) |
Mid-level-ontology.kif 20241-20245 |
Oggetto è un' istanza di Rooster Oggetto è un' istanza di Chicken attribute Oggetto and Male |
(=>
(accommodationProvider ?PKG ?HOTEL)
(attribute ?HOTEL TravelerAccommodation)) |
Hotel.kif 2768-2770 |
|
(=>
(almaMater ?PERSON ?SCHOOL)
(exists (?EV)
(and
(instance ?EV EducationalProcess)
(destination ?EV ?PERSON)
(eventLocated ?EV ?SCHOOL)
(holdsDuring
(WhenFn ?EV)
(attribute ?PERSON Student))))) |
Mid-level-ontology.kif 16852-16861 |
|
(=>
(and
(actedIn ?ACTOR ?O)
(instance ?PERF DramaticActing)
(patient ?PERF ?ACTOR)
(result ?PERF ?O))
(holdsDuring
(WhenFn ?PERF)
(attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 20760-20767 |
|
(=>
(and
(agent ?PROCESS ?AGENT)
(result ?PROCESS ?WORK)
(instance ?WORK ArtWork))
(holdsDuring
(WhenFn ?PROCESS)
(attribute ?AGENT Artist))) |
Mid-level-ontology.kif 18837-18843 |
|
(=>
(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 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |