No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14616-14616	SeriesVolumeFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24414-24414	SubstringFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5931-5931	TerminalNodeFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8410-8410	TimeIntervalFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8949-8949	WeekFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Media.kif 3031-3031	acronym e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2432-2432	agent e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Media.kif 3421-3421	agentName e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Government.kif 697-697	agreementAdoptionDate e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Government.kif 757-757	agreementEffectiveDuring e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23206-23206	alias e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7701-7701	altitude e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24167-24167	ancestorOrganization e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1313-1313	areaOfOperation e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13771-13771	atomicNumber e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13085-13085	attends e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5357-5357	average e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16502-16502	brother e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 45-45	catalogItem e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2194-2194	coding e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6494-6494	conjugate e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16094-16094	connectedEngineeringComponents e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1016-1016	contains e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7714-7714	customer e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2443-2443	destination e' uma instancia de Relacao Parcial
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