No TPTP formula. May not be expressible in strict first order.	Merge.kif 15528-15528	例 版 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4816-4816	例 冪 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	People.kif 393-393	例 女性出生時的預期壽命 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3721-3721	例 財政年度開始 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3156-3156	例 GPIFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3123-3123	例 GPSFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6912-6912	例 GeographicPartTypeFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6052-6052	例 圖形路徑 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8633-8633	例 小時 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5453-5453	例 路口 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6581-6581	例 間隔 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5580-5580	例 卡帕 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	People.kif 296-296	例 出生時的預期壽命 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4549-4549	例 LiftFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2616-2616	例 線路 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3070-3070	例 列表連接 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2975-2975	例 清單順序 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4974-4974	例 日誌 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	People.kif 345-345	例 男性出生時的預期壽命 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4982-4982	例 最大 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6030-6030	例 最大加權路徑 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Food.kif 1891-1891	例 MealAttributeFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2217-2217	例 Mean10MinutesWindSpeedFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2322-2322	例 Mean1MinuteWindSpeedFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2287-2287	例 Mean2MinutesWindSpeedFn and BinaryFunction
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