No TPTP formula. May not be expressible in strict first order.	Merge.kif 8549-8549	ImmediateFutureFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8518-8518	ImmediatePastFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5454-5454	IntersectionFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6582-6582	IntervalFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3071-3071	ListConcatenateFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3013-3013	ListLengthFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4986-4986	MaxFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6031-6031	MaximalWeightedPathFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6347-6347	MeasureFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9850-9850	MereologicalDifferenceFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9829-9829	MereologicalProductFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9807-9807	MereologicalSumFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5012-5012	MinFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6009-6009	MinimalWeightedPathFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4698-4698	MultiplicationFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5035-5035	NumeratorFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8500-8500	PastFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6629-6629	PerFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 796-796	PowerSetFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5333-5333	PredecessorFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16900-16900	PremisesFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2571-2571	ProbabilityFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4273-4273	PropertyFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4956-4956	RadiusFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5069-5069	ReciprocalFn e' uma instancia de Relacao Total
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