No TPTP formula. May not be expressible in strict first order.	Economy.kif 3614-3614	域 貨幣代碼, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 879-879	域 dataID, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3686-3686	域 一天的電話, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3143-3143	域 displayTitle, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Merge.kif 371-371	域 文件, 3 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3007-3007	域 電子郵件地址, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3726-3726	域 傍晚的電話, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Merge.kif 678-678	域 externalImage, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14723-14723	域 姓, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2206-2206	域 filename, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Government.kif 4778-4778	域 國旗描述, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Government.kif 4786-4786	域 國旗圖像, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24629-24629	域 floorCode, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Merge.kif 382-382	域 格式, 3 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3288-3288	域 fullName, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3302-3302	域 fullNameIndexOrder, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14743-14743	域 給予的名稱, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3193-3193	域 groupingTitle, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1022-1022	域 硬件類型, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3437-3437	域 humanName, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24372-24372	域 inString, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Communications.kif 436-436	域 互聯網國家代碼, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3279-3279	域 keyName, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3280-3280	域 keyName, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	engineering.kif 41-41	域 詞庫, 3 and SymbolicString
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