(=>     (instance ?SECOND         (SecondFn ?NUMBER ?MINUTE))     (lessThan ?NUMBER 60))	Merge.kif 8679-8681	例 Entity and 第二 PositiveInteger and Minute 少於 PositiveInteger and 60
(=>     (instance ?Spread ButterflySpread)     (exists (?Call1 ?Call2 ?Call3 ?Call4 ?Price1 ?Price2 ?Price3 ?Price4 ?U)         (and             (instance ?Call1 CallOption)             (instance ?Call2 CallOption)             (instance ?Call3 CallOption)             (instance ?Call4 CallOption)             (subProcess ?Call1 ?Spread)             (subProcess ?Call2 ?Spread)             (subProcess ?Call3 ?Spread)             (subProcess ?Call4 ?Spread)             (instance ?U UnitOfCurrency)             (strikePrice ?Call1                 (MeasureFn ?Price1 ?U))             (strikePrice ?Call2                 (MeasureFn ?Price2 ?U))             (strikePrice ?Call3                 (MeasureFn ?Price3 ?U))             (strikePrice ?Call4                 (MeasureFn ?Price4 ?U))             (lessThan ?Price1 ?Price2)             (lessThan ?Price1 ?Price3)             (greaterThan ?Price4 ?Price2)             (greaterThan ?Price4 ?Price2))))	FinancialOntology.kif 3119-3143	例 Process and 蝴蝶傳播 金融工具 金融工具, 金融工具, 金融工具, RealNumber, RealNumber, RealNumber, RealNumber and UnitOfMeasure 例 金融工具 and 看漲期權 例 金融工具 and 看漲期權 例 金融工具 and 看漲期權 例 金融工具 and 看漲期權 子過程 金融工具 and Process 子過程 金融工具 and Process 子過程 金融工具 and Process 子過程 金融工具 and Process 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 金融工具 的 strike 價錢 測量 RealNumber and UnitOfMeasure 是 金融工具 的 strike 價錢 測量 RealNumber and UnitOfMeasure 是 金融工具 的 strike 價錢 測量 RealNumber and UnitOfMeasure 是 金融工具 的 strike 價錢 少於 RealNumber and RealNumber 少於 RealNumber and RealNumber 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber
(=>     (instance ?X HandGrenade)     (exists (?N)         (and             (measure ?X                 (MeasureFn ?N PoundMass))             (lessThan ?N 10.0))))	Mid-level-ontology.kif 21871-21877	例 Physical and 手榴彈 RealNumber 測量 Physical and 測量 RealNumber and 磅質量 少於 RealNumber and 10.0
(=>     (instance ?X RadiatingXRay)     (exists (?M)         (and             (wavelength ?X                 (MeasureFn ?M Nanometer))             (greaterThanOrEqualTo ?M 0.01)             (lessThan 10.0 ?M))))	Mid-level-ontology.kif 610-617	例 Radiating and X射線輻射 RealNumber Radiating 的 wavelength 是 測量 RealNumber and Nanometer 大於或等於 RealNumber and 0.01 少於 10.0 and RealNumber
(=>     (oxygenSaturation ?H ?N)     (and         (greaterThan ?N 0.0)         (lessThan ?N 100.0)))	Medicine.kif 1234-1238	oxygenSaturation Human and RealNumber 比較多 RealNumber and 0.0 少於 RealNumber and 100.0
(=>     (property ?Option ConventionalOption)     (exists (?Number ?Period)         (and             (agreementPeriod ?Option ?Period)             (duration ?Period                 (MeasureFn ?Number MonthDuration))             (lessThan ?Number 39))))	FinancialOntology.kif 2574-2580	屬性 協議 and 傳統的選擇 RealNumber TimeInterval TimeInterval 是 協議 的 agreement 週期 持續時間 TimeInterval and 測量 RealNumber and 月持續時間 少於 RealNumber and 39
(=>     (property ?Option ConventionalOption)     (exists (?Number ?Period)         (and             (agreementPeriod ?Option ?Period)             (duration ?Period                 (MeasureFn ?Number MonthDuration))             (lessThan ?Number 9))))	FinancialOntology.kif 2558-2564	屬性 協議 and 傳統的選擇 RealNumber TimeInterval TimeInterval 是 協議 的 agreement 週期 持續時間 TimeInterval and 測量 RealNumber and 月持續時間 少於 RealNumber and 9

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