No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1884-1884
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2092-2092
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1885-1885
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2025-2025
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1886-1886
No TPTP formula. May not be expressible in strict first order.	english_format.kif 788-788
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1887-1887
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1949-1949
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1950-1950
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2016-2016
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2086-2086
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2017-2017
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2087-2087
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1888-1888
No TPTP formula. May not be expressible in strict first order.	english_format.kif 809-809
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1889-1889
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1984-1984
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1890-1890
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1891-1891
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2048-2048
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1892-1892
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1951-1951
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2049-2049
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1893-1893
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1894-1894
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