No TPTP formula. May not be expressible in strict first order.	Geography.kif 7216-7222	Entit� est une instance de NitricOxide entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel Gas est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7241-7247	Entit� est une instance de NitrogenDioxide entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel Gas est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7181-7187	Entit� est une instance de SulphurDioxide entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel Gas est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14162	Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est un agent de agent cognitif processus exprime le contenu de proposition consistent proposition and Agreement l'argument entit� entit� est une instance de action l�gale plaintiff entit� and agent cognitif defendant entit� and agent cognitif a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16995-17001	Entit� a un attribute attribut attribut est une instance de vrai entit� est une instance de phrase entit� est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25579-25584	Physique a un attribute attribut de forme physique est une instance de physique attribut de forme est une instance de attribut de forme shape physique and attribut de forme
No TPTP formula. May not be expressible in strict first order.	engineering.kif 230-234	Entit� a un attribute attribut attribut est une instance de AlgebroDifferentialAttribute entit� est une instance de SetOfEquations
No TPTP formula. May not be expressible in strict first order.	engineering.kif 211-217	Entit� a un attribute attribut attribut est une instance de EquationAttribute entit� est une instance de Equation entit� est une instance de SetOfEquations
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2788-2800	Agreement a un attribute AmericanStyleOption optionHolder Agreement and agent cognitif agreementExpirationDate Agreement and point temporel agent cognitif a le droit d'executer entit� entit� est une instance de ExerciseAnOption Agreement est un patient de entit� la fin de temps d'existence de entit� se produit avant la fin de point temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2808-2820	Agreement a un attribute EuropeanStyleOption agreementExpirationDate Agreement and point temporel interval temporel interval temporel and physique interval temporel est une instance de interval temporel la fin de interval temporel est point temporel physique est une instance de ExerciseAnOption temps d'existence de physique est interval temporel interval temporel est une partie de interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	Agreement a un attribute Option optionHolder Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel underlier Agreement and FinancialInstrument agent cognitif a le droit d'executer la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	Agreement a un attribute Option optionHolder Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel underlier Agreement and FinancialInstrument price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel agent cognitif a le droit d'executer la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	Agreement a un attribute Option optionSeller Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel underlier Agreement and FinancialInstrument agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2641-2659	Agreement a un attribute Option optionSeller Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel underlier Agreement and FinancialInstrument price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2712-2716	Agreement a un attribute StockOption underlier Agreement and FinancialInstrument FinancialInstrument a un attribute CommonStock
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17414-17424	AutonomousAgent a un attribute attribut attribut est une instance de attribut r�sultant d'un affrontement processus processus est une instance de affrontement processus est un agent de AutonomousAgent AutonomousAgent est un patient de processus AutonomousAgent est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19498-19508	AutonomousAgent a un attribute attribut attribut est une instance de GameAttribute processus processus est une instance de jeu processus est un agent de AutonomousAgent AutonomousAgent est un patient de processus AutonomousAgent est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19514-19524	AutonomousAgent a un attribute attribut attribut est une instance de SportsAttribute processus processus est une instance de jeu processus est un agent de AutonomousAgent AutonomousAgent est un patient de processus AutonomousAgent est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3217-3229	Physique a un attribute Booting physique est une instance de Computer objet objet and transf�re objet est une instance de DigitalData objet est une instance de OperatingSystem transf�re est une instance de DataTransfer temps d'existence de transf�re prend place pendant temps d'existence de physique transf�re aboutit � physique objet est une partie de objet objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Music.kif 490-497	Album a un attribute CompilationAlbum Album1 Album2 albumArtist Album and Album1 albumArtist Album and Album2 Album1 est Album2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14112-14114	Entit� a un attribute ActiveAgreement entit� est une instance de Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14116-14120	Entit� a un attribute ActiveAgreement l'argument entit� entit� exprime le contenu de entit� a la force modale de Obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14141-14146	Proposition a un attribute Contract formule formule est une sous-proposition de proposition l'argument formule a la force modale de Legal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14169-14175	Agreement a un attribute MarriageContract humain humain partyToAgreement humain and Agreement partyToAgreement humain and Agreement spouse humain and humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14182-14191	Proposition a un attribute PurchaseContract processus processusELLER and Agreement processus est une instance de vendre processus est un agent de processusELLER processus aboutit � Agreement processus exprime le contenu de proposition partyToAgreement proposition and processusELLER partyToAgreement proposition and Agreement
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