No TPTP formula. May not be expressible in strict first order.	Music.kif 332-332	albumTrack e' uma sub-relacao de inList
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23324-23324	alias e' uma sub-relacao de deceptiveIdentifier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23214-23214	alias e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Media.kif 3129-3129	alternativeTitle e' uma sub-relacao de titleInLanguage
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 909-909	amountCharged e' uma sub-relacao de transactionAmount
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17832-17832	angleOfFigure e' uma sub-relacao de geometricPart
No TPTP formula. May not be expressible in strict first order.	Music.kif 349-349	anthem e' uma sub-relacao de represents
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1483-1483	appraisedValue e' uma sub-relacao de monetaryValue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26943-26943	approves e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23480-23480	arrested e' uma sub-relacao de controlled
No TPTP formula. May not be expressible in strict first order.	Law.kif 227-227	arrestingOfficer e' uma sub-relacao de agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1924-1924	askPrice e' uma sub-relacao de price
No TPTP formula. May not be expressible in strict first order.	Government.kif 2426-2426	associateInOrganization e' uma sub-relacao de member
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13083-13083	attends e' uma sub-relacao de experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1719-1719	attribute e' uma sub-relacao de property
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23043-23043	aunt e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3806-3806	availableBalance e' uma sub-relacao de currentAccountBalance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3829-3829	availableCash e' uma sub-relacao de availableBalance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7815-7815	barometricPressure e' uma sub-relacao de measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8099-8099	before e' uma sub-relacao de beforeOrEqual
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3343-3343	beforeTaxIncome e' uma sub-relacao de incomeEarned
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2809-2809	believes e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1904-1904	bidPrice e' uma sub-relacao de price
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24234-24234	birthday e' uma sub-relacao de anniversary
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2510-2510	bondRating e' uma sub-relacao de 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