(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO City))     (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 24763-24768	PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace ville est une instance de ville postCity PostalPlace and ville
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO Neighborhood))     (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 24676-24681	PostalPlace est situ� � Neighborhood PostalPlace est une instance de PostalPlace Neighborhood est une instance de Neighborhood postNeighborhood PostalPlace and Neighborhood
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO StateOrProvince))     (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24747-24752	PostalPlace est situ� � Etat ou province PostalPlace est une instance de PostalPlace Etat ou province est une instance de Etat ou province postDistrict PostalPlace and Etat ou province
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (or             (instance ?GEO Nation)             (instance ?GEO DependencyOrSpecialSovereigntyArea)))     (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 24713-24720	PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique
(<=>     (exists (?Period)         (and             (instance ?Loan Loan)             (agreementPeriod ?Loan ?Period)             (interestEarned ?Loan ?Amount ?Period)))     (loanInterest ?Loan ?Amount))	FinancialOntology.kif 3920-3926	Interval temporel Loan est une instance de Loan agreementPeriod Loan and interval temporel interestEarned Loan, Interest and interval temporel 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	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el 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	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice 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	FinancialInstrument FinancialInstrumentPrice and mesure de devise Agreement est une instance de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and mesure de devise FinancialInstrumentPrice est mesure de devise 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	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el 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	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice 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	Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel
(=>     (and         (?ROLE ?EVENT ?OBJ)         (instance ?ROLE CaseRole)         (instance ?EVENT Process)         (instance ?OBJ Object))     (playsRoleInEvent ?OBJ ?ROLE ?EVENT))	Mid-level-ontology.kif 23252-23258	R�le d�pendant du cas processus and objet r�le d�pendant du cas est une instance de r�le d�pendant du cas processus est une instance de processus objet est une instance de objet playsRoleInEvent objet, r�le d�pendant du cas and processus
(=>     (and         (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)         (instance ?X ?CBP-TYPE))     (abbreviation ?STRING ?X))	Media.kif 3165-3169	abbreviatedDisplayTitle cha�ne sympbolique, entit�-TYPE and langage entit� est une instance de entit�-TYPE abbreviation cha�ne sympbolique and entit�
(=>     (and         (accountAtSite ?ACCOUNT ?SITE)         (hasAccount ?USER ?ACCOUNT))     (registeredUser ?USER ?SITE))	UXExperimentalTerms.kif 881-885	accountAtSite UserAccount and WebSite hasAccount AutonomousAgent and UserAccount registeredUser AutonomousAgent and WebSite
(=>     (and         (accountHolder ?Account ?Agent)         (accountAt ?Account ?Bank))     (customer ?Agent ?Bank))	FinancialOntology.kif 3621-3625	accountHolder FinancialAccount and agent cognitif accountAt FinancialAccount and FinancialOrganization customer agent cognitif and FinancialOrganization
(=>     (and         (acronym ?STRING ?THING)         (inString ?CHAR ?STRING))     (instance ?CHAR AlphabeticCharacter))	Media.kif 3041-3045	acronym cha�ne sympbolique and entit� inString character and cha�ne sympbolique character est une instance de AlphabeticCharacter
(=>     (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	actedIn humain and ContentBearingPhysical processus est une instance de DramaticActing humain est un patient de processus ContentBearingPhysical est le resultat de processus Actor est un attribut de humain pendant temps d'existence de processus
(=>     (and         (agent ?PROCESS ?AGENT)         (result ?PROCESS ?WORK)         (instance ?WORK ArtWork))     (holdsDuring         (WhenFn ?PROCESS)         (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18837-18843	Processus est un agent de AutonomousAgent entit� est le resultat de processus entit� est une instance de objet d'art Artist est un attribut de AutonomousAgent pendant temps d'existence de processus
(=>     (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	Processus est un agent de AutonomousAgent processus a pour origine objet physique est un patient de processus valeur de physique est mesure de devise financial transaction financial transaction est un sous-processus de processus financial transaction est une instance de Payment transactionAmount financial transaction and mesure de devise financial transaction a pour origine AutonomousAgent financial transaction aboutit � objet
(=>     (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	agreementClause proposition , deontic attribute, Agreement and agent cognitif deontic attribute est Obligation deontic attribute est Promise l'argument entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif a la force modale de Likely
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersObligation ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsObligation ?FORMULA ?AGENT)))	Government.kif 714-719	agreementEffectiveDate Agreement and point temporel Agreement oblige agent cognitif � ex�cut� des t�ches du type formule position temporel est une instance de point temporel agent cognitif est oblig� d'ex�cut� des t�ches du type formule pendant immediatement apr�s position temporel
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersRight ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsRight ?FORMULA ?AGENT)))	Government.kif 721-726	agreementEffectiveDate Agreement and point temporel Agreement autorise agent cognitif � ex�cut� des t�ches du type formule position temporel est une instance de point temporel agent cognitif a le droit d'executer formule pendant immediatement apr�s position temporel
(=>     (and         (agreementEffectiveDate ?Account ?Date)         (currentAccountBalance ?Account ?Date ?Balance))     (originalBalance ?Account ?Balance))	FinancialOntology.kif 722-726	agreementEffectiveDate FinancialAccount and point temporel currentAccountBalance FinancialAccount, point temporel and mesure de devise originalBalance FinancialAccount and mesure de devise
(=>     (and         (agreementEffectiveDuring ?AGR ?DATE)         (instance ?TIME ?DATE)         (instance ?FORMULA Formula)         (containsInformation ?FORMULA ?AGR))     (holdsDuring ?TIME ?FORMULA))	Government.kif 766-772	agreementEffectiveDuring proposition and position temporel position temporel est une instance de position temporel formule est une instance de formule formule contient information proposition formule pendant position temporel
(=>     (and         (agreementPeriod ?AGREEMENT ?DURATION)         (agreementEffectiveDate ?AGREEMENT ?STARTDATE))     (holdsDuring         (TimePeriodFn ?STARTDATE ?DURATION)         (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 14016-14021	agreementPeriod Agreement and interval temporel agreementEffectiveDate Agreement and point temporel Agreement a un attribute ActiveAgreement pendant TimePeriodFn point temporel and interval temporel
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