No TPTP formula. May not be expressible in strict first order.	Dining.kif 1253-1253	Cuisine est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3780-3780	EconomicRole est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 446-446	EnvironmentSoftwareAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4003-4003	FinancialAccountStatus est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2496-2496	FinancialRating est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5381-5381	GramStainAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1203-1203	HotelLevelAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 973-973	HotelRoomAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	naics.kif 21-21	IndustryAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1804-1804	InvestmentAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6225-6225	LandVegetationAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1586-1586	LegalAgent est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Government.kif 803-803	LegalSystemAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1830-1830	LiquidityAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31020-31020	MeasurementAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Government.kif 2458-2458	MemberStatus est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Music.kif 501-501	MusicGenre est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17313-17313	Attribut normatif est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17636-17636	Attribute de perception est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4180-4180	PlantAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19535-19535	PoliticoEconomicAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17017-17017	Attribut positionnel est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Food.kif 17-17	PreparedFoodAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1066-1066	PriorityAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 783-783	ProcessStatus est une sous-classe de attribut relationnel
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