(<=>
(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 |
A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list |
(<=>
(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 |
A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list |
(<=>
(attribute ?Q Queen)
(or
(attribute ?Q QueenRegnant)
(attribute ?Q QueenConsort))) |
Government.kif 1364-1368 |
Queen is an attribute of an object if and only if Queen regnant is an attribute of the object or Queen consort is an attribute of the object |
(<=>
(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 |
The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number |
(<=>
(hearingAcuity ?H
(MeasureFn -10 Decibel)
(MeasureFn 15 Decibel))
(attribute ?H NormalHearingSensitivity)) |
Medicine.kif 1783-1787 |
A human can hear frequency of -10 dB(A)(s) at 15 dB(A)(s) decibels if and only if normal hearing sensitivity is an attribute of the human |
(<=>
(hearingAcuity ?H
(MeasureFn 16 Decibel)
(MeasureFn 25 Decibel))
(attribute ?H BorderlineHearingSensitivity)) |
Medicine.kif 1794-1798 |
A human can hear frequency of 16 dB(A)(s) at 25 dB(A)(s) decibels if and only if borderline hearing sensitivity is an attribute of the human |
(<=>
(hearingAcuity ?H
(MeasureFn 26 Decibel)
(MeasureFn 40 Decibel))
(attribute ?H MildHearingLoss)) |
Medicine.kif 1805-1809 |
A human can hear frequency of 26 dB(A)(s) at 40 dB(A)(s) decibels if and only if mild hearing loss is an attribute of the human |
(<=>
(hearingAcuity ?H
(MeasureFn 41 Decibel)
(MeasureFn 55 Decibel))
(attribute ?H ModerateHearingLoss)) |
Medicine.kif 1815-1819 |
A human can hear frequency of 41 dB(A)(s) at 55 dB(A)(s) decibels if and only if moderate hearing loss is an attribute of the human |
(<=>
(hearingAcuity ?H
(MeasureFn 56 Decibel)
(MeasureFn 70 Decibel))
(attribute ?H ModeratelySevereHearingLoss)) |
Medicine.kif 1826-1830 |
A human can hear frequency of 56 dB(A)(s) at 70 dB(A)(s) decibels if and only if moderately severe hearing loss is an attribute of the human |
(<=>
(hearingAcuity ?H
(MeasureFn 71 Decibel)
(MeasureFn 90 Decibel))
(attribute ?H SevereHearingLoss)) |
Medicine.kif 1837-1841 |
A human can hear frequency of 71 dB(A)(s) at 90 dB(A)(s) decibels if and only if severe hearing loss is an attribute of the human |
(<=>
(hearingAcuity ?H
(MeasureFn 91 Decibel)
(MeasureFn 200 Decibel))
(attribute ?H ProfoundHearingLoss)) |
Medicine.kif 1848-1852 |
A human can hear frequency of 91 dB(A)(s) at 200 dB(A)(s) decibels if and only if profound hearing loss is an attribute of the human |
(<=>
(holdsDuring ?T
(and
(instance ?PERSON Human)
(forall (?ORG)
(not
(employs ?ORG ?PERSON)))))
(holdsDuring ?T
(attribute ?PERSON Unemployed))) |
Merge.kif 17325-17333 |
An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed person is an attribute of the entity holds during the time position |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Female))) |
Mid-level-ontology.kif 20458-20462 |
An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Male))) |
Mid-level-ontology.kif 20476-20480 |
An object is an instance of bull if and only if the object is an instance of cattle and male is an attribute of the object |
(<=>
(instance ?C Calf)
(and
(instance ?C Cattle)
(attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 20467-20471 |
An object is an instance of calf if and only if the object is an instance of cattle and non fully formed is an attribute of the object |
(<=>
(instance ?DV DamagedVehicle)
(and
(instance ?DV Vehicle)
(attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 30351-30355 |
An object is an instance of damaged vehicle if and only if the object is an instance of vehicle and device damaged is an attribute of the object |
(<=>
(instance ?H Hen)
(and
(instance ?H Chicken)
(attribute ?H Female))) |
Mid-level-ontology.kif 20490-20494 |
An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object |
(<=>
(instance ?ICE Ice)
(and
(instance ?ICE Water)
(attribute ?ICE Solid))) |
Mid-level-ontology.kif 9197-9201 |
An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object |
(<=>
(instance ?L Lamb)
(and
(instance ?L Sheep)
(attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 20444-20448 |
An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object |
(<=>
(instance ?R Rooster)
(and
(instance ?R Chicken)
(attribute ?R Male))) |
Mid-level-ontology.kif 20499-20503 |
An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object |
(=>
(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 17070-17079 |
|
(=>
(and
(actedIn ?ACTOR ?O)
(instance ?PERF DramaticActing)
(patient ?PERF ?ACTOR)
(result ?PERF ?O))
(holdsDuring
(WhenFn ?PERF)
(attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 21018-21025 |
|
(=>
(and
(agent ?PROCESS ?AGENT)
(result ?PROCESS ?WORK)
(instance ?WORK ArtWork))
(holdsDuring
(WhenFn ?PROCESS)
(attribute ?AGENT Artist))) |
Mid-level-ontology.kif 19095-19101 |
|
(=>
(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 |
RegionalMember