No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1860-1860	EKGNormal est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2812-2812	EngineFlooded est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 986-986	Executable est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 706-706	ExpeditionaryForce est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30633-30633	Fasting est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20034-20034	Fodder est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30280-30280	Harmless est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1830-1830	HighTea est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26569-26569	Historical est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30102-30102	Inhabited est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27125-27125	International est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27090-27090	Local est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2694-2694	Locked est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1147-1147	LoftStyle est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1771-1771	Lunch est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 739-739	MonophonicMusic est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30226-30226	Motionless est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25727-25727	Multilingual est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30256-30256	Mute est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30130-30130	Naked est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5144-5144	NewItem est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Dining.kif 950-950	OpenLayout est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1167-1167	Oversized est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Cars.kif 378-378	PartialVacuum est une instance de attribut relationnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 745-745	PolyphonicMusic est une instance 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