No TPTP formula. May not be expressible in strict first order.	Merge.kif 1606-1606	leader is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7589-7589	length is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7850-7850	monetary value is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16561-16561	mother is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 867-867	net worth is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23298-23298	proton number is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7702-7702	radius is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26148-26148	string concatenation is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26121-26121	string length is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11983-11983	transaction amount is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4452-4452	unique identifier is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 353-353	valence is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 581-581	wavelength is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7572-7572	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	Function is a subclass of single valued relation
No TPTP formula. May not be expressible in strict first order.	english_format.kif 980-980	Function is a subclass of single valued relation
No TPTP formula. May not be expressible in strict first order.	french_format.kif 565-565	Function is a subclass of single valued relation
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 95-95	Function is a subclass of single valued relation
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 98-98	Function is a subclass of single valued relation
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2250-2250	Function is a subclass of single valued relation
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 517-517	Function is a subclass of single valued relation
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 132-132	Function is a subclass of single valued relation
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 391-391	Function is a subclass of single valued relation
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