No TPTP formula. May not be expressible in strict first order.	Merge.kif 5465-5465	RelativeComplementFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17228-17228	RelativeTimeFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5169-5169	RoundFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5188-5188	SignumFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5210-5210	SineFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6655-6655	SpeedFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24471-24471	StringConcatenateFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24444-24444	StringLengthFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4725-4725	SubtractionFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5300-5300	SuccessorFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5230-5230	TangentFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9372-9372	TemporalCompositionFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5428-5428	UnionFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6610-6610	UnitFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6667-6667	VelocityFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7791-7791	WealthFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8467-8467	WhenFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4221-4221	WhereFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8554-8554	YearFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16348-16348	ancestor e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17866-17866	angularMeasure e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17946-17946	approximateDiameter e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1717-1717	attribute e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 209-209	caliber e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10991-10991	changesLocation 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