No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	concentration 測量 RealNumber and UnitOfMeasure, Substance, 測量 RealNumber and UnitOfMeasure and Mixture 例 SubstanceI and Substance 部分 SubstanceI and Mixture 測量 SubstanceI and 測量 RealNumber and UnitOfMeasure 部分 SubstanceI and Mixture 例 SubstanceI2 and Substance 等於 SubstanceI and SubstanceIE2 部分 SubstanceI2 and Mixture 測量 Mixture and 測量 RealNumber and UnitOfMeasure approximateValue RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 549-556	RealNumber 是在 試驗 confidence 例 試驗 and 試驗 例 Sentence and Formula 患者 試驗 and Sentence 等於 RealNumber and 100 真相 Sentence and 假
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 540-547	RealNumber 是在 試驗 confidence 例 試驗 and 試驗 例 Sentence and Formula 患者 試驗 and Sentence 等於 RealNumber and 100 真相 Sentence and 真正
No TPTP formula. May not be expressible in strict first order.	Merge.kif 476-484	相反的屬性 @ROW 等於 Attribute and 清單順序 名單 @ROW and PositiveInteger 等於 Attribute and 清單順序 名單 @ROW and PositiveInteger 等於 PositiveInteger and PositiveInteger 屬性 Entity and Attribute 屬性 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	金融賬戶 對於 %3 的 current 帳戶存款 少於 RealNumber and 0 等於 RealNumber and 減法 0 and RealNumber 金融賬戶 是 對於 Day 的 overdraft 測量 RealNumber and 美國美元
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2623-2628	降低可能性 Formula and Formula 等於 可能性 Formula and RealNumber 條件概率 Formula, Formula and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18468-18473	defaultMaxValue Predicate, PositiveInteger and Quantity Predicate @ARGS 等於 Entity and 清單順序 名單 @ARGS and PositiveInteger 模態屬性 比較多 Quantity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18451-18456	defaultMinValue Predicate, PositiveInteger and Quantity Predicate @ARGS 等於 Entity and 清單順序 名單 @ARGS and PositiveInteger 模態屬性 比較多 Entity and Quantity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18485-18490	defaultValue Predicate, PositiveInteger and Quantity Predicate @ARGS 等於 Entity and 清單順序 名單 @ARGS and PositiveInteger 模態屬性 等於 Quantity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Government.kif 4675-4680	% AutonomousAgent %3 例 GeopoliticalArea and City 等於 Government and 政府 GeopoliticalArea AutonomousAgent 是 對於 %3 的 diplomatic 類別
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 818-828	測量 RealNumber and UnitOfMeasure 是 貸款 的 down 費用 Object 是給 貸款 購買的 loan 貨幣價值 Object and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 減法 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是 貸款 的 original 金額
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	工程子組件 EngineeringComponent and 互聯網 工程子組件 EngineeringComponent and 互聯網 等於 EngineeringComponent and EngineeringComponent 有目的 互聯網 and entity 例 entity and Communication agent entity and EngineeringComponent 目的地 entity and EngineeringComponent 儀器 entity and 互聯網
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8076-8084	等於 開始 TimeInterval and 開始 TimeInterval 之前 結束 TimeInterval and 結束 TimeInterval 啟動 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5765-5769	等於 開始節點 GraphPath and GraphNode 等於 結束節點 GraphPath and GraphNode 例 GraphPath and GraphCircuit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4960-4965	等於 圓 Object 的 center and 幾何點 點圖 幾何點2 and Object 幾何點2 是 對於 LengthMeasure 的 geometric 距離 幾何點 等於 Object 的 radius and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15537-15554	等於 版 ContentBearingObject and PositiveInteger and ContentBearingObject 等於 版 ContentBearingObject and PositiveInteger and ContentBearingObject 比較多 PositiveInteger and PositiveInteger 例 Process and Publication 例 Process and Publication 例 Entity and ContentBearingObject 例 Entity and ContentBearingObject 患者 Process and Entity 患者 Process and Entity 日期 Process and Day 日期 Process and Day 之前 結束 Day and 結束 Day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4861-4872	等於 最大公約數 @ROW and Integer 等於 Integer and 0 Integer 在列表中 Integer and 名單 @ROW 等於 剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	等於 最大公約數 @ROW and Integer 等於 Integer and 0 Integer 比較多 Integer and Integer Integer 在列表中 Integer and 名單 @ROW 等於 剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5866-5870	等於 初始節點 GraphArc and GraphNode 等於 終端節點 GraphArc and GraphNode 例 GraphArc and GraphLoop
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4946-4956	等於 最不常見的倍數 @ROW and Integer 等於 Integer and 0 Integer 在列表中 Integer and 名單 @ROW 等於 剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4958-4972	等於 最不常見的倍數 @ROW and Integer 等於 Integer and 0 Integer 少於 Integer and Integer Integer 在列表中 Integer and 名單 @ROW 等於 剩餘 Integer and Integer and 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3219-3223	等於 列表長度 List and PositiveInteger 等於 清單順序 List and PositiveInteger and Entity 等於 List 的 last and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6044-6050	等於 最大加權路徑 GraphNode and GraphNode and GraphPath 等於 路徑重量 GraphPath and RealNumber 例 GraphPath and 圖形路徑 GraphNode and GraphNode 等於 路徑重量 GraphPath and RealNumber 小於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6394-6398	等於 測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfAngularMeasure 例 PhysicalQuantity and AngleMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6370-6374	等於 測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfArea 例 PhysicalQuantity and AreaMeasure
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