No TPTP formula. May not be expressible in strict first order.	Geography.kif 1116-1116	例 海上專屬經濟區 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1084-1084	例 海運貨架區 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1678-1678	例 MaxValueFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6320-6320	例 MeasuringProcessFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Government.kif 1760-1760	例 會員 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 964-964	例 商船 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6078-6078	例 最小割集 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8838-8838	例 MorningFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Music.kif 900-900	例 MusicalComponentFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Music.kif 948-948	例 NationalAnthemFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1519-1519	例 網路通信功能 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5034-5034	例 分子 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20486-20486	例 職業 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17879-17879	例 操作 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5247-5247	例 OrganicObjectFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Geography.kif 807-807	例 外邊界 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Government.kif 500-500	例 海外地區 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3045-3045	例 PPSFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6346-6346	例 PainFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6319-6319	例 ParalysisFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8499-8499	例 過去 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5971-5971	例 路徑重量 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Geography.kif 768-768	例 周邊區域 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1831-1831	例 PhysicalQuantityToNumberFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Food.kif 3351-3351	例 PlantFn 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