No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3049-3049	範圍 PPSFn and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5973-5973	範圍 路徑重量 and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 38-38	範圍 人口增長 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2574-2574	範圍 可能性 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5062-5062	範圍 實數 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5071-5071	範圍 互相 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5171-5171	範圍 回合 and RealNumber
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3713-3713	範圍 SRPEngagementFn and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5212-5212	範圍 正弦 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5220-5220	範圍 平方根 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4728-4728	範圍 減法 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5232-5232	範圍 切線 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2003-2003	子類 BinaryNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1916-1916	子類 IrrationalNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1943-1943	子類 NegativeRealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1921-1921	子類 NonnegativeRealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1911-1911	子類 RationalNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 859-859
No TPTP formula. May not be expressible in strict first order.	english_format.kif 920-920
No TPTP formula. May not be expressible in strict first order.	french_format.kif 535-535
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 65-65
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 68-68
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2220-2220
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 487-487
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