No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14197-14206	Proposicao tem um atributo de ServiceContract ServiceProcess Agreement and ProposicaoUST ServiceProcess e' uma instancia de ServiceProcess ServiceProcess exprime o conteudo de Proposicao serviceProvider ServiceProcess and Agreement serviceRecipient ServiceProcess and ProposicaoUST partyToAgreement Proposicao and Agreement partyToAgreement Proposicao and ProposicaoUST
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1473-1481	Agente Cognitivo tem um atributo de LoanCommitment Loan Agreement and Agreement Loan e' uma instancia de Loan lender Loan and Agreement borrower Loan and Agreement partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14122-14126	Entidade tem um atributo de Promise Entidade tem um atributo de Contract Entidade tem um atributo de NakedPromise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2574-2580	Agreement tem um atributo de ConventionalOption Numero Real Intervalo Temporal agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real MonthDuration(s) Numero Real e' menos que 39
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2558-2564	Agreement tem um atributo de ConventionalOption Numero Real Intervalo Temporal agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real MonthDuration(s) Numero Real e' menos que 9
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2540-2551	Agreement tem um atributo de Option Atributo Ponto no tempo, FinancialInstrument and Medida de Divisa Atributo e' igual a CallOption Atributo e' igual a PutOption Agreement tem um atributo de Atributo agreementExpirationDate Agreement and Ponto no tempo strikePrice Agreement and Medida de Divisa underlier Agreement and FinancialInstrument a medida de FinancialInstrument e' 100 ShareUnit(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2940-2944	Agreement tem um atributo de DayOrder agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' 1 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19634-19641	Entidade tem um atributo de ChemicalEquilibrium Numero Real Posicao Temporal, Numero Real and Numero Real Numero Real e' um recurso para Entidade vale durante Posicao Temporal Numero Real e' o resultado de Entidade vale durante Posicao Temporal Numero Real e' igual a Numero Real + Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19630-19632	Entidade tem um atributo de ChemicalEquilibrium Entidade e' uma instancia de Processo Quimico
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1290-1292	Entidade tem um atributo de ReplicationsOnSameHostOK Entidade tem um atributo de Restartable
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14219-14228	Agente Cognitivo tem um atributo de Treaty Agreement Agreement partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement Agreement e' uma instancia de Nacao Agreement e' uma instancia de Nacao Agreement e' igual a Agreement
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4425-4430	Experimenting tem um atributo de ABTest Processo Processo e' uma instancia de Processo experimentalControlProcess Experimenting and Processo

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