(<=>
(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 equal the male life expectancy at birth of a geopolitical area and the year and 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 equal the female life expectancy at birth of a geopolitical area and the year and 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 1362-1366 |
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 |
equal the male to female ratio of a geopolitical area and a real number if and only if equal an integer and the number of instances in the class described by a symbolic string and equal another integer and the number of instances in the class described by another symbolic string and equal the integer and the other integer and the real number |
(<=>
(hearingAcuity ?H
(MeasureFn -10 Decibel)
(MeasureFn 15 Decibel))
(attribute ?H NormalHearingSensitivity)) |
Medicine.kif 1776-1780 |
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 1787-1791 |
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 1798-1802 |
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 1808-1812 |
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 1819-1823 |
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 1830-1834 |
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 1841-1845 |
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 17429-17437 |
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 21817-21821 |
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 21835-21839 |
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 21826-21830 |
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 31986-31990 |
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 21849-21853 |
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 10185-10189 |
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 21803-21807 |
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 21858-21862 |
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 2779-2781 |
|
(=>
(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 18239-18248 |
|
(=>
(and
(actedIn ?ACTOR ?O)
(instance ?PERF DramaticActing)
(patient ?PERF ?ACTOR)
(result ?PERF ?O))
(holdsDuring
(WhenFn ?PERF)
(attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 22377-22384 |
|
(=>
(and
(agent ?PROCESS ?AGENT)
(result ?PROCESS ?WORK)
(instance ?WORK ArtWork))
(holdsDuring
(WhenFn ?PROCESS)
(attribute ?AGENT Artist))) |
Mid-level-ontology.kif 20408-20414 |
|
(=>
(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 |