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