(<=>
(compressionRatio ?E ?R)
(and
(minCylinderVolume ?E
(MeasureFn ?MIN ?M))
(maxCylinderVolume ?E
(MeasureFn ?MAX ?M))
(equal ?R
(DivisionFn ?MIN ?MAX)))) |
Cars.kif 1928-1933 |
compressionRatio Engine and NumeroReale minCylinderVolume Engine and NumeroReale Unit�DiMisura(s maxCylinderVolume Engine and Unit�DiMisuraAX Unit�DiMisura(s NumeroReale is uguale a NumeroReale + Unit�DiMisuraAX |
(<=>
(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 23061-23076 |
cousin Umano and Umano Woman Man grandmother Umano and Woman grandfather Umano and Man grandmother Umano and Woman grandfather Umano and Man Organismo Organismo Organismo è una madre di Umano Organismo è un padre di Umano Organismo è una madre di Umano Organismo è un padre di Umano |
(<=>
(currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(currencyExchangeRate UnitedStatesDollar ?AMOUNT))))) |
Economy.kif 3661-3666 |
currencyExchangePerUSDollar MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale currencyExchangeRate UnitedStatesDollar and MisuraMonetaria vales durante PosizioneTemporale |
(<=>
(currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(currencyExchangeRate ?UNIT ?AMOUNT))))) |
Economy.kif 3668-3673 |
currencyExchangeRateInPeriod UnitOfCurrency, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale currencyExchangeRate UnitOfCurrency and MisuraMonetaria vales durante PosizioneTemporale |
(<=>
(customer ?AGENT1 ?AGENT2)
(exists (?SERVICE)
(and
(instance ?SERVICE FinancialTransaction)
(agent ?SERVICE ?AGENT2)
(destination ?SERVICE ?AGENT1)))) |
Mid-level-ontology.kif 7727-7733 |
customer AgenteCognitivo and AutonomousAgent Processo Processo è un' istanza di ScambioFinanziario Processo è un agente di AutonomousAgent Processo fines in AgenteCognitivo |
(<=>
(customerRepresentative ?Person1 ?Person2 ?Org)
(exists (?Service)
(and
(instance ?Service FinancialTransaction)
(employs ?Org ?Person1)
(agent ?Service ?Person1)
(destination ?Service ?Person2)))) |
FinancialOntology.kif 3635-3642 |
customerRepresentative AgenteCognitivo, AgenteCognitivo and Organizzazione Processo Processo è un' istanza di ScambioFinanziario Organizzazione impiegas AgenteCognitivo Processo è un agente di AgenteCognitivo Processo fines in AgenteCognitivo |
(<=>
(earthAltitude ?OBJ ?ALT)
(exists (?SEA)
(and
(altitude ?OBJ ?SEA ?ALT)
(surface ?SEA PlanetEarth)))) |
Geography.kif 2781-2786 |
earthAltitude Oggetto and MisuraDiLunghezza OggettoIntegro l' altezza di Oggetto è OggettoIntegro OggettoIntegro è una superficie di PlanetEarth |
(<=>
(economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(economicAidDonated ?COUNTRY ?AMOUNT))))) |
Economy.kif 2819-2824 |
economicAidDonatedInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale economicAidDonated AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale |
(<=>
(economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(economicAidReceivedNet ?COUNTRY ?AMOUNT))))) |
Economy.kif 2859-2864 |
economicAidReceivedNetInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale economicAidReceivedNet AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale |
(<=>
(electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(electricityFractionFromSource ?AREA ?SOURCE ?FRACTION))))) |
Economy.kif 2056-2061 |
electricityFractionFromSourceInPeriod AreaGeopolitica, PowerGeneration, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale electricityFractionFromSource AreaGeopolitica, PowerGeneration and NumeroReale vales durante PosizioneTemporale |
(<=>
(employs ?Org ?Agent)
(exists (?Employment)
(and
(property ?Employment Employment)
(partyToAgreement ?Employment ?Org)
(partyToAgreement ?Employment ?Agent)))) |
FinancialOntology.kif 3260-3266 |
Agreement impiegas Agreement AgenteCognitivo AgenteCognitivo ha un attributo Employment partyToAgreement AgenteCognitivo and Agreement partyToAgreement AgenteCognitivo 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 AreaGeopolitica is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroIntero is uguale a NumeroReale |
(<=>
(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 GruppoEtnico, NumeroReale and AreaGeografica InsiemeConcreto InsiemeConcreto, Entit�Concreta, Entit�Concreta2, NumeroReale1 and NumeroReale2 Entit�Concreta è localizzato in AreaGeografica Entit�Concreta è un membro di GruppoEtnico Entit�Concreta è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale1 Entit�Concreta2 è localizzato in AreaGeografica Entit�Concreta2 è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale2 NumeroReale + 100 is uguale a NumeroReale1 + NumeroReale2 |
(<=>
(exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2549-2554 |
exportPartnerByFractionInPeriod AreaGeopolitica, AreaGeopolitica, NumeroRealePositivo and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale exportPartnerByFraction AreaGeopolitica, AreaGeopolitica and NumeroRealePositivo vales durante PosizioneTemporale |
(<=>
(exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2511-2516 |
exportPartnerByRankInPeriod AreaGeopolitica, AreaGeopolitica, NumeroInteroPositivo and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale exportPartnerByRank AreaGeopolitica, AreaGeopolitica and NumeroInteroPositivo vales durante PosizioneTemporale |
(<=>
(exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2387-2392 |
exportPartnerInPeriod AutonomousAgent, AutonomousAgent and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale exportPartner AutonomousAgent and AutonomousAgent vales durante PosizioneTemporale |
(<=>
(externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(externalDebt ?COUNTRY ?AMOUNT))))) |
Economy.kif 2775-2780 |
externalDebtInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale externalDebt AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale |
(<=>
(highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(highestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1279-1284 |
highestDecileShareOfHouseholdIncomeInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale highestDecileShareOfHouseholdIncome AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(holdsDuring ?T
(attribute ?A Barefoot))
(holdsDuring ?T
(not
(exists (?S)
(and
(instance ?S Shoe)
(wears ?A ?S)))))) |
Mid-level-ontology.kif 30132-30140 |
attribute Entit� and Barefoot vales durante PosizioneTemporale Entit� Entit� è un' istanza di Shoe wears Entit� and Entit� vales durante PosizioneTemporale |
(<=>
(holdsDuring ?T
(attribute ?A Naked))
(holdsDuring ?T
(not
(exists (?C)
(and
(instance ?C Clothing)
(wears ?A ?C)))))) |
Mid-level-ontology.kif 30145-30153 |
attribute Entit� and Naked vales durante PosizioneTemporale Entit� Entit� è un' istanza di Vestito wears Entit� and Entit� vales durante PosizioneTemporale |
(<=>
(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 30223-30236 |
attribute Entit� and Alone vales durante IntervalloTemporale Entit�2 Processo Entit� is uguale a Entit�2 Entit�2 è un' istanza di AutonomousAgent Processo è un' istanza di InterazioneSociale il tempo di esistenza di Processo has luogodurante IntervalloTemporale involvedInEvent Processo and Entit� involvedInEvent Processo and Entit�2 |
(<=>
(holdsDuring ?T
(attribute ?P Mute))
(not
(exists (?S)
(and
(instance ?S Speaking)
(during
(WhenFn ?S) ?T)
(agent ?S ?P))))) |
Mid-level-ontology.kif 30271-30279 |
attribute AutonomousAgent and Mute vales durante IntervalloTemporale Processo Processo è un' istanza di Speaking il tempo di esistenza di Processo has luogodurante IntervalloTemporale Processo è un agente di AutonomousAgent |
(<=>
(importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2742-2747 |
importPartnerByFractionInPeriod AreaGeopolitica, AreaGeopolitica, NumeroRealePositivo and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale importPartnerByFraction AreaGeopolitica, AreaGeopolitica and NumeroRealePositivo vales durante PosizioneTemporale |
(<=>
(importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2704-2709 |
importPartnerByRankInPeriod AreaGeopolitica, AreaGeopolitica, NumeroInteroPositivo and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale importPartnerByRank AreaGeopolitica, AreaGeopolitica and NumeroInteroPositivo vales durante PosizioneTemporale |
(<=>
(importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2674-2679 |
importPartnerInPeriod AutonomousAgent, AutonomousAgent and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale importPartner AutonomousAgent and AutonomousAgent vales durante PosizioneTemporale |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |