(<=>
(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 |
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 429-462 |
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 1400-1404 |
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 232-249 |
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 |
(<=>
(holdsDuring ?T
(and
(instance ?PERSON Human)
(forall (?ORG)
(not
(employs ?ORG ?PERSON)))))
(holdsDuring ?T
(attribute ?PERSON Unemployed))) |
Merge.kif 17105-17113 |
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 Cow)
(attribute ?B Male))) |
Mid-level-ontology.kif 19975-19979 |
An object is an instance of bull if and only if the object is an instance of cow and male is an attribute of the object |
(<=>
(instance ?C Calf)
(and
(instance ?C Cow)
(attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 19966-19970 |
An object is an instance of calf if and only if the object is an instance of cow and non fully formed is an attribute of the object |
(<=>
(instance ?COW FemaleCow)
(and
(instance ?COW Cow)
(attribute ?COW Female))) |
Mid-level-ontology.kif 19984-19988 |
An object is an instance of female cow if and only if the object is an instance of cow and female is an attribute of the object |
(<=>
(instance ?DV DamagedVehicle)
(and
(instance ?DV Vehicle)
(attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 30010-30014 |
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 19998-20002 |
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 8939-8943 |
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 19952-19956 |
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 20007-20011 |
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 16695-16704 |
|
(=>
(and
(actedIn ?ACTOR ?O)
(instance ?PERF DramaticActing)
(patient ?PERF ?ACTOR)
(result ?PERF ?O))
(holdsDuring
(WhenFn ?PERF)
(attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 20542-20549 |
|
(=>
(and
(agent ?PROCESS ?AGENT)
(result ?PROCESS ?WORK)
(instance ?WORK ArtWork))
(holdsDuring
(WhenFn ?PROCESS)
(attribute ?AGENT Artist))) |
Mid-level-ontology.kif 18619-18625 |
|
(=>
(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 ?O ?P)
(instance ?P Fingerprint)
(not
(instance ?O Finger)))
(exists (?PR ?F)
(and
(instrument ?PR ?F)
(instance ?F Finger)
(attribute ?F ?P)
(patient ?PR ?O)))) |
Mid-level-ontology.kif 12385-12395 |
|
(=>
(and
(attribute ?OBJ ?ATR)
(instance ?ATR SubjectiveAssessmentAttribute))
(exists (?TIME ?JUDGE ?AGENT)
(and
(instance ?JUDGE Judging)
(agent ?JUDGE ?AGENT)
(patient ?JUDGE ?OBJ)
(patient ?JUDGE
(attribute ?OBJ ?ATR))
(holdsDuring ?TIME
(believes ?AGENT
(property ?OBJ ?ATR)))))) |
Merge.kif 17183-17196 |
|
(=>
(and
(attribute ?OBJ Monochromatic)
(superficialPart ?PART ?OBJ)
(attribute ?PART ?COLOR)
(instance ?COLOR PrimaryColor))
(forall (?ELEMENT)
(=>
(superficialPart ?ELEMENT ?OBJ)
(attribute ?ELEMENT ?COLOR)))) |
Merge.kif 17530-17539 |
|
(=>
(and
(attribute ?OFFICER ?COR)
(instance ?COR CommissionedOfficerRank))
(exists (?MANAGE ?PATIENT)
(and
(instance ?MANAGE Managing)
(agent ?MANAGE ?OFFICER)
(patient ?MANAGE ?PATIENT)
(or
(instance ?PATIENT MilitaryOrganization)
(attribute ?PATIENT Soldier))))) |
Military.kif 286-297 |
|
(=>
(and
(attribute ?SYLLABLE Stressed)
(instance ?WORD Word)
(part ?SYLLABLE ?WORD))
(not
(exists (?SYLLABLE2)
(and
(instance ?SYLLABLE2 Syllable)
(part ?SYLLABLE2 ?WORD)
(attribute ?SYLLABLE2 Stressed)
(not
(equal ?SYLLABLE2 ?SYLLABLE)))))) |
Mid-level-ontology.kif 19225-19235 |
|
(=>
(and
(attribute ?X ?SHAPE)
(instance ?X FourPosterBed)
(instance ?SHAPE Quadrilateral)
(sideOfFigure ?SIDE1 ?SHAPE)
(sideOfFigure ?SIDE2 ?SHAPE)
(not
(equal ?SIDE1 ?SIDE2)))
(exists (?POST ?FLOOR ?CORNER1 ?CORNER)
(and
(part ?POST ?X)
(instance ?FLOOR Floor)
(orientation ?X ?FLOOR On)
(orientation ?POST ?FLOOR Vertical)
(pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1)
(attribute ?CORNER ?CORNER1)
(meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4038-4055 |
|
(=>
(and
(attribute ?X ?Y)
(instance ?Y TemperatureAttribute)
(instance ?X Object))
(exists (?TEMP)
(and
(measure ?X ?TEMP)
(instance ?TEMP TemperatureMeasure)
(attribute ?TEMP ?Y)))) |
Mid-level-ontology.kif 25596-25605 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |