(<=>
(employs ?Org ?Agent)
(exists (?Employment)
(and
(property ?Employment Employment)
(partyToAgreement ?Employment ?Org)
(partyToAgreement ?Employment ?Agent)))) |
FinancialOntology.kif 3260-3266 |
Agreement beschaeftigt ** Agreement %n{nicht} genau dann wenn es gibt CognitiveAgent um ** CognitiveAgent hat ein attribut Employment %n{nicht} und partyToAgreement ** CognitiveAgent and ** Agreement und partyToAgreement ** CognitiveAgent 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 EthnicGroup, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , Physical,, , ** Physical2,, , ** RealNumber1, and und ** RealNumber2 um ** Physical befindet sich an %n{nicht} und ** Physical ist ein Mitglied von ** EthnicGroup %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und memberCount ** Collection and ** RealNumber1 und ** Physical2 befindet sich an %n{nicht} und ** Physical2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht} |
(<=>
(exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2549-2554 |
exportPartnerByFractionInPeriod GeopoliticalArea, ** GeopoliticalArea, PositiveRealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und exportPartnerByFraction ** GeopoliticalArea, ** ** GeopoliticalArea and ** PositiveRealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2511-2516 |
exportPartnerByRankInPeriod GeopoliticalArea, ** GeopoliticalArea, PositiveInteger and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und exportPartnerByRank ** GeopoliticalArea, ** ** GeopoliticalArea and ** PositiveInteger haelt waehrend ** TimePosition %n{nicht} |
(<=>
(exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2387-2392 |
exportPartnerInPeriod AutonomousAgent, ** AutonomousAgent and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und exportPartner ** AutonomousAgent and ** ** AutonomousAgent haelt waehrend ** TimePosition %n{nicht} |
(<=>
(externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(externalDebt ?COUNTRY ?AMOUNT))))) |
Economy.kif 2775-2780 |
externalDebtInPeriod GeopoliticalArea, CurrencyMeasure and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und externalDebt ** GeopoliticalArea and ** CurrencyMeasure haelt waehrend ** TimePosition %n{nicht} |
(<=>
(highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(highestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1279-1284 |
highestDecileShareOfHouseholdIncomeInPeriod GeopoliticalArea, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und highestDecileShareOfHouseholdIncome ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(holdsDuring ?T
(attribute ?A Barefoot))
(holdsDuring ?T
(not
(exists (?S)
(and
(instance ?S Shoe)
(wears ?A ?S)))))) |
Mid-level-ontology.kif 30132-30140 |
Barefoot ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht ** entity um ** ** entity ist ein fall von Shoe %n{nicht} und wears ** entity and ** ** entity haelt waehrend ** TimePosition %n{nicht} |
(<=>
(holdsDuring ?T
(attribute ?A Naked))
(holdsDuring ?T
(not
(exists (?C)
(and
(instance ?C Clothing)
(wears ?A ?C)))))) |
Mid-level-ontology.kif 30145-30153 |
Naked ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht ** entity um ** ** entity ist ein fall von Clothing %n{nicht} und wears ** entity and ** ** entity haelt waehrend ** TimePosition %n{nicht} |
(<=>
(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 |
Alone ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} genau dann wenn es gibt nicht ** Entity2 und Process um ** Entity ist gleich ** Entity2 nicht und ** Entity2 ist ein fall von AutonomousAgent %n{nicht} und ** Process ist ein fall von SocialInteraction %n{nicht} und die zeit des Bestehens von ** Process geschieht waehrend ** TimeInterval %n{nicht} und involvedInEvent ** Process and ** Entity und involvedInEvent ** Process and ** Entity2 |
(<=>
(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 |
Mute ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} genau dann wenn es gibt nicht Process um ** Process ist ein fall von Speaking %n{nicht} und die zeit des Bestehens von ** Process geschieht waehrend ** TimeInterval %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} |
(<=>
(importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2742-2747 |
importPartnerByFractionInPeriod GeopoliticalArea, ** GeopoliticalArea, PositiveRealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und importPartnerByFraction ** GeopoliticalArea, ** ** GeopoliticalArea and ** PositiveRealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2704-2709 |
importPartnerByRankInPeriod GeopoliticalArea, ** GeopoliticalArea, PositiveInteger and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und importPartnerByRank ** GeopoliticalArea, ** ** GeopoliticalArea and ** PositiveInteger haelt waehrend ** TimePosition %n{nicht} |
(<=>
(importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2674-2679 |
importPartnerInPeriod AutonomousAgent, ** AutonomousAgent and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und importPartner ** AutonomousAgent and ** ** AutonomousAgent haelt waehrend ** TimePosition %n{nicht} |
(<=>
(incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(incomeDistributionByGiniIndex ?AREA ?INDEX))))) |
Economy.kif 1318-1323 |
incomeDistributionByGiniIndexInPeriod GeopoliticalArea, NonnegativeRealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und incomeDistributionByGiniIndex ** GeopoliticalArea and ** NonnegativeRealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(industrialProductionGrowthRate ?AREA ?RATE))))) |
Economy.kif 1949-1954 |
industrialProductionGrowthRateInPeriod GeopoliticalArea, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und industrialProductionGrowthRate ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(instance ?BONE Bone)
(exists (?SKELETON)
(and
(or
(instance ?SKELETON Skeleton)
(instance ?SKELETON Exoskeleton))
(part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 11682-11689 |
Object ist ein fall von Bone %n{nicht} genau dann wenn es gibt ** Object um ** ** Object ist ein fall von Skeleton %n{nicht} oder ** ** Object ist ein fall von Exoskeleton %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht} |
(<=>
(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 6478-6488 |
Entity ist ein fall von ConjugatedSubstance %n{nicht} genau dann wenn es gibt Object, ** Object, and und Process um ** Object ist ein fall von CompoundSubstance %n{nicht} und ** ** Object ist ein fall von CompoundSubstance %n{nicht} und ** Object ist gleich ** ** Object nicht und ** Process ist ein fall von ChemicalSynthesis %n{nicht} und ** Object ist ein hilfmittel fuer ** Process %n{nicht} und ** ** Object ist ein hilfmittel fuer ** Process %n{nicht} und ** Entity ist ein resultat von ** Process %n{nicht} |
(<=>
(instance ?Collateral Collateral)
(exists (?Loan)
(and
(instance ?Loan SecuredLoan)
(securedBy ?Loan ?Collateral)))) |
FinancialOntology.kif 1321-1326 |
Collateral ist ein fall von Collateral %n{nicht} genau dann wenn es gibt FinancialAccount um ** FinancialAccount ist ein fall von SecuredLoan %n{nicht} und securedBy ** FinancialAccount and ** Collateral |
(<=>
(instance ?DISTRICT CityDistrict)
(exists (?CITY)
(and
(instance ?CITY City)
(geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8080-8085 |
GeopoliticalArea ist ein fall von CityDistrict %n{nicht} genau dann wenn es gibt ** GeopoliticalArea um ** ** GeopoliticalArea ist ein fall von City %n{nicht} und geopoliticalSubdivision ** GeopoliticalArea and ** ** GeopoliticalArea |
(<=>
(instance ?Hardware ComputerHardware)
(exists (?Computer)
(and
(instance ?Computer Computer)
(component ?Hardware ?Computer)))) |
QoSontology.kif 63-68 |
CorpuscularObject ist ein fall von ComputerHardware %n{nicht} genau dann wenn es gibt ** CorpuscularObject um ** ** CorpuscularObject ist ein fall von Computer %n{nicht} und ** CorpuscularObject ist ein bestandteil von ** ** CorpuscularObject %n{nicht} |
(<=>
(instance ?Index InflationIndex)
(exists (?Inflation)
(and
(instance ?Inflation Inflation)
(benchmark ?Inflation ?Index)))) |
FinancialOntology.kif 1668-1673 |
PerformanceMeasure ist ein fall von InflationIndex %n{nicht} genau dann wenn es gibt Abstract um ** Abstract ist ein fall von Inflation %n{nicht} und benchmark ** Abstract and ** PerformanceMeasure |
(<=>
(instance ?Index StockIndex)
(exists (?Stock)
(and
(instance ?Stock Stock)
(benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1696-1701 |
Abstract ist ein fall von StockIndex %n{nicht} genau dann wenn es gibt PerformanceMeasure um ** PerformanceMeasure ist ein fall von Stock %n{nicht} und benchmark ** Abstract and ** PerformanceMeasure |
(<=>
(instance ?Loan SecuredLoan)
(exists (?Security)
(securedBy ?Loan ?Security))) |
FinancialOntology.kif 1348-1351 |
FinancialAccount ist ein fall von SecuredLoan %n{nicht} genau dann wenn es gibt Collateral um securedBy ** FinancialAccount and ** Collateral |
(<=>
(instance ?ORG GovernmentOrganization)
(or
(instance ?ORG Government)
(exists (?GOV)
(and
(instance ?GOV Government)
(subOrganization ?ORG ?GOV))))) |
Government.kif 108-115 |
Organization ist ein fall von GovernmentOrganization %n{nicht} genau dann wenn ** Organization ist ein fall von Government %n{nicht} oder es gibt ** Organization um ** ** Organization ist ein fall von Government %n{nicht} und subOrganization ** Organization and ** ** Organization |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
