No TPTP formula. May not be expressible in strict first order.	Government.kif 1526-1526	例 內閣 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5507-5507	例 基數 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4781-4781	例 天花板 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7637-7637	例 圓心 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8038-8038	例 公民 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5475-5475	例 補充 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Government.kif 673-673	例 憲法 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2832-2832	例 ConversionRateFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4799-4799	例 餘弦 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29724-29724	例 CoveringFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 282-282	例 貨幣 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6070-6070	例 切集 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4856-4856	例 基準 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 114-114	例 DeadFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18237-18237	例 DeadOrMissingBodyPartFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30629-30629	例 DemonymFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4808-4808	例 分母 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7460-7460	例 後人 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4947-4947	例 直徑 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3011-3011	例 文獻 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9978-9978	例 EdemaFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Government.kif 1684-1684	例 選舉 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1956-1956	例 海拔高點 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1932-1932	例 海拔低點 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2055-2055	例 EmailDomainPartFn and UnaryFunction
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