No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 881-885	accountAtSite UserAccount and WebSite hasAccount AutonomousAgent and UserAccount registeredUser AutonomousAgent and WebSite
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3621-3625	accountHolder FinancialAccount and agent cognitif accountAt FinancialAccount and FinancialOrganization customer agent cognitif and FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	Media.kif 3041-3045	acronym cha�ne sympbolique and entit� inString character and cha�ne sympbolique character est une instance de AlphabeticCharacter
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 722-726	agreementEffectiveDate FinancialAccount and point temporel currentAccountBalance FinancialAccount, point temporel and mesure de devise originalBalance FinancialAccount and mesure de devise
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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