(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO City))     (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 24763-24768	PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und City ist ein fall von City %n{nicht} genau dann wenn postCity ** PostalPlace and ** City
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO Neighborhood))     (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 24676-24681	PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und Neighborhood ist ein fall von Neighborhood %n{nicht} genau dann wenn postNeighborhood ** PostalPlace and ** Neighborhood
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO StateOrProvince))     (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24747-24752	PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und StateOrProvince ist ein fall von StateOrProvince %n{nicht} genau dann wenn postDistrict ** PostalPlace and ** StateOrProvince
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (or             (instance ?GEO Nation)             (instance ?GEO DependencyOrSpecialSovereigntyArea)))     (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 24713-24720	PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und GeopoliticalArea ist ein fall von Nation %n{nicht} oder ** GeopoliticalArea ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht} genau dann wenn postCountry ** PostalPlace and ** GeopoliticalArea
(<=>     (exists (?Period)         (and             (instance ?Loan Loan)             (agreementPeriod ?Loan ?Period)             (interestEarned ?Loan ?Amount ?Period)))     (loanInterest ?Loan ?Amount))	FinancialOntology.kif 3920-3926	Es gibt TimeInterval um Loan ist ein fall von Loan %n{nicht} und agreementPeriod ** Loan and ** TimeInterval und interestEarned ** Loan, Interest and ** TimeInterval genau dann wenn loanInterest ** Loan and ** Interest
(<=>     (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	Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von CallOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** FinancialInstrumentPrice ist kleinerAls ** ** RealNumber %n{nicht} genau dann wenn 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	Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von CallOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist kleinerAls ** FinancialInstrumentPrice %n{nicht} genau dann wenn 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	Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** CurrencyMeasure um Agreement ist ein fall von Option %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice and AutonomousAgent und strikePrice ** Agreement and ** ** CurrencyMeasure und ** FinancialInstrumentPrice ist gleich ** ** CurrencyMeasure %n{nicht} genau dann wenn 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	Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von PutOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** FinancialInstrumentPrice ist kleinerAls ** ** RealNumber %n{nicht} genau dann wenn 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	Es gibt FinancialInstrument, ** FinancialInstrumentPrice, and und ** RealNumber um Agreement ist ein fall von PutOption %n{nicht} und underlier ** Agreement and ** FinancialInstrument und price ** FinancialInstrument, ** FinancialInstrumentPrice UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und strikePrice ** Agreement and ** ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist kleinerAls ** FinancialInstrumentPrice %n{nicht} genau dann wenn outOfTheMoney ** Agreement and ** AutonomousAgent
(<=>     (holdsDuring ?T         (and             (instance ?PERSON Human)             (forall (?ORG)                 (not                     (employs ?ORG ?PERSON)))))     (holdsDuring ?T         (attribute ?PERSON Unemployed)))	Merge.kif 17254-17262	Entity ist ein fall von Human %n{nicht} und fuer alle ** entity ** ** entity beschaeftigt ** entity nicht haelt waehrend TimePosition %n{nicht} genau dann wenn Unemployed ist ein attribut von ** entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (?ROLE ?EVENT ?OBJ)         (instance ?ROLE CaseRole)         (instance ?EVENT Process)         (instance ?OBJ Object))     (playsRoleInEvent ?OBJ ?ROLE ?EVENT))	Mid-level-ontology.kif 23252-23258	Wenn CaseRole Process and Object und ** CaseRole ist ein fall von CaseRole %n{nicht} und ** Process ist ein fall von Process %n{nicht} und ** Object ist ein fall von Object %n{nicht}, dann playsRoleInEvent ** Object, ** CaseRole and ** Process
(=>     (and         (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)         (instance ?X ?CBP-TYPE))     (abbreviation ?STRING ?X))	Media.kif 3165-3169	Wenn abbreviatedDisplayTitle SymbolicString, entity-TYPE and Language und ** Entity ist ein fall von ** entity-TYPE %n{nicht}, dann abbreviation ** SymbolicString and ** ** Entity
(=>     (and         (accountAtSite ?ACCOUNT ?SITE)         (hasAccount ?USER ?ACCOUNT))     (registeredUser ?USER ?SITE))	UXExperimentalTerms.kif 881-885	Wenn accountAtSite UserAccount and WebSite und hasAccount AutonomousAgent and ** UserAccount, dann registeredUser ** AutonomousAgent and ** WebSite
(=>     (and         (accountHolder ?Account ?Agent)         (accountAt ?Account ?Bank))     (customer ?Agent ?Bank))	FinancialOntology.kif 3621-3625	Wenn accountHolder FinancialAccount and CognitiveAgent und accountAt ** FinancialAccount and FinancialOrganization, dann customer ** CognitiveAgent and ** FinancialOrganization
(=>     (and         (acronym ?STRING ?THING)         (inString ?CHAR ?STRING))     (instance ?CHAR AlphabeticCharacter))	Media.kif 3041-3045	Wenn acronym SymbolicString and Entity und inString Character and ** SymbolicString, dann ** Character ist ein fall von AlphabeticCharacter %n{nicht}
(=>     (and         (actedIn ?ACTOR ?O)         (instance ?PERF DramaticActing)         (patient ?PERF ?ACTOR)         (result ?PERF ?O))     (holdsDuring         (WhenFn ?PERF)         (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 20760-20767	Wenn actedIn Human and ContentBearingPhysical und 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}, dann Actor ist ein attribut von ** Human %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (agent ?PROCESS ?AGENT)         (result ?PROCESS ?WORK)         (instance ?WORK ArtWork))     (holdsDuring         (WhenFn ?PROCESS)         (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18837-18843	Wenn Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein resultat von ** Process %n{nicht} und ** Entity ist ein fall von ArtWork %n{nicht}, dann Artist ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (agent ?Purchase ?Buyer)         (origin ?Purchase ?Seller)         (patient ?Purchase ?Object)         (monetaryValue ?Object ?Money))     (exists (?Payment)         (and             (subProcess ?Payment ?Purchase)             (instance ?Payment Payment)             (transactionAmount ?Payment ?Money)             (origin ?Payment ?Buyer)             (destination ?Payment ?Seller))))	FinancialOntology.kif 487-499	Wenn Process ist der agent von AutonomousAgent %n{nicht} und ** Process beginnet an Object %n{nicht} und Physical ist ein patient von ** Process %n{nicht} und wert von ** Physical ist CurrencyMeasure, dann es gibt FinancialTransaction um ** FinancialTransaction ist ein subProzess von ** Process und ** FinancialTransaction ist ein fall von Payment %n{nicht} und transactionAmount ** FinancialTransaction and ** CurrencyMeasure und ** FinancialTransaction beginnet an ** AutonomousAgent %n{nicht} und ** FinancialTransaction endet an ** Object %n{nicht}
(=>     (and         (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)         (or             (equal ?ATTR Obligation)             (equal ?ATTR Promise)))     (modalAttribute         (exists (?PROC)             (and                 (realization ?PROC ?PROP)                 (agent ?PROC ?AGENT))) Likely))	Mid-level-ontology.kif 14079-14089	Wenn agreementClause Proposition, DeonticAttribute, Agreement and CognitiveAgent und ** DeonticAttribute ist gleich Obligation %n{nicht} oder ** DeonticAttribute ist gleich Promise %n{nicht}, dann die Aussage es gibt entity um ** entity druekt den Inhalt von ** Proposition aus und ** entity ist der agent von ** CognitiveAgent %n{nicht} hat die modale Kraft von Likely
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersObligation ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsObligation ?FORMULA ?AGENT)))	Government.kif 714-719	Wenn agreementEffectiveDate Agreement and TimePoint und ** Agreement zwingt CognitiveAgent, die Aufgabe der Art von Formula durchzuf�hren %n{nicht} und TimePosition ist ein fall von ** TimePoint %n{nicht}, dann ** CognitiveAgent wird gezwungen, die Aufgabe der Art von ** Formula durchzuf�hren %n{nicht} haelt waehrend sofort nach ** TimePosition %n{nicht}
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersRight ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsRight ?FORMULA ?AGENT)))	Government.kif 721-726	Wenn agreementEffectiveDate Agreement and TimePoint und ** Agreement erlaubt CognitiveAgent, die Aufgabe der Art von Formula durchzuf�hren %n{nicht} und TimePosition ist ein fall von ** TimePoint %n{nicht}, dann ** CognitiveAgent hat das Recht, ** Formula durchzufuehren %n{nicht} haelt waehrend sofort nach ** TimePosition %n{nicht}
(=>     (and         (agreementEffectiveDate ?Account ?Date)         (currentAccountBalance ?Account ?Date ?Balance))     (originalBalance ?Account ?Balance))	FinancialOntology.kif 722-726	Wenn agreementEffectiveDate FinancialAccount and TimePoint und currentAccountBalance ** FinancialAccount, ** TimePoint and CurrencyMeasure, dann originalBalance ** FinancialAccount and ** CurrencyMeasure
(=>     (and         (agreementEffectiveDuring ?AGR ?DATE)         (instance ?TIME ?DATE)         (instance ?FORMULA Formula)         (containsInformation ?FORMULA ?AGR))     (holdsDuring ?TIME ?FORMULA))	Government.kif 766-772	Wenn agreementEffectiveDuring Proposition and ** TimePosition und ** TimePosition ist ein fall von ** TimePosition %n{nicht} und Formula ist ein fall von Formula %n{nicht} und ** Formula enthaelt Informationen ueber ** Proposition, dann ** Formula haelt waehrend ** ** TimePosition %n{nicht}
(=>     (and         (agreementPeriod ?AGREEMENT ?DURATION)         (agreementEffectiveDate ?AGREEMENT ?STARTDATE))     (holdsDuring         (TimePeriodFn ?STARTDATE ?DURATION)         (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 14016-14021	Wenn agreementPeriod Agreement and TimeInterval und agreementEffectiveDate ** Agreement and TimePoint, dann ** Agreement hat ein attribut ActiveAgreement %n{nicht} haelt waehrend TimePeriodFn ** TimePoint and ** TimeInterval %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