No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25546-25546	AMFMAlarmClock est une sous-classe de AlarmClock
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25547-25547	AMFMAlarmClock est une sous-classe de RadioReceiver
No TPTP formula. May not be expressible in strict first order.	Communications.kif 293-293	AMRadioStation est une sous-classe de RadioStation
No TPTP formula. May not be expressible in strict first order.	Communications.kif 236-236	AMRadioSystem est une sous-classe de RadioSystem
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3169-3169	AOCnumber est une sous-classe de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1575-1575	APC est une sous-classe de ArmoredVehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1573-1573	APC est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1571-1571	APC est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1572-1572	APC est une sous-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1574-1574	APC est une sous-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3583-3583	ATMMachine est une sous-classe de artefact stationnaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3659-3659	ATMSlot est une sous-classe de trou
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4815-4815	ATVTire est une sous-classe de Tire
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2169-2169	AVCTP est une sous-classe de programme d'ordinateur
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.	Food.kif 1988-1988	AbaloneMeat est une sous-classe de MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4945-4945	Abatacept est une sous-classe de Immunosupressant
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 527-527	Abayah est une sous-classe de Cloak
No TPTP formula. May not be expressible in strict first order.	People.kif 1212-1212	Abbey est une sous-classe de organisation religieuse
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12817-12817	Abdomen est une sous-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1272-1272	AbdominalAorta est une sous-classe de Artery
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 135-135	AbducensNerveCNVI est une sous-classe de Nerve
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1608-1608	AbductorDigitiMinimiMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2127-2127	AbductorHallucisMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1581-1581	AbductorPollicisBrevisMuscle est une sous-classe de muscle
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