(=>     (property ?C ServiceContract)     (exists (?SP ?SERVICE ?CUST)         (and             (instance ?SP ServiceProcess)             (realization ?SP ?C)             (serviceProvider ?SP ?SERVICE)             (serviceRecipient ?SP ?CUST)             (partyToAgreement ?C ?SERVICE)             (partyToAgreement ?C ?CUST))))	Mid-level-ontology.kif 14197-14206	Proposition a un attribute ServiceContract ServiceProcess Agreement and proposition UST ServiceProcess est une instance de ServiceProcess ServiceProcess exprime le contenu de proposition serviceProvider ServiceProcess and Agreement serviceRecipient ServiceProcess and proposition UST partyToAgreement proposition and Agreement partyToAgreement proposition and proposition UST
(=>     (property ?Commitment LoanCommitment)     (exists (?Loan ?Lender ?Borrower)         (and             (instance ?Loan Loan)             (lender ?Loan ?Lender)             (borrower ?Loan ?Borrower)             (partyToAgreement ?Commitment ?Lender)             (partyToAgreement ?Commitment ?Borrower))))	FinancialOntology.kif 1473-1481	Agent cognitif a un attribute LoanCommitment Loan Agreement and Agreement Loan est une instance de Loan lender Loan and Agreement borrower Loan and Agreement partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement
(=>     (property ?ENTITY Promise)     (or         (property ?ENTITY Contract)         (property ?ENTITY NakedPromise)))	Mid-level-ontology.kif 14122-14126	Entit� a un attribute Promise entit� a un attribute Contract entit� a un attribute NakedPromise
(=>     (property ?Option ConventionalOption)     (exists (?Number ?Period)         (and             (agreementPeriod ?Option ?Period)             (duration ?Period                 (MeasureFn ?Number MonthDuration))             (lessThan ?Number 39))))	FinancialOntology.kif 2574-2580	Agreement a un attribute ConventionalOption nombre r�el interval temporel agreementPeriod Agreement and interval temporel la dur�� de interval temporel est nombre r�el MonthDuration(s) nombre r�el est moins que 39
(=>     (property ?Option ConventionalOption)     (exists (?Number ?Period)         (and             (agreementPeriod ?Option ?Period)             (duration ?Period                 (MeasureFn ?Number MonthDuration))             (lessThan ?Number 9))))	FinancialOntology.kif 2558-2564	Agreement a un attribute ConventionalOption nombre r�el interval temporel agreementPeriod Agreement and interval temporel la dur�� de interval temporel est nombre r�el MonthDuration(s) nombre r�el est moins que 9
(=>     (property ?Option Option)     (exists (?Type ?Date ?Stock ?Price)         (and             (or                 (equal ?Type CallOption)                 (equal ?Type PutOption))             (property ?Option ?Type)             (agreementExpirationDate ?Option ?Date)             (strikePrice ?Option ?Price)             (underlier ?Option ?Stock)             (measure ?Stock                 (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2540-2551	Agreement a un attribute Option attribut point temporel, FinancialInstrument and mesure de devise attribut est CallOption attribut est PutOption Agreement a un attribute attribut agreementExpirationDate Agreement and point temporel strikePrice Agreement and mesure de devise underlier Agreement and FinancialInstrument la mesure de FinancialInstrument est 100 ShareUnit(s)
(=>     (property ?Order DayOrder)     (and         (agreementPeriod ?Order ?Period)         (duration ?Period             (MeasureFn 1 DayDuration))))	FinancialOntology.kif 2940-2944	Agreement a un attribute DayOrder agreementPeriod Agreement and interval temporel la dur�� de interval temporel est 1 DayDuration(s)
(=>     (property ?PROCESS ChemicalEquilibrium)     (exists (?RATIO ?TIME ?RESOURCE ?RESULT)         (=>             (and                 (holdsDuring ?TIME                     (resource ?PROCESS ?RESOURCE))                 (holdsDuring ?TIME                     (result ?PROCESS ?RESULT)))             (equal ?RATIO                 (DivisionFn ?RESOURCE ?RESULT)))))	Mid-level-ontology.kif 19634-19641	Entit� a un attribute ChemicalEquilibrium nombre r�el position temporel, nombre r�el and nombre r�el nombre r�el est une resource pour entit� pendant position temporel nombre r�el est le resultat de entit� pendant position temporel nombre r�el est nombre r�el + nombre r�el
(=>     (property ?PROCESS ChemicalEquilibrium)     (instance ?PROCESS ChemicalProcess))	Mid-level-ontology.kif 19630-19632	Entit� a un attribute ChemicalEquilibrium entit� est une instance de processus chimique
(=>     (property ?Program ReplicationsOnSameHostOK)     (property ?Program Restartable))	QoSontology.kif 1290-1292	Entit� a un attribute ReplicationsOnSameHostOK entit� a un attribute Restartable
(=>     (property ?T Treaty)     (exists (?N1 ?N2)         (and             (partyToAgreement ?T ?N1)             (partyToAgreement ?T ?N2)             (instance ?N1 Nation)             (instance ?N2 Nation)             (not                 (equal ?N1 ?N2)))))	Mid-level-ontology.kif 14219-14228	Agent cognitif a un attribute Treaty Agreement Agreement partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement Agreement est une instance de nation Agreement est une instance de nation Agreement est Agreement
(=>     (property ?TEST ABTest)     (exists (?PROCESS)         (and             (instance ?PROCESS Process)             (experimentalControlProcess ?TEST ?PROCESS))))	UXExperimentalTerms.kif 4425-4430	Experimenting a un attribute ABTest processus processus est une instance de processus experimentalControlProcess Experimenting and processus

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