(<=>
(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 23060-23075 |
cousin humain and humain Woman Man grandmother humain and Woman grandfather humain and Man grandmother humain and Woman grandfather humain and Man organisme organisme organisme est la m�re de humain organisme est le p�re de humain organisme est la m�re de humain organisme est le p�re de humain |
(<=>
(currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
(currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD)) |
Economy.kif 3648-3650 |
currencyExchangePerUSDollar mesure de devise and interval temporel currencyExchangeRateInPeriod UnitedStatesDollar, mesure de devise and interval temporel |
(<=>
(currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(currencyExchangeRate UnitedStatesDollar ?AMOUNT))))) |
Economy.kif 3661-3666 |
currencyExchangePerUSDollar mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel currencyExchangeRate UnitedStatesDollar and mesure de devise pendant position temporel |
(<=>
(currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(currencyExchangeRate ?UNIT ?AMOUNT))))) |
Economy.kif 3668-3673 |
currencyExchangeRateInPeriod UnitOfCurrency, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel currencyExchangeRate UnitOfCurrency and mesure de devise pendant position temporel |
(<=>
(customer ?AGENT1 ?AGENT2)
(exists (?SERVICE)
(and
(instance ?SERVICE FinancialTransaction)
(agent ?SERVICE ?AGENT2)
(destination ?SERVICE ?AGENT1)))) |
Mid-level-ontology.kif 7726-7732 |
customer agent cognitif and AutonomousAgent processus processus est une instance de financial transaction processus est un agent de AutonomousAgent processus aboutit � agent cognitif |
(<=>
(customerRepresentative ?Person1 ?Person2 ?Org)
(exists (?Service)
(and
(instance ?Service FinancialTransaction)
(employs ?Org ?Person1)
(agent ?Service ?Person1)
(destination ?Service ?Person2)))) |
FinancialOntology.kif 3635-3642 |
customerRepresentative agent cognitif, agent cognitif and organisation processus processus est une instance de financial transaction organisation emploie agent cognitif processus est un agent de agent cognitif processus aboutit � agent cognitif |
(<=>
(detainedAtTimeInPlace ?AGENT ?TIME ?PLACE)
(playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE)) |
Justice.kif 26-28 |
detainedAtTimeInPlace sentient agent, position temporel and objet playsRoleInEventOfType sentient agent, detainee, confiner, position temporel and objet |
(<=>
(earthAltitude ?OBJ ?ALT)
(exists (?SEA)
(and
(altitude ?OBJ ?SEA ?ALT)
(surface ?SEA PlanetEarth)))) |
Geography.kif 2781-2786 |
earthAltitude objet and mesure de longueur objet en une partie le altitude de objet est objet en une partie objet en une partie est une surface de PlanetEarth |
(<=>
(economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(economicAidDonated ?COUNTRY ?AMOUNT))))) |
Economy.kif 2819-2824 |
economicAidDonatedInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel economicAidDonated secteur g�opolitique and mesure de devise pendant position temporel |
(<=>
(economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(economicAidReceivedNet ?COUNTRY ?AMOUNT))))) |
Economy.kif 2859-2864 |
economicAidReceivedNetInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel economicAidReceivedNet secteur g�opolitique and mesure de devise pendant position temporel |
(<=>
(electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(electricityFractionFromSource ?AREA ?SOURCE ?FRACTION))))) |
Economy.kif 2056-2061 |
electricityFractionFromSourceInPeriod secteur g�opolitique, PowerGeneration, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel electricityFractionFromSource secteur g�opolitique, PowerGeneration and nombre r�el pendant position temporel |
(<=>
(employs ?Org ?Agent)
(exists (?Employment)
(and
(property ?Employment Employment)
(partyToAgreement ?Employment ?Org)
(partyToAgreement ?Employment ?Agent)))) |
FinancialOntology.kif 3260-3266 |
Agreement emploie Agreement agent cognitif agent cognitif a un attribute Employment partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement |
(<=>
(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 206-223 |
MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el |
(<=>
(equal ?SD
(StandardDeviationFn ?L))
(equal ?SD
(SquareRootFn
(VarianceFn ?L)))) |
Weather.kif 1504-1509 |
Nombre r�el est StandardDeviationFn liste nombre r�el est carr� de VarianceFn liste |
(<=>
(equal ?SPEED
(MeasureFn ?NUM MilesPerHour))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Mile)
(MeasureFn 1 HourDuration)))) |
Weather.kif 1698-1704 |
Function de quantit� est nombre r�el MilesPerHour(s) function de quantit� est nombre r�el Mile(s) par 1 HourDuration(s) |
(<=>
(ethnicityPercentInRegion ?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 1547-1558 |
ethnicityPercentInRegion groupe ethnique, 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 groupe ethnique 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 |
(<=>
(exists (?Period)
(and
(instance ?Loan Loan)
(agreementPeriod ?Loan ?Period)
(interestEarned ?Loan ?Amount ?Period)))
(loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3920-3926 |
Interval temporel Loan est une instance de Loan agreementPeriod Loan and interval temporel interestEarned Loan, Interest and interval temporel loanInterest Loan and Interest |
(<=>
(exists (?Process)
(programRunning ?Process ?Program))
(property ?Program Executable)) |
QoSontology.kif 989-992 |
ComputerProcess programRunning ComputerProcess and programme d'ordinateur programme d'ordinateur a un attribute Executable |
(<=>
(exists (?Rate)
(fixedInterestRate ?Account ?Rate))
(instance ?Account FixedRateAccount)) |
FinancialOntology.kif 981-984 |
Nombre fixedInterestRate FinancialAccount and nombre FinancialAccount est une instance de FixedRateAccount |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option CallOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StockPrice ?StrikePrice)))
(outOfTheMoney ?Option ?Time)) |
FinancialOntology.kif 3051-3062 |
FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el outOfTheMoney Agreement and AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option CallOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StrikePrice ?StockPrice)))
(inTheMoney ?Option ?Time)) |
FinancialOntology.kif 3002-3013 |
FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice inTheMoney Agreement and AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option Option)
(underlier ?Option ?Stock)
(price ?Stock ?StockPrice ?Time)
(strikePrice ?Option ?StrikePrice)
(equal ?StockPrice ?StrikePrice)))
(atTheMoney ?Option ?Time)) |
FinancialOntology.kif 3034-3042 |
FinancialInstrument FinancialInstrumentPrice and mesure de devise Agreement est une instance de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and mesure de devise FinancialInstrumentPrice est mesure de devise atTheMoney Agreement and AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option PutOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StockPrice ?StrikePrice)))
(inTheMoney ?Option ?Time)) |
FinancialOntology.kif 3015-3026 |
FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el inTheMoney Agreement and AutonomousAgent |
(<=>
(exists (?Stock ?StockPrice ?StrikePrice)
(and
(instance ?Option PutOption)
(underlier ?Option ?Stock)
(price ?Stock
(MeasureFn ?StockPrice ?U) ?Time)
(instance ?U UnitOfCurrency)
(strikePrice ?Option
(MeasureFn ?StrikePrice ?U))
(lessThan ?StrikePrice ?StockPrice)))
(outOfTheMoney ?Option ?Time)) |
FinancialOntology.kif 3064-3075 |
FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent |
(<=>
(exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2549-2554 |
exportPartnerByFractionInPeriod secteur g�opolitique, secteur g�opolitique, nombre r�el positif and interval temporel position temporel position temporel est une instance de interval temporel exportPartnerByFraction secteur g�opolitique, secteur g�opolitique and nombre r�el positif pendant position temporel |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |