No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15353-15353	Fireplace e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1625-1625	FixedBridge e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15321-15321	Floor e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15473-15473	Garage e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3083-3083	GeniusBar e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 89-89	HotelUnit e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15685-15685	IndustrialPlant e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15706-15706	Laboratory e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26651-26651	Lanai e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15726-15726	MilitaryInstallation e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6742-6742	Mine e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6830-6830	Monument e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15748-15748	PerformanceStage e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15767-15767	PerformanceStageWing e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7029-7029	PlaceOfCommerce e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15639-15639	Porch e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24588-24588	PostalPlace e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6763-6763	Prison e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 378-378	RailroadTrack e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 346-346	Railway e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Music.kif 21-21	RecordingStudio e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15776-15776	Residence e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15343-15343	Roof e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15755-15755	Comodo e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25800-25800	RunningTrack e' uma sub-classe de Artefato Estacionario
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