(<=>
(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 |
(<=>
(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 30120-30128 |
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 30133-30141 |
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 30211-30224 |
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 30259-30267 |
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 |
(<=>
(incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(incomeDistributionByGiniIndex ?AREA ?INDEX))))) |
Economy.kif 1318-1323 |
incomeDistributionByGiniIndexInPeriod AreaGeopolitica, NumeroRealeNonNegativo and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale incomeDistributionByGiniIndex AreaGeopolitica and NumeroRealeNonNegativo vales durante PosizioneTemporale |
(<=>
(industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(industrialProductionGrowthRate ?AREA ?RATE))))) |
Economy.kif 1949-1954 |
industrialProductionGrowthRateInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale industrialProductionGrowthRate AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(instance ?BONE Bone)
(exists (?SKELETON)
(and
(or
(instance ?SKELETON Skeleton)
(instance ?SKELETON Exoskeleton))
(part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 11681-11688 |
Oggetto è un' istanza di Osso Oggetto Oggetto è un' istanza di Skeleton Oggetto è un' istanza di Exoskeleton Oggetto è una parte di Oggetto |
(<=>
(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 6477-6487 |
Entit� è un' istanza di ConjugatedSubstance Oggetto Oggetto and Processo Oggetto è un' istanza di Composto Oggetto è un' istanza di Composto Oggetto is uguale a Oggetto Processo è un' istanza di SintesiChimica Oggetto è una risorsa per Processo Oggetto è una risorsa per Processo Entit� è un risultato di Processo |
(<=>
(instance ?Collateral Collateral)
(exists (?Loan)
(and
(instance ?Loan SecuredLoan)
(securedBy ?Loan ?Collateral)))) |
FinancialOntology.kif 1321-1326 |
Collateral è un' istanza di Collateral FinancialAccount FinancialAccount è un' istanza di SecuredLoan securedBy FinancialAccount and Collateral |
(<=>
(instance ?DISTRICT CityDistrict)
(exists (?CITY)
(and
(instance ?CITY City)
(geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8079-8084 |
AreaGeopolitica è un' istanza di CityDistrict AreaGeopolitica AreaGeopolitica è un' istanza di Citt� geopoliticalSubdivision AreaGeopolitica and AreaGeopolitica |
(<=>
(instance ?Hardware ComputerHardware)
(exists (?Computer)
(and
(instance ?Computer Computer)
(component ?Hardware ?Computer)))) |
QoSontology.kif 63-68 |
OggettoCorpuscolare è un' istanza di ComputerHardware OggettoCorpuscolare OggettoCorpuscolare è un' istanza di Computer OggettoCorpuscolare è un componente di OggettoCorpuscolare |
(<=>
(instance ?Index InflationIndex)
(exists (?Inflation)
(and
(instance ?Inflation Inflation)
(benchmark ?Inflation ?Index)))) |
FinancialOntology.kif 1668-1673 |
PerformanceMeasure è un' istanza di InflationIndex Astratto Astratto è un' istanza di Inflation benchmark Astratto and PerformanceMeasure |
(<=>
(instance ?Index StockIndex)
(exists (?Stock)
(and
(instance ?Stock Stock)
(benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1696-1701 |
Astratto è un' istanza di StockIndex PerformanceMeasure PerformanceMeasure è un' istanza di Stock benchmark Astratto and PerformanceMeasure |
(<=>
(instance ?Loan SecuredLoan)
(exists (?Security)
(securedBy ?Loan ?Security))) |
FinancialOntology.kif 1348-1351 |
FinancialAccount è un' istanza di SecuredLoan Collateral securedBy FinancialAccount and Collateral |
(<=>
(instance ?ORG GovernmentOrganization)
(or
(instance ?ORG Government)
(exists (?GOV)
(and
(instance ?GOV Government)
(subOrganization ?ORG ?GOV))))) |
Government.kif 108-115 |
Organizzazione è un' istanza di GovernmentOrganization Organizzazione è un' istanza di Governo Organizzazione Organizzazione è un' istanza di Governo subOrganization Organizzazione and Organizzazione |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |