No TPTP formula. May not be expressible in strict first order.	Music.kif 332-332	album track is a subrelation of in list
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23324-23324	alias is a subrelation of deceptive identifier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23214-23214	alias is a subrelation of names
No TPTP formula. May not be expressible in strict first order.	Media.kif 3129-3129	alternative title is a subrelation of title in language
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 909-909	amount charged is a subrelation of transaction amount
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17832-17832	angle of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order.	Music.kif 349-349	anthem is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1483-1483	appraised value is a subrelation of monetary value
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26943-26943	approves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23480-23480	arrested is a subrelation of controlled
No TPTP formula. May not be expressible in strict first order.	Law.kif 227-227	arresting officer is a subrelation of agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1924-1924	ask price is a subrelation of price
No TPTP formula. May not be expressible in strict first order.	Government.kif 2426-2426	associate in organization is a subrelation of member
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13083-13083	attends is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1719-1719	attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23043-23043	aunt is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3806-3806	available balance is a subrelation of current account balance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3829-3829	available cash is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7815-7815	barometric pressure is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8099-8099	before is a subrelation of before or equal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3343-3343	before tax income is a subrelation of income earned
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2809-2809	believes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1904-1904	bid price is a subrelation of price
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24234-24234	birthday is a subrelation of anniversary
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2510-2510	bond rating is a subrelation of attribute
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