No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1298-1298	borrower est une sous-relation de partyToAgreement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9729-9729	bottom est une sous-relation de superficialPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16521-16521	brother est une sous-relation de sibling
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4090-4090	buyingPowerAmount est une sous-relation de availableBalance
No TPTP formula. May not be expressible in strict first order.	Government.kif 377-377	capitalCity est une sous-relation de administrativeCenter
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3498-3498	cardCode est une sous-relation de represents
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22870-22870	cargo est une sous-relation de transported
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 403-403	cellShape est une sous-relation de shape
No TPTP formula. May not be expressible in strict first order.	Government.kif 2060-2060	chamberOfLegislature est une sous-relation de subOrganization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11022-11022	changesLocation est une sous-relation de moves
No TPTP formula. May not be expressible in strict first order.	Government.kif 4448-4448	chiefOfDiplomaticMission est une sous-relation de diplomaticRepresentativeInRole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22985-22985	cohabitant est une sous-relation de mutualAcquaintance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2145-2145	collectRate est une sous-relation de frequency
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19357-19357	color est une sous-relation de attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10024-10024	completelyFills est une sous-relation de partiallyFills
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1514-1514	complexity est une sous-relation de property
No TPTP formula. May not be expressible in strict first order.	Merge.kif 965-965	component est une sous-relation de part
No TPTP formula. May not be expressible in strict first order.	Music.kif 137-137	composer est une sous-relation de creator
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 551-551	compoundInterest est une sous-relation de interestEarned
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 199-199	computerRunning est une sous-relation de instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26911-26911	conforms est une sous-relation de represents
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16117-16117	connectedEngineeringComponents est une sous-relation de connected
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16179-16179	connectsEngineeringComponents est une sous-relation de connects
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2799-2799	considers est une sous-relation de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1356-1356	containsInformation est une sous-relation de 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