(<=>
(and
(instance ?B BodyPart)
(holdsDuring ?T
(attribute ?B Bare)))
(holdsDuring ?T
(not
(exists (?C)
(and
(instance ?C Clothing)
(covers ?C ?B)))))) |
Mid-level-ontology.kif 30095-30105 |
An entity is an instance of body part and bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position |
(<=>
(and
(instance ?COMBINE Combining)
(resource ?COMBINE ?OBJ1)
(result ?COMBINE ?OBJ2))
(and
(holdsDuring
(BeginFn
(WhenFn ?COMBINE))
(not
(part ?OBJ1 ?OBJ2)))
(holdsDuring
(EndFn
(WhenFn ?COMBINE))
(part ?OBJ1 ?OBJ2)))) |
Merge.kif 12436-12443 |
A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process |
(<=>
(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 |
(<=>
(and
(instance ?YEAR
(YearFn ?Y))
(equal
(LifeExpectancyAtBirthFn ?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)
(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 336-368 |
A year is an instance of the year an integer and the 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
(MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
(and
(equal
(SubtractionFn ?Y ?PY) 1)
(instance ?PREVIOUSYEAR
(YearFn ?PY))
(holdsDuring ?YEAR
(equal
(PopulationFn ?AREA) ?POPULATION))
(equal
(DivisionFn ?POPULATION 1000) ?THOUSANDS)
(equal ?IMMIGRATION
(CardinalityFn
(KappaFn ?PERSON
(and
(instance ?PERSON Human)
(holdsDuring ?PREVIOUSYEAR
(not
(inhabits ?PERSON ?AREA)))
(holdsDuring ?YEAR
(inhabits ?PERSON ?AREA))))))
(equal ?EMMIGRATION
(CardinalityFn
(KappaFn ?PERSON
(and
(instance ?PERSON Human)
(holdsDuring ?PREVIOUSYEAR
(inhabits ?PERSON ?AREA))
(holdsDuring ?YEAR
(not
(inhabits ?PERSON ?AREA)))))))
(equal
(SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
(equal
(DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER))) |
People.kif 182-213 |
A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third real number is equal to the real number |
(<=>
(attribute ?MUSIC PolyphonicMusic)
(exists (?PART1 ?PART2)
(and
(instance ?MUSIC MakingMusic)
(instance ?PART1 MakingMusic)
(instance ?PART2 MakingMusic)
(subProcess ?PART1 ?MUSIC)
(subProcess ?PART2 ?MUSIC)
(not
(equal ?PART1 ?PART2))
(cooccur ?PART1 ?MUSIC)
(cooccur ?PART2 ?MUSIC)))) |
Mid-level-ontology.kif 723-734 |
Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and the process is not equal to the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object |
(<=>
(attribute ?WATER OpenSea)
(exists (?LAND ?DIST)
(and
(instance ?WATER SaltWaterArea)
(not
(instance ?WATER LandlockedWater))
(distance ?LAND ?WATER
(MeasureFn ?DIST NauticalMile))
(greaterThan ?DIST 5.0)))) |
Geography.kif 4689-4698 |
Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0 |
(<=>
(cousin ?P1 ?P2)
(and
(exists (?G1 ?G2)
(and
(grandmother ?P1 ?G1)
(grandfather ?P1 ?G2)
(grandmother ?P2 ?G1)
(grandfather ?P2 ?G2)))
(not
(exists (?M ?F)
(and
(mother ?P1 ?M)
(father ?P1 ?F)
(mother ?P2 ?M)
(father ?P2 ?F)))))) |
Mid-level-ontology.kif 23010-23025 |
A human and another human are cousins if and only if there exist a woman and a man such that the grandmother of the human is the woman and the grandfather of the human is the man and the grandmother of the other human is the woman and the grandfather of the other human is the man and there don't exist an organism and another organism such that the organism is a mother of the human and the other organism is a father of the human and the organism is a mother of the other human and the other organism is a father of the other human |
(<=>
(holdsDuring ?T
(attribute ?A Barefoot))
(holdsDuring ?T
(not
(exists (?S)
(and
(instance ?S Shoe)
(wears ?A ?S)))))) |
Mid-level-ontology.kif 30049-30057 |
Barefoot is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of shoe and the entity wears the other entity holds during the time position |
(<=>
(holdsDuring ?T
(attribute ?A Naked))
(holdsDuring ?T
(not
(exists (?C)
(and
(instance ?C Clothing)
(wears ?A ?C)))))) |
Mid-level-ontology.kif 30062-30070 |
Naked is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the entity wears the other entity holds during the time position |
(<=>
(holdsDuring ?T
(attribute ?H Alone))
(not
(exists (?H2 ?SI)
(and
(not
(equal ?H ?H2))
(instance ?H2 AutonomousAgent)
(instance ?SI SocialInteraction)
(during
(WhenFn ?SI) ?T)
(involvedInEvent ?SI ?H)
(involvedInEvent ?SI ?H2))))) |
Mid-level-ontology.kif 30140-30153 |
Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that the entity is not equal to the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process |
(<=>
(holdsDuring ?T
(attribute ?P Mute))
(not
(exists (?S)
(and
(instance ?S Speaking)
(during
(WhenFn ?S) ?T)
(agent ?S ?P))))) |
Mid-level-ontology.kif 30188-30196 |
Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process |
(<=>
(instance ?CS ConjugatedSubstance)
(exists (?C1 ?C2 ?P)
(and
(instance ?C1 CompoundSubstance)
(instance ?C2 CompoundSubstance)
(not
(equal ?C1 ?C2))
(instance ?P ChemicalSynthesis)
(resource ?P ?C1)
(resource ?P ?C2)
(result ?P ?CS)))) |
Mid-level-ontology.kif 6450-6460 |
An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process |
(<=>
(lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(located ?RAILWAYS ?AREA)
(not
(instance ?RAILWAYS
(UnionFn StandardGaugeRailway
(UnionFn BroadGaugeRailway
(UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH)) |
Transportation.kif 294-306 |
A length measure is a length of unclassified gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
(<=>
(manner ?P Harmless)
(and
(not
(instance ?P Damaging))
(not
(exists (?P2)
(and
(instance ?P2 Damaging)
(subProcess ?P2 ?P))))
(not
(exists (?P2)
(and
(instance ?P2 Damaging)
(causes ?P ?P2)))))) |
Mid-level-ontology.kif 30213-30227 |
A process is performed in the manner harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2 |
(<=>
(modalAttribute ?F1 Legal)
(not
(exists (?F2)
(and
(modalAttribute ?F2 Law)
(not
(consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 13822-13829 |
The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula |
(<=>
(modalAttribute ?FORMULA Necessity)
(not
(modalAttribute
(not ?FORMULA) Possibility))) |
Merge.kif 17386-17388 |
The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility |
(<=>
(modalAttribute ?FORMULA Obligation)
(not
(modalAttribute
(not ?FORMULA) Permission))) |
Merge.kif 17449-17451 |
The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission |
(<=>
(modalAttribute ?FORMULA Prohibition)
(not
(modalAttribute ?FORMULA Permission))) |
Merge.kif 17485-17487 |
The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission |
(<=>
(orientation ?OBJ ?REGION Outside)
(not
(partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 9091-9094 |
An object is outside to another object if and only if the object is not partly located in the other object |
(<=>
(stepfather ?P ?F)
(exists (?M)
(and
(mother ?P ?M)
(spouse ?F ?M)
(not
(father ?P ?F))))) |
Mid-level-ontology.kif 23101-23108 |
A man is the stepfather of a human if and only if there exists another human such that the other human is a mother of the human and the man is the spouse of the other human and the man is not a father of the human |
(<=>
(stepmother ?P ?M)
(exists (?F)
(and
(father ?P ?F)
(spouse ?M ?F)
(not
(mother ?P ?M))))) |
Mid-level-ontology.kif 23118-23125 |
A woman is the stepfather of a human if and only if there exists another human such that the other human is a father of the human and the woman is the spouse of the other human and the woman is not a mother of the human |
(=>
(agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
(not
(holdsRight
(exists (?PROC)
(and
(realization ?PROC ?PROP)
(agent ?PROC ?AGENT))) ?AGENT))) |
Mid-level-ontology.kif 14063-14070 |
|
(=>
(agreementExpirationDate ?AGREEMENT ?ENDDATE)
(holdsDuring
(FutureFn ?ENDDATE)
(not
(property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 14027-14030 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
