No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29155-29155	Unnildecium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29095-29095	Unnilhexium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29125-29125	Unniloctium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29080-29080	Unnilpentium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29063-29063	Unnilquadium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29110-29110	Unnilseptium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28847-28847	Uranium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27622-27622	Vanadium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28146-28146	Xenon est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28452-28452	Ytterbium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27893-27893	Yttrium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27742-27742	Zinc est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27910-27910	Zirconium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 819-819
No TPTP formula. May not be expressible in strict first order.	english_format.kif 840-840
No TPTP formula. May not be expressible in strict first order.	french_format.kif 495-495
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 28-28
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 31-31
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2180-2180
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 447-447
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 32-32
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 62-62
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 516-516
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 32-32
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