(<=>
(attribute ?INDIVIDUAL RomanCatholic)
(member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1275-1277 |
Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism |
(<=>
(attribute ?INDIVIDUAL ShiaMuslim)
(member ?INDIVIDUAL ShiiteSect)) |
People.kif 1377-1379 |
Shia muslim is an attribute of an object if and only if the object is a member of shiite sect |
(<=>
(attribute ?INDIVIDUAL Shintoist)
(member ?INDIVIDUAL Shinto)) |
People.kif 1472-1474 |
Shintoist is an attribute of an object if and only if the object is a member of shinto |
(<=>
(attribute ?INDIVIDUAL Sikh)
(member ?INDIVIDUAL Sikhism)) |
People.kif 1487-1489 |
Sikh is an attribute of an object if and only if the object is a member of sikhism |
(<=>
(attribute ?INDIVIDUAL SunniMuslim)
(member ?INDIVIDUAL SunniSect)) |
People.kif 1396-1398 |
Sunni muslim is an attribute of an object if and only if the object is a member of sunni sect |
(<=>
(attribute ?INDIVIDUAL Taoist)
(member ?INDIVIDUAL Taoism)) |
People.kif 1502-1504 |
Taoist is an attribute of an object if and only if the object is a member of taoism |
(<=>
(attribute ?INDIVIDUAL Zoroastrian)
(member ?INDIVIDUAL Zoroastrianism)) |
People.kif 1517-1519 |
Zoroastrian is an attribute of an object if and only if the object is a member of zoroastrianism |
(<=>
(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 751-762 |
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 ?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 |
(<=>
(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 4711-4720 |
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 |
(<=>
(aunt ?A ?H)
(exists (?P)
(and
(sister ?A ?P)
(parent ?H ?P)))) |
Mid-level-ontology.kif 23045-23050 |
A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human |
(<=>
(average ?LIST1 ?AVERAGE)
(exists (?LIST2 ?LASTPLACE)
(and
(equal
(ListLengthFn ?LIST2)
(ListLengthFn ?LIST1))
(equal
(ListOrderFn ?LIST2 1)
(ListOrderFn ?LIST1 1))
(forall (?ITEMFROM2)
(=>
(inList ?ITEMFROM2 ?LIST2)
(exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(and
(greaterThan ?POSITION 1)
(lessThanOrEqualTo ?POSITION
(ListLengthFn ?LIST2))
(equal
(ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION)
(inList ?ITEMFROM1 ?LIST1)
(equal ?POSITION
(ListOrderFn ?LIST1 ?ITEMFROM1))
(inList ?PRIORFROM2 ?LIST2)
(equal ?POSITIONMINUSONE
(SubtractionFn ?POSITION 1))
(equal ?POSITIONMINUSONE
(ListOrderFn ?LIST2 ?PRIORFROM2))
(equal ?ITEMFROM2
(AdditionFn ?ITEMFROM1 ?PRIORFROM2))))))
(equal ?LASTPLACE
(ListLengthFn ?LIST2))
(equal ?AVERAGE
(DivisionFn
(ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE))))) |
People.kif 272-293 |
A real number is an average of a list if and only if there exist another list and a positive integer such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all another positive integer and the positive integer is equal to length of the other list and the real number is equal to the positive integerth element of the other list and the positive integer |
(<=>
(bankAccount ?AccountType ?Bank)
(exists (?Account)
(and
(instance ?Account ?AccountType)
(accountAt ?Account ?Bank)))) |
FinancialOntology.kif 3943-3948 |
A BankFinancialOrganization is a bank account of a kind of financial account if and only if there exists another financial account such that the other financial account is an instance of a kind of financial account and the other financial account is held by the BankFinancialOrganization |
(<=>
(beliefGroupPercentInRegion ?BG ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?BG)
(member ?P ?G1)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1528-1539 |
A real number percent of people in a geographic area believe in a belief group if and only if there exist a collection, another collection,, , a physical,, , the physical2,, , the real number1 and the real number2 such that the physical is located at the geographic area and the physical is a member of the belief group and the physical is a member of the collection and the real number1 is a member count of the collection and the physical2 is located at the geographic area and the physical2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2 |
(<=>
(capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(capitalExpendituresOfArea ?AREA ?CAPAMOUNT))))) |
Economy.kif 1565-1570 |
A geopolitical area capital expenditures of area in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is a capital expenditures of area of the geopolitical area holds during the time position |
(<=>
(compressionRatio ?E ?R)
(and
(minCylinderVolume ?E
(MeasureFn ?MIN ?M))
(maxCylinderVolume ?E
(MeasureFn ?MAX ?M))
(equal ?R
(DivisionFn ?MIN ?MAX)))) |
Cars.kif 1934-1939 |
The compression ratio of an engine is a real number if and only if the minimum volume of the cylinders in the engine the engine is another real number an unit of measure(s) and the maximum volume of the cylinders in the engine the engine is the unit of measureAX the unit of measure(s) and the real number is equal to the other real number and the unit of measureAX |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 0.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3731-3733 |
An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 135.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3755-3757 |
An object courseWRT true north another object for 135.0 angular degree(s) if and only if the object is southeast to the other object |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 180.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3739-3741 |
An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 225.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3759-3761 |
An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 270.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3743-3745 |
An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 315.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3763-3765 |
An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest to the other object |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 360.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3747-3749 |
An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 45.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3751-3753 |
An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 90.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3735-3737 |
An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
