(=>     (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 14198-14207	命題 には attribute ServiceContract %n{ない} ServiceProcess Agreement and 命題UST ServiceProcess は ServiceProcess の instance では %n ServiceProcess は 命題 の内容を expresses %n{ない} Agreement は ServiceProcess の間サービスを provides %n{ない} 命題UST は ServiceProcess の間サービスを receives %n{ない} partyToAgreement 命題 and Agreement partyToAgreement 命題 and 命題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	認識エージェント には attribute LoanCommitment %n{ない} Loan Agreement and Agreement Loan は Loan の instance では %n lender Loan and Agreement borrower Loan and Agreement partyToAgreement 認識エージェント and Agreement partyToAgreement 認識エージェント and Agreement
(=>     (property ?ENTITY Promise)     (or         (property ?ENTITY Contract)         (property ?ENTITY NakedPromise)))	Mid-level-ontology.kif 14123-14127	エンティティー には attribute Promise %n{ない} エンティティー には attribute Contract %n{ない} エンティティー には attribute NakedPromise %n{ない}
(=>     (property ?Option ConventionalOption)     (exists (?Number ?Period)         (and             (agreementPeriod ?Option ?Period)             (duration ?Period                 (MeasureFn ?Number MonthDuration))             (lessThan ?Number 39))))	FinancialOntology.kif 2574-2580	Agreement には attribute ConventionalOption %n{ない} 実数 時間間隔 agreementPeriod Agreement and 時間間隔 時間間隔 の duration は 実数 の MonthDuration(s) では %n 実数 は 39 より less では %n
(=>     (property ?Option ConventionalOption)     (exists (?Number ?Period)         (and             (agreementPeriod ?Option ?Period)             (duration ?Period                 (MeasureFn ?Number MonthDuration))             (lessThan ?Number 9))))	FinancialOntology.kif 2558-2564	Agreement には attribute ConventionalOption %n{ない} 実数 時間間隔 agreementPeriod Agreement and 時間間隔 時間間隔 の duration は 実数 の MonthDuration(s) では %n 実数 は 9 より less では %n
(=>     (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 には attribute Option %n{ない} 属性 時点, FinancialInstrument and 通貨測定 属性 は CallOption と equal では %n 属性 は PutOption と equal では %n Agreement には attribute 属性 %n{ない} agreementExpirationDate Agreement and 時点 strikePrice Agreement and 通貨測定 underlier Agreement and FinancialInstrument FinancialInstrument の measure は 100 の ShareUnit(s) では %n
(=>     (property ?Order DayOrder)     (and         (agreementPeriod ?Order ?Period)         (duration ?Period             (MeasureFn 1 DayDuration))))	FinancialOntology.kif 2940-2944	Agreement には attribute DayOrder %n{ない} agreementPeriod Agreement and 時間間隔 時間間隔 の duration は 1 の DayDuration(s) では %n
(=>     (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 19635-19642	エンティティー には attribute ChemicalEquilibrium %n{ない} 実数 時間位置, 実数 and 実数 実数 は エンティティー の resource では %n は 時間位置 の during holds %n{ない} 実数 は エンティティー の result では %n は 時間位置 の during holds %n{ない} 実数 は 実数 + 実数 と equal では %n
(=>     (property ?PROCESS ChemicalEquilibrium)     (instance ?PROCESS ChemicalProcess))	Mid-level-ontology.kif 19631-19633	エンティティー には attribute ChemicalEquilibrium %n{ない} エンティティー は 化学プロセス の instance では %n
(=>     (property ?Program ReplicationsOnSameHostOK)     (property ?Program Restartable))	QoSontology.kif 1290-1292	エンティティー には attribute ReplicationsOnSameHostOK %n{ない} エンティティー には attribute Restartable %n{ない}
(=>     (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 14220-14229	認識エージェント には attribute Treaty %n{ない} Agreement Agreement partyToAgreement 認識エージェント and Agreement partyToAgreement 認識エージェント and Agreement Agreement は 国民 の instance では %n Agreement は 国民 の instance では %n Agreement は Agreement と equal では
(=>     (property ?TEST ABTest)     (exists (?PROCESS)         (and             (instance ?PROCESS Process)             (experimentalControlProcess ?TEST ?PROCESS))))	UXExperimentalTerms.kif 4425-4430	Experimenting には attribute ABTest %n{ない} 工程 工程 は 工程 の instance では %n experimentalControlProcess Experimenting and 工程

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