No TPTP formula. May not be expressible in strict first order.	Government.kif 4545-4545	diplomaticRelations e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16959-16959	direction e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 411-411	disjointRelation e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4090-4090	eventPartlyLocated e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2457-2457	experiencer e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2371-2371	exportPartner e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16441-16441	father e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2204-2204	filename e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4390-4390	hinders e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4308-4308	hindersSubclass e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8422-8422	hostileForces e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16593-16593	husband e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2659-2659	importPartner e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3105-3105	inList e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2470-2470	instrument e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 110-110	inverse e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Media.kif 3278-3278	keyName e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23377-23377	legalGuardian e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2249-2249	mimeType e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17322-17322	modalAttribute e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16424-16424	mother e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2481-2481	origin e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9633-9633	overlapsPartially e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2494-2494	patient e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4209-4209	penetrates 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