(<=>
(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 383-416 |
年 は 年EAR year 目 の instance では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM average リスト and 実数 |
(<=>
(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 429-462 |
年 は 整数 year 目 の instance では %n FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM average リスト and 実数 |
(<=>
(attribute ?Q Queen)
(or
(attribute ?Q QueenRegnant)
(attribute ?Q QueenConsort))) |
Government.kif 1400-1404 |
Queen は オブジェクト の attribute では %n QueenRegnant は オブジェクト の attribute では %n QueenConsort は オブジェクト の attribute では %n |
(<=>
(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 232-249 |
MaleToFemaleRatioFn 地政学的地域 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 整数 は 実数 と equal では %n |
(<=>
(hearingAcuity ?H
(MeasureFn -10 Decibel)
(MeasureFn 15 Decibel))
(attribute ?H NormalHearingSensitivity)) |
Medicine.kif 1783-1787 |
hearingAcuity 人［人間］, -10 の Decibel(s) and 15 の Decibel(s) NormalHearingSensitivity は 人［人間］ の attribute では %n |
(<=>
(hearingAcuity ?H
(MeasureFn 16 Decibel)
(MeasureFn 25 Decibel))
(attribute ?H BorderlineHearingSensitivity)) |
Medicine.kif 1794-1798 |
hearingAcuity 人［人間］, 16 の Decibel(s) and 25 の Decibel(s) BorderlineHearingSensitivity は 人［人間］ の attribute では %n |
(<=>
(hearingAcuity ?H
(MeasureFn 26 Decibel)
(MeasureFn 40 Decibel))
(attribute ?H MildHearingLoss)) |
Medicine.kif 1805-1809 |
hearingAcuity 人［人間］, 26 の Decibel(s) and 40 の Decibel(s) MildHearingLoss は 人［人間］ の attribute では %n |
(<=>
(hearingAcuity ?H
(MeasureFn 41 Decibel)
(MeasureFn 55 Decibel))
(attribute ?H ModerateHearingLoss)) |
Medicine.kif 1815-1819 |
hearingAcuity 人［人間］, 41 の Decibel(s) and 55 の Decibel(s) ModerateHearingLoss は 人［人間］ の attribute では %n |
(<=>
(hearingAcuity ?H
(MeasureFn 56 Decibel)
(MeasureFn 70 Decibel))
(attribute ?H ModeratelySevereHearingLoss)) |
Medicine.kif 1826-1830 |
hearingAcuity 人［人間］, 56 の Decibel(s) and 70 の Decibel(s) ModeratelySevereHearingLoss は 人［人間］ の attribute では %n |
(<=>
(hearingAcuity ?H
(MeasureFn 71 Decibel)
(MeasureFn 90 Decibel))
(attribute ?H SevereHearingLoss)) |
Medicine.kif 1837-1841 |
hearingAcuity 人［人間］, 71 の Decibel(s) and 90 の Decibel(s) SevereHearingLoss は 人［人間］ の attribute では %n |
(<=>
(hearingAcuity ?H
(MeasureFn 91 Decibel)
(MeasureFn 200 Decibel))
(attribute ?H ProfoundHearingLoss)) |
Medicine.kif 1848-1852 |
hearingAcuity 人［人間］, 91 の Decibel(s) and 200 の Decibel(s) ProfoundHearingLoss は 人［人間］ の attribute では %n |
(<=>
(holdsDuring ?T
(and
(instance ?PERSON Human)
(forall (?ORG)
(not
(employs ?ORG ?PERSON)))))
(holdsDuring ?T
(attribute ?PERSON Unemployed))) |
Merge.kif 17224-17232 |
エンティティー は 人［人間］ の instance では %n エンティティー エンティティー は エンティティー を employ ない は 時間位置 の during holds %n{ない} Unemployed は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Female))) |
Mid-level-ontology.kif 20149-20153 |
オブジェクト は Bull の instance では %n オブジェクト は Cattle の instance では %n Female は オブジェクト の attribute では %n |
(<=>
(instance ?B Bull)
(and
(instance ?B Cattle)
(attribute ?B Male))) |
Mid-level-ontology.kif 20167-20171 |
オブジェクト は Bull の instance では %n オブジェクト は Cattle の instance では %n Male は オブジェクト の attribute では %n |
(<=>
(instance ?C Calf)
(and
(instance ?C Cattle)
(attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 20158-20162 |
オブジェクト は Calf の instance では %n オブジェクト は Cattle の instance では %n NonFullyFormed は オブジェクト の attribute では %n |
(<=>
(instance ?DV DamagedVehicle)
(and
(instance ?DV Vehicle)
(attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 30011-30015 |
オブジェクト は DamagedVehicle の instance では %n オブジェクト は Vehicle の instance では %n DeviceDamaged は オブジェクト の attribute では %n |
(<=>
(instance ?H Hen)
(and
(instance ?H Chicken)
(attribute ?H Female))) |
Mid-level-ontology.kif 20181-20185 |
オブジェクト は Hen の instance では %n オブジェクト は Chicken の instance では %n Female は オブジェクト の attribute では %n |
(<=>
(instance ?ICE Ice)
(and
(instance ?ICE Water)
(attribute ?ICE Solid))) |
Mid-level-ontology.kif 8951-8955 |
オブジェクト は Ice の instance では %n オブジェクト は 水 の instance では %n Solid は オブジェクト の attribute では %n |
(<=>
(instance ?L Lamb)
(and
(instance ?L Sheep)
(attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 20135-20139 |
オブジェクト は Lamb の instance では %n オブジェクト は Sheep の instance では %n NonFullyFormed は オブジェクト の attribute では %n |
(<=>
(instance ?R Rooster)
(and
(instance ?R Chicken)
(attribute ?R Male))) |
Mid-level-ontology.kif 20190-20194 |
オブジェクト は Rooster の instance では %n オブジェクト は Chicken の instance では %n Male は オブジェクト の attribute では %n |
(=>
(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 16824-16833 |
|
(=>
(and
(actedIn ?ACTOR ?O)
(instance ?PERF DramaticActing)
(patient ?PERF ?ACTOR)
(result ?PERF ?O))
(holdsDuring
(WhenFn ?PERF)
(attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 20709-20716 |
|
(=>
(and
(agent ?PROCESS ?AGENT)
(result ?PROCESS ?WORK)
(instance ?WORK ArtWork))
(holdsDuring
(WhenFn ?PROCESS)
(attribute ?AGENT Artist))) |
Mid-level-ontology.kif 18786-18792 |
|
(=>
(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 |
attribute