No TPTP formula. May not be expressible in strict first order.	Merge.kif 1611-1611	leader 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7556-7556	长度 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7802-7802	货币价值 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16423-16423	母亲 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 865-865	净值 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21680-21680	质子数 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7657-7657	半径 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24483-24483	stringConcatenation 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24456-24456	stringLength 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11870-11870	交易金额 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4439-4439	唯一识别符号 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 360-360	配价 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 588-588	波长 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7541-7541	宽度 是 单值关系 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3350-3350	函数 是 单值关系 的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 889-889
No TPTP formula. May not be expressible in strict first order.	english_format.kif 980-980
No TPTP formula. May not be expressible in strict first order.	french_format.kif 565-565
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 95-95
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 98-98
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2250-2250
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 517-517
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 132-132
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 586-586
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