No TPTP formula. May not be expressible in strict first order.	Merge.kif 1611-1611	leader is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7556-7556	length is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7780-7780	monetary value is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16401-16401	mother is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 865-865	net worth is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21681-21681	proton number is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7643-7643	radius is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24484-24484	string concatenation is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24457-24457	string length is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11848-11848	transaction amount is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4439-4439	unique identifier is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 360-360	valence is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 588-588	wavelength is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7541-7541	width is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3350-3350	Function is a subclass of single valued relation
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