No TPTP formula. May not be expressible in strict first order.	Merge.kif 1611-1611	例 leader and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7556-7556	例 length and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7802-7802	例 貨幣價值 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16423-16423	例 母親 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 865-865	例 淨值 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21680-21680	例 質子數 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7657-7657	例 半徑 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24483-24483	例 stringConcatenation and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24456-24456	例 stringLength and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11870-11870	例 交易金額 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4439-4439	例 獨特標識符 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 360-360	例 價 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 588-588	例 波長 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7541-7541	例 寬度 and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3350-3350	子類 Function and SingleValuedRelation
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