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