(<=>
(attribute ?INDIVIDUAL RomanCatholic)
(member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1275-1277 |
RomanCatholic est un attribut de objet objet est un membre de RomanCatholicism |
(<=>
(attribute ?INDIVIDUAL ShiaMuslim)
(member ?INDIVIDUAL ShiiteSect)) |
People.kif 1377-1379 |
ShiaMuslim est un attribut de objet objet est un membre de ShiiteSect |
(<=>
(attribute ?INDIVIDUAL Shintoist)
(member ?INDIVIDUAL Shinto)) |
People.kif 1472-1474 |
Shintoist est un attribut de objet objet est un membre de Shinto |
(<=>
(attribute ?INDIVIDUAL Sikh)
(member ?INDIVIDUAL Sikhism)) |
People.kif 1487-1489 |
Sikh est un attribut de objet objet est un membre de Sikhism |
(<=>
(attribute ?INDIVIDUAL SunniMuslim)
(member ?INDIVIDUAL SunniSect)) |
People.kif 1396-1398 |
SunniMuslim est un attribut de objet objet est un membre de SunniSect |
(<=>
(attribute ?INDIVIDUAL Taoist)
(member ?INDIVIDUAL Taoism)) |
People.kif 1502-1504 |
Taoist est un attribut de objet objet est un membre de Taoism |
(<=>
(attribute ?INDIVIDUAL Zoroastrian)
(member ?INDIVIDUAL Zoroastrianism)) |
People.kif 1517-1519 |
Zoroastrian est un attribut de objet objet est un membre de 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 |
PolyphonicMusic est un attribut de objet processus processus objet est une instance de MakingMusic processus est une instance de MakingMusic processus est une instance de MakingMusic processus est un sous-processus de objet processus est un sous-processus de objet processus est processus processus se produit en m�me temps que objet processus se produit en m�me temps que objet |
(<=>
(attribute ?Q Queen)
(or
(attribute ?Q QueenRegnant)
(attribute ?Q QueenConsort))) |
Government.kif 1400-1404 |
Queen est un attribut de objet QueenRegnant est un attribut de objet QueenConsort est un attribut de objet |
(<=>
(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 |
OpenSea est un attribut de objet physique nombre r�el objet est une instance de plan d'eau sal� objet est une instance de LandlockedWater la distance entre physique et objet est nombre r�el NauticalMile(s) nombre r�el est plus grand que 5.0 |
(<=>
(aunt ?A ?H)
(exists (?P)
(and
(sister ?A ?P)
(parent ?H ?P)))) |
Mid-level-ontology.kif 23045-23050 |
aunt Woman and humain humain sister Woman and humain humain est un parent de humain |
(<=>
(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 |
average liste and nombre r�el liste nombre entier positif longueur de liste est longueur de liste 1th liste est liste nombre entier positif nombre entier positif est longueur de liste nombre r�el est nombre entier positifth liste + nombre entier positif |
(<=>
(bankAccount ?AccountType ?Bank)
(exists (?Account)
(and
(instance ?Account ?AccountType)
(accountAt ?Account ?Bank)))) |
FinancialOntology.kif 3943-3948 |
bankAccount FinancialAccount and BankFinancialOrganization FinancialAccount FinancialAccount est une instance de FinancialAccount accountAt FinancialAccount and 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 |
beliefGroupPercentInRegion BeliefGroup, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de BeliefGroup physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2 |
(<=>
(capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(capitalExpendituresOfArea ?AREA ?CAPAMOUNT))))) |
Economy.kif 1565-1570 |
capitalExpendituresOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel capitalExpendituresOfArea secteur g�opolitique and mesure de devise pendant position temporel |
(<=>
(compressionRatio ?E ?R)
(and
(minCylinderVolume ?E
(MeasureFn ?MIN ?M))
(maxCylinderVolume ?E
(MeasureFn ?MAX ?M))
(equal ?R
(DivisionFn ?MIN ?MAX)))) |
Cars.kif 1934-1939 |
compressionRatio Engine and nombre r�el minCylinderVolume Engine and nombre r�el unit� de mesure(s) maxCylinderVolume Engine and unit� de mesureAX unit� de mesure(s) nombre r�el est nombre r�el + unit� de mesureAX |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 0.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3731-3733 |
courseWRTTrueNorth objet, objet and 0.0 AngularDegree(s) objet est North � objet |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 135.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3755-3757 |
courseWRTTrueNorth objet, objet and 135.0 AngularDegree(s) objet est Southeast � objet |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 180.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3739-3741 |
courseWRTTrueNorth objet, objet and 180.0 AngularDegree(s) objet est South � objet |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 225.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3759-3761 |
courseWRTTrueNorth objet, objet and 225.0 AngularDegree(s) objet est Southwest � objet |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 270.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3743-3745 |
courseWRTTrueNorth objet, objet and 270.0 AngularDegree(s) objet est West � objet |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 315.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3763-3765 |
courseWRTTrueNorth objet, objet and 315.0 AngularDegree(s) objet est Northwest � objet |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 360.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3747-3749 |
courseWRTTrueNorth objet, objet and 360.0 AngularDegree(s) objet est North � objet |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 45.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3751-3753 |
courseWRTTrueNorth objet, objet and 45.0 AngularDegree(s) objet est Northeast � objet |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 90.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3735-3737 |
courseWRTTrueNorth objet, objet and 90.0 AngularDegree(s) objet est East � objet |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |