No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1298-1298	borrower is a subrelation of party to agreement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9707-9707	bottom is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16499-16499	brother is a subrelation of sibling
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4090-4090	buying power amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order.	Government.kif 377-377	capital city is a subrelation of administrative center
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3498-3498	card code is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22871-22871	cargo is a subrelation of transported
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 403-403	cell shape is a subrelation of shape
No TPTP formula. May not be expressible in strict first order.	Government.kif 2060-2060	chamber of legislature is a subrelation of sub organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11000-11000	changes location is a subrelation of moves
No TPTP formula. May not be expressible in strict first order.	Government.kif 4448-4448	chief of diplomatic mission is a subrelation of diplomatic representative in role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22986-22986	cohabitant is a subrelation of mutual acquaintance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2145-2145	collect rate is a subrelation of frequency
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19358-19358	color is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10002-10002	completely fills is a subrelation of partially fills
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1514-1514	complexity is a subrelation of property
No TPTP formula. May not be expressible in strict first order.	Merge.kif 965-965	component is a subrelation of part
No TPTP formula. May not be expressible in strict first order.	Music.kif 137-137	composer is a subrelation of creator
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 551-551	compound interest is a subrelation of interest earned
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 199-199	computer running is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26923-26923	conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16095-16095	connected engineering components is a subrelation of connected
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16157-16157	connects engineering components is a subrelation of connects
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2799-2799	considers is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1356-1356	contains information is a subrelation of represents
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