No TPTP formula. May not be expressible in strict first order.	Law.kif 473-473	Premeditated est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Cars.kif 398-398	Pressurized est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27149-27149	PrivateAttribute est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1392-1392	RedFlagSwimmingCondition est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26592-26592	Rural est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30192-30192	Solely est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26597-26597	Suburban est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1183-1183	TwoWheelDrive est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 258-258	Udhiyah est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30178-30178	Undamaged est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30088-30088	Uninhabited est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26602-26602	UrbanArea est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5131-5131	UsedItem est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3884-3884	VersionAttribute est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1900-1900	Le domaine de MealAttributeFn est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6412-6412	AVPUStatus est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4360-4360	AccountSecurityType est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1338-1338	AirportClassification est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Music.kif 473-473	AlbumAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6802-6802	AreaOfConcern est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4097-4097	BedAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1058-1058	CoffeeGrindAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Food.kif 447-447	CoffeeRoastAttribute est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2116-2116	ComputerStatus est une sous-classe de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30314-30314	ConservationStatus 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