No TPTP formula. May not be expressible in strict first order.	Merge.kif 16916-16916	conclusion e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19678-19678	contestParticipant e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7680-7680	diameter e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7701-7701	distance e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7923-7923	duration e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8392-8392	earlier e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21706-21706	electronNumber e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4121-4121	eventLocated e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8090-8090	finishes e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17995-17995	geometricDistance e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5886-5886	graphPart e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1843-1843	greaterThan e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7773-7773	larger e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17987-17987	lineMeasure e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4072-4072	located e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1729-1729	manner e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 79-79	maximumPayloadCapacity e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 107-107	maximumPayloadHeightWidth e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8347-8347	meetsTemporally e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11000-11000	moves e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16386-16386	parent e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4044-4044	partlyLocated e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11093-11093	path e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 69-69	personTransportCapability e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16892-16892	premise 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