(<=>     (orientation ?OBJ1 ?OBJ2 Southwest)     (and         (orientation ?OBJ1 ?OBJ2 South)         (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 3676-3680	Object ist Southwest hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist South hinsichlich ** ** Object %n{nicht} und ** Object ist West hinsichlich ** ** Object %n{nicht}
(<=>     (perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (perCapitaGDP ?AREA ?AMOUNT)))))	Economy.kif 1042-1047	perCapitaGDPInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und perCapitaGDP ** GeopoliticalArea and ** CurrencyMeasure haelt waehrend ** TimePosition %n{nicht}
(<=>     (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (populationFractionBelowPovertyLine ?AREA ?FRACTION)))))	Economy.kif 1184-1189	populationFractionBelowPovertyLineInPeriod GeopoliticalArea, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und populationFractionBelowPovertyLine ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht}
(<=>     (quarter ?Q ?W)     (exists (?H)         (and             (half ?H ?W)             (half ?Q ?H))))	Mid-level-ontology.kif 13207-13212	quarter Object and ** Object genau dann wenn es gibt ** Object um half ** ** Object and ** ** Object und half ** Object and ** ** Object
(<=>     (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (realGrowthRateOfGDP ?AREA ?RATE)))))	Economy.kif 1007-1012	realGrowthRateOfGDPInPeriod GeopoliticalArea, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und realGrowthRateOfGDP ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht}
(<=>     (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION)))))	Economy.kif 1086-1091	sectorCompositionOfGDPInPeriod GeopoliticalArea, IndustryAttribute, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und sectorCompositionOfGDP ** GeopoliticalArea, ** IndustryAttribute and ** RealNumber haelt waehrend ** TimePosition %n{nicht}
(<=>     (sectorValueOfGDPInPeriod ?AREA ?SECTOR         (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (sectorValueOfGDP ?AREA ?SECTOR                     (MeasureFn ?AMOUNT ?CUNIT))))))	Economy.kif 1129-1137	sectorValueOfGDPInPeriod GeopoliticalArea, IndustryAttribute, RealNumber UnitOfMeasure(s) and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und sectorValueOfGDP ** GeopoliticalArea, ** IndustryAttribute and ** RealNumber ** UnitOfMeasure(s) haelt waehrend ** TimePosition %n{nicht}
(<=>     (stepfather ?P ?F)     (exists (?M)         (and             (mother ?P ?M)             (spouse ?F ?M)             (not                 (father ?P ?F)))))	Mid-level-ontology.kif 23151-23158	stepfather Human and Man genau dann wenn es gibt ** Human um ** ** Human ist die mutter von ** Human %n{nicht} und spouse ** Man and ** ** Human und ** Man ist der vater von ** Human nicht
(<=>     (stepmother ?P ?M)     (exists (?F)         (and             (father ?P ?F)             (spouse ?M ?F)             (not                 (mother ?P ?M)))))	Mid-level-ontology.kif 23168-23175	stepmother Human and Woman genau dann wenn es gibt ** Human um ** ** Human ist der vater von ** Human %n{nicht} und spouse ** Woman and ** ** Human und ** Woman ist die mutter von ** Human nicht
(<=>     (totalFacilityTypeInArea ?AREA         (ExtensionFn AirportWithPavedRunway) ?COUNT)     (exists (?AIRPORT ?RUNWAY)         (cardinality             (KappaFn ?AIRPORT                 (and                     (instance ?AIRPORT Airport)                     (instance ?RUNWAY PavedRunway)                     (part ?RUNWAY ?AIRPORT)                     (located ?AIRPORT ?AREA))) ?COUNT)))	Transportation.kif 1277-1287	totalFacilityTypeInArea GeographicArea, die kategorie, die AirportWithPavedRunway entspricht and NonnegativeInteger genau dann wenn es gibt SymbolicString und entity um cardinality die kategorie die ** SymbolicString beschreibt and ** NonnegativeInteger
(<=>     (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)     (cardinality         (KappaFn ?ITEM             (and                 (instance ?ITEM ?TYPE)                 (located ?ITEM ?AREA))) ?COUNT))	Transportation.kif 1221-1228	totalFacilityTypeInArea GeographicArea, Class and NonnegativeInteger genau dann wenn cardinality die kategorie die SymbolicString beschreibt and ** NonnegativeInteger
(<=>     (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (totalGDP ?AREA ?AMOUNT)))))	Economy.kif 958-963	totalGDPInPeriod GeopoliticalArea, CurrencyMeasure and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und totalGDP ** GeopoliticalArea and ** CurrencyMeasure haelt waehrend ** TimePosition %n{nicht}
(<=>     (totalLengthOfHighwaySystem ?AREA ?LENGTH)     (length         (KappaFn ?HIGHWAYS             (and                 (instance ?HIGHWAYS Roadway)                 (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 484-491	totalLengthOfHighwaySystem GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>     (totalLengthOfRailwaySystem ?AREA ?LENGTH)     (length         (KappaFn ?RAILWAYS             (and                 (instance ?RAILWAYS Railway)                 (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 98-105	totalLengthOfRailwaySystem GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>     (totalLengthOfWaterways ?AREA ?LENGTH)     (length         (KappaFn ?WATERWAY             (and                 (instance ?WATERWAY Waterway)                 (partlyLocated ?WATERWAY ?AREA))) ?LENGTH))	Transportation.kif 656-663	totalLengthOfWaterways GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>     (totalPipelineInArea ?AREA ?LENGTH)     (length         (KappaFn ?PIPE             (and                 (instance ?PIPE Pipeline)                 (located ?PIPE ?AREA))) ?LENGTH))	Transportation.kif 685-692	totalPipelineInArea GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>     (uncle ?U ?H)     (exists (?P)         (and             (brother ?U ?P)             (parent ?H ?P))))	Mid-level-ontology.kif 23136-23141	uncle Man and Human genau dann wenn es gibt ** Human um brother ** Man and ** ** Human und ** ** Human ist das elterntiel von ** Human %n{nicht}
(<=>     (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (unemploymentRateOfArea ?AREA ?RATE)))))	Economy.kif 1456-1461	unemploymentRateOfAreaInPeriod GeopoliticalArea, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und unemploymentRateOfArea ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht}
(<=>     (yearOfFounding ?O ?Y)     (exists (?F ?YEAR)         (and             (overlapsTemporally                 (WhenFn ?F) ?YEAR)             (instance ?YEAR                 (YearFn ?Y))             (instance ?F Founding)             (result ?F ?O))))	Mid-level-ontology.kif 968-975	yearOfFounding Organization and Integer genau dann wenn es gibt Process und ** IntegerEAR um ** IntegerEAR deckt sich mit die zeit des Bestehens von ** Process %n{nicht} und ** IntegerEAR ist ein fall von das jahr ** Integer %n{nicht} und ** Process ist ein fall von Founding %n{nicht} und ** Organization ist ein resultat von ** Process %n{nicht}
(=>     (accountAtSite ?ACCT ?SITE)     (exists (?DATABASE ?SITE_OWNER)         (and             (instance ?DATABASE Database)             (instance ?SITE_OWNER AutonomousAgent)             (possesses ?SITE_OWNER ?SITE)             (possesses ?SITE_OWNER ?DATABASE)             (part ?ACCT ?DATABASE))))	UXExperimentalTerms.kif 632-640	Wenn accountAtSite UserAccount and WebSite, dann es gibt Object und ** WebSite_OWNER um ** Object ist ein fall von Database %n{nicht} und ** WebSite_OWNER ist ein fall von AutonomousAgent %n{nicht} und ** WebSite_OWNER besitzt ** WebSite %n{nicht} und ** WebSite_OWNER besitzt ** Object %n{nicht} und ** UserAccount ist ein teil von ** Object %n{nicht}
(=>     (actedIn ?ACTOR ?O)     (exists (?PERF)         (and             (instance ?PERF DramaticActing)             (patient ?PERF ?ACTOR)             (result ?PERF ?O))))	Mid-level-ontology.kif 20751-20757	Wenn actedIn Human and ContentBearingPhysical, dann es gibt Process um ** Process ist ein fall von DramaticActing %n{nicht} und ** Human ist ein patient von ** Process %n{nicht} und ** ContentBearingPhysical ist ein resultat von ** Process %n{nicht}
(=>     (activityCapability ?AGENT ?ACT)     (exists (?LOC)         (and             (element ?LOC                 (PropertyFn ?AGENT))             (capability ?ACT located ?LOC))))	Hotel.kif 599-604	Wenn activityCapability AutonomousAgent and ** Process, dann es gibt Object um ** Object ist ein element von eigentum von ** AutonomousAgent %n{nicht} und ** Object ist faehig %n{nicht}, in der Rolle befindetSich ** Process zu tun
(=>     (adjacentOrientation ?OBJ1 ?OBJ2)     (exists (?X)         (and             (instance ?X ?OBJ2)             (orientation ?OBJ1 ?X Adjacent))))	Hotel.kif 939-944	Wenn adjacentOrientation Object and Class, dann es gibt ** Object um ** ** Object ist ein fall von ** Class %n{nicht} und ** Object ist Adjacent hinsichlich ** ** Object %n{nicht}
(=>     (advertisedOn ?OBJ ?SITE)     (exists (?ADVERT)         (and             (instance ?ADVERT Advertising)             (hostedOn ?ADVERT ?SITE)             (patient ?ADVERT ?OBJ))))	UXExperimentalTerms.kif 193-199	Wenn advertisedOn Object and WebSite, dann es gibt WebListing um ** WebListing ist ein fall von Advertising %n{nicht} und hostedOn ** WebListing and ** WebSite und ** Object ist ein patient von ** WebListing %n{nicht}
(=>     (agreementAdoptionDate ?AGR ?DATE)     (exists (?PROCESS ?DAY)         (and             (instance ?PROCESS Committing)             (instance ?DAY ?DATE)             (patient ?PROCESS ?AGR)             (time ?PROCESS ?DAY))))	Government.kif 706-713	Wenn agreementAdoptionDate Proposition and ** TimePosition, dann es gibt Process und ** TimePosition um ** Process ist ein fall von Committing %n{nicht} und ** ** TimePosition ist ein fall von ** TimePosition %n{nicht} und ** Proposition ist ein patient von ** Process %n{nicht} und ** Process besteht waehrend ** ** TimePosition %n{nicht}
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners